Your search returned 10762 results.

Not what you expected? Check for suggestions
BOOKS
International symposium on theoretical programming

by Ershov, Andrei Ed | Nepomniaschy, Valery A.

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

BOOKS
Algebraic Methodology and software technology: 4th international conference; proceedings

by Alagar,V.S | Nivat, Maurice Eds.

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

BOOKS
Evolvable Systems : From Biology to Hardware, Proceedings of the 4th International Conference, Tokyo, ICES 2001

by Liu, Yong. et al Eds.

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

BOOKS
Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001

by Fribourg, Laurent. Ed.

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

BOOKS
Generative Theory of Shape

by Leyton, Michael.

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

BOOKS
Concur 2001 - Concurrency Theory, Proceedings of the 12th International Conference, Denmark

by Larsen, Kim G. Ed | Nielsen, Mogens. Ed.

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

BOOKS
Mathematical Foundations of Computer Science 2001, Proceedings of the 26th International Symposium, Czech

by Sgall, Jiri. Ed | Pultr, Ales. Ed | Kolman, Petr. Ed.

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

BOOKS
Public key cryptography: Proceedings, France

by Naccache, David | Paillier, Pascal Eds.

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

BOOKS
Topics in cryptology- CT-RSA 2002 , Proceedings of the Conference, USA

by Preneel, Bart. Ed.

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

BOOKS
Automata logics and infinite games: guide to current research

by Gradel, Erich | Thomas, Wolgang | Wilke, Thomas Eds.

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

BOOKS
Algorithms and computation: Proceedings, 13th international symposium, Canada, November 2002

by Bose, Prosenjit | Morin, Pat Eds.

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

BOOKS
Algorithms and data structures: Proceedings, 8th international workshop,Canada, July-August 2003

by Dehne, Frank | Sack, Jorg-Rudiger | Smid, Michiel Eds.

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

BOOKS
Algorithms for memory hierarchies : advanced lectures

by Meyer, Ulrich | Sanders, Peter | Sibeyn, Jop.

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

BOOKS
Advances in computing science--ASIAN 2003: programming languages and distributed computation proc.: 8th Asian Computing Sc. Conf., Mumbai, December, 2003

by Saraswat, Vijay A. Ed.

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

BOOKS
FST TCS 2003: foundations of software technology and theoretical computer science Proceedings: 23rd conference, Mumbai, December 2003

by Pandya, Paritosh K | Radhakrishnan, Jaikumar Eds.

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

BOOKS
Foundations of security analysis and design II : FOSAD 2001/2002 Tutorial lectures

by Focardi, Riccardo | Gorrieri, Roberto Eds.

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

BOOKS
Security Protocols: 10th inernational workshop: Cambridge, UK, April 2002

by Christianson, Bruce [et al.].

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

BOOKS
Foundations of information and knowledge systems: 3rd international symposium, FOLKS 2004, Austria, February 2004: proceedings

by Seipel, Dietmar | Turull-Torres, Jose Maria Eds.

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

BOOKS
SOFSEM 2004: theory and practice of computer science: 30th conference on current trends in theory and practice of computer science, Merin, January, 2004, proceedings

by Van Emde Boas, Peter [et al.].

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

BOOKS
Theory and applications of satisfiability testing

by Giunchiglia, Enrico | Tacchella, Armando Eds.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha