Your search returned 416 results.

Not what you expected? Check for suggestions
BOOKS
Systematic Catalogue of Reusable Abstract Data Types

by Uhl, Jurgen | Schmid, Albrecht, Hans.

Series: Lecture notes in computer science ; 00460Material 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: 12 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Munich Project CIP Volume II: The Program Transformation System CIP-S

by Bauer, F L. et al.

Series: Lecture notes in computer science ; 00292Material 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.

Place hold Log in to add tags
BOOKS
Computer Science Today - Recent Trends and Developments

by Leeuwen, Jan Van. Ed.

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

Place hold Log in to add tags
BOOKS
Algorithmic Number Theory Proceedings, Third International Symposium, Oregon, 1998

by Buhler, J P. Ed.

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

Place hold Log in to add tags
BOOKS
Public Key Cryptography Proceedings, First International Workshop, Japan, 1998

by Imai, Hideki. Ed | Zheng, Yuliang. Ed.

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

Place hold Log in to add tags
BOOKS
FST TCS 1998: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 18th Conference, IMSc. & SPIC, 1998

by Arvind, V. (Ed.) | Ramanujam, R. (Ed.).

Series: Lecture notes in computer science ; 1530Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (2). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.
Lists:

Place hold Log in to add tags
BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997

by Ramesh, S. Ed | Sivakumar, G. Ed.

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

Place hold Log in to add tags
BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings,14th Conference, Madras, India, 1994

by Thiagarajan, P S. Ed.

Series: Lecture notes in computer science ; 00880Material 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): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Algorithms and Computation, Proceedings : 10th International Symposium, Chennai, India, 1999

by Aggarwal, Alok. (Ed.) | Pandu Rangan, C. (Ed.).

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

Place hold Log in to add tags
BOOKS
Public Key Cryptography: Proceedings,3rd International WorkShop on Practice & Theory in Public Key Cryptosystems, Australia, Jan.2000

by Imai, Hideki. Ed | Zheng, Yuliang. Ed.

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

Place hold Log in to add tags
BOOKS
Algorithm Theory-SWAT 2000 : Proceedings, 7th Scandinavian Workshop, Norway, July 2000

by Halldorsson, Magnus M. Ed.

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

Place hold Log in to add tags
BOOKS
Computing and Combinatorics: Proceedings 6th Annual International conference, Australia, July 2000

by Du, Ding-Zhu et al (Eds.).

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

Place hold Log in to add tags
BOOKS
Cryptography, Selected Areas in- : Proceedings of the 7th Annual International Workshop, SAC 2000, Waterloo, Canada

by Stinson, Douglas R. Ed | Tavares, Stafford. Ed.

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

Place hold Log in to add tags
BOOKS
Logic Programming, Proceedings of the 17th International Conference, Cyprus, 2001

by Codognet, Philippe. Ed.

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

Place hold Log in to add tags
BOOKS
Computer aided verification : 13th international conference; proceedings

by Berry, Gerard. Ed | Comon, Hubert. Ed | Finkel, Alain. . Ed.

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

Place hold Log in to add tags
BOOKS
Linear time, branching time and partial order in logics and models for concurrency :

by de Bakker, J.W Ed | de Roever, W.P. Ed | Rozenberg,G. Ed.

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

Place hold Log in to add tags
BOOKS
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

by Hariharan, Ramesh | Mukund, Madhavan | Vinay, V. (Eds.).

Series: Lecture notes in computer science ; 02245Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: No items available :

Log in to add tags
BOOKS
FST TCS 1992: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 12th conference 1992

by Shyamasundar, R. Ed.

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

Place hold Log in to add tags
BOOKS
FST TCS 1991: Foundations of software technology and theoretical computer science: Proceedings, 11th conference, New Delhi

by Biswas, S | Nori,K.V. Eds.

Series: Lecture notes in computer science ; 560Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (3). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Algebraic Methodology and Software Technology : 5th international conference; proceedings

by Wirsing, Martin | Nivat,Maurice Eds.

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha