Your search returned 8979 results.

Not what you expected? Check for suggestions
BOOKS
Foundations of Software Technology and Theoretical Computer Science, Fourth conference, Bangalore, India, December 1984, proceedings

by Joseph, Mathai. Ed | Shyamasunder, R. Ed.

Series: Lecture notes in computer science ; 00181Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.

BOOKS
Foundations of Software Technology and Theoretical Computer Science, seventh conference, Pune, India, December 1987, procedings

by Nori, Kesav V. Ed.

Series: Lecture notes in computer science ; 00287Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS.

BOOKS
FST TCS 1989 : Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 1989, proceedings

by Veni Madhavan, C E. (Ed.).

Series: Lecture notes in computer science ; 405Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

BOOKS
Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings

by Borger,E. et al Eds.

Series: Lecture notes in computer science ; 00533Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS.

BOOKS
Semantics of data types: International symposium sophia-Antipolis, France, June 1984

by Goos G | Hartmanis J.

Series: Lecture notes in computer science | 173Material type: Text Text;Language: ; Format: print Language: Eng Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.

BOOKS
Logics of programs

by Parikh, Rohit Ed.

Series: Lecture notes in computer science ; 00193Material type: Text Text;Language: ; Format: print Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.

BOOKS
Graph-Theoretic Concepts in Computer Science 17th International Workshop Proc.,Fischbachau,Germany, 1991

by Schmidt, G. Ed | Berghammer, R. Ed.

Series: Lecture notes in computer science ; 00570Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS.

BOOKS
Constructivity in Computer Science Summer Symposium, Proc.,San Antonio,1991

by Myers, J.P. Ed | O'Donnell, M J. Ed.

Series: Lecture notes in computer science ; 00613Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Logical Foundations of Computer Science - Tver '92 Second International Symposium Proc., Tver, 1992

by Nerode,A. Ed | Taitslin, M. Ed.

Series: Lecture notes in computer science ; 00620Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991

by Borger,E. et al Eds.

Series: Lecture notes in computer science ; 00626Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Parallel Architectures and Their Efficient Use Proceedings,First Heinz Nixdorf Symposium, Germany, 1992

by Meyer, F. et al Eds.

Series: Lecture notes in computer science ; 00678Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Word Equations and Related Topics Proceedings,2nd International Workshop,IWWERT, France, 1991

by Abdulrab, Habib. Ed | Pecuchet, J-P. Ed.

Series: Lecture notes in computer science ; 00677Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Live Data Structures in Logic Programs Derivation by means of abstract interpretation

by Mulkers, Anne.

Series: Lecture notes in computer science ; 00675Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers

by Borger, E | Jager, G., Martini., Richter,M | Kleine Buning, H.

Series: Lecture notes in computer science ; 00702Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994

by Nerode, A. Ed | Matiyasevich, Yu V. Ed.

Series: Lecture notes in computer science ; 00813Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Results and Trends in Theoretical Computer Science : Colloquium in honor of Arto Salomaa Graz, Austria, June 1994

by Karhumaki, J. Ed | Maurer, H. Ed | Rozenberg, Ed.

Series: Lecture notes in computer science ; 00812Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings

by Thiagarajan, P S. Ed.

Series: Lecture notes in computer science ; 880Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Germany ; Springer Verlag ; 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

BOOKS
Computer Science Logic 8th Workshop, Poland, 1994

by Pacholski, Leszek. Ed | Tiuryn, Jerzy. Ed.

Series: Lecture notes in computer science ; 00933Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

BOOKS
FST TCS 1995: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 15th Conference, Bangalore, 1995

by Thiagarajan, P S. (Ed.).

Series: Lecture notes in computer science ; 1026Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS.

BOOKS
FST TCS 1996: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 16th Conference, Hyderabad, 1996

by Chandru, V. (Ed.) | Vinay, V. (Ed.).

Series: Lecture notes in computer science ; 1180Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha