Your search returned 10753 results.

Not what you expected? Check for suggestions
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
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.

Place hold Log in to add tags
BOOKS
Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings

by Steffen, Bernhard | Levi, Giorgio Eds.

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

Place hold Log in to add tags
BOOKS
Verification: theory and practice

by Dershowitz, Nachum Ed.

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

Place hold Log in to add tags
BOOKS
Formal and natural computing : Essays dedicated to Grzegorz Rozenberg

by Brauer, Wilfried [et al] Eds.

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

Place hold Log in to add tags
BOOKS
Advances in cryptology - eurocrypt 2004: international conference on the theory and applications of cryptographic techniques, Interlaken, Switzerland, may 2-6, 2004. proceedings

by Cachin, Christian | Camenisch, Jan Eds.

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

Place hold Log in to add tags
BOOKS
Probabilistic and statistical methods in cryptology an introduction by selected topics

by Daniel, Neuenschwander.

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

Place hold Log in to add tags
BOOKS
Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers

by Larsen, Kim G | Niebert, Peter Eds.

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

Place hold Log in to add tags
BOOKS
Compositionality: the significant difference: international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures

by De Roever Willem-Paul | Langmaack, Hans | Pnueli, Amir Eds.

Series: Lecture notes in computer science ; 01536Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 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
Foundations of software science and computation structures: Second International Conference, FOSSACS '99 ... Amsterdam, The Netherlands, March, 1999 proceedings

by Thomas, Wolfgang Ed.

Series: Lecture notes in computer science ; 01578Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: 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
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures

by Vaananen, Jouko Ed.

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

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

Powered by Koha