Your search returned 10753 results.

Not what you expected? Check for suggestions
BOOKS
FST TCS 2000 : Foundations of Software Technology and Theoretical Computer Science - Proceedings of the 20th Conference, New Delhi, 2000

by Kapoor, Sajiv. Ed | Prasad, Sanjiva. Ed.

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

BOOKS
Advances in Computing Science - ASIAN 2000 : Proceedings, 6th Asian Computing Science Conference, Malaysia, 2000

by He, Jifeng. Ed | Sato, Masahiko. Ed.

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

BOOKS
Cryptology, Advances in- : ASIACRYPT 2000 : Proceedings, International Conference, Japan, 2000

by Okamoto, Tatsuaki. Ed.

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

BOOKS
Computer Aided Verification, Proceedings of the 12th International Conference, Chicago, 2000

by Emerson, E Allen. Ed | Sistla, A Prasad. Ed.

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

BOOKS
Computer Science Logic, Proceedings of the 14th International Workshop, Germany, 2000

by Clote, Peter G. Ed | Schwichtenberg, Helmut. Ed.

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

BOOKS
Algorithms - ESA 2000, Proceedings of the 8th Annual Symposium, Germany

by Paterson, Mike. Ed.

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

BOOKS
Approximation Algorithms for Combinatorial Optimization, Proceedings of the Third International Workshop, Germany, 2000

by Jansen, Klaus. Ed | Khuller, Samir. Ed.

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

BOOKS
Graph Theoretic Concepts in Computer Science, Proceedings of the 26th International Workshop, Germany, 2000

by Brandes, Ulrik. Ed | Wagner, Dorothea. Ed.

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

BOOKS
Application and Theory of Petri Nets 2000, Proceedings of the 21st International Conference, Aarhus, Denmark, 2000

by Nielsen, Mogens. Ed | Simpson, Dan. Ed.

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

BOOKS
Computer Security - ESORICS 2000, Proceedings of the 6th European Symposium, France

by Cuppens, Frederic. et al Eds.

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

BOOKS
Concur 2000 - Concurrency Theory, Proceedings of the 11th International Conference, Univ. Park, PA, 2000

by Palamidessi, Catuscia. Ed.

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

BOOKS
Mathematical Foundations of Computer Science 2000, Proceedings of the 25th International Symposium, Slovakia, 2000

by Nielsen, Mogens. Ed | Rovan, Branislav. Ed.

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

BOOKS
Spin model checking and software verification, proceedings of the 7th International workshop, stanford, 2000

by Havelund, Klaus. Ed | Penix, John. Ed | Visser, Willem. Ed.

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

BOOKS
Information Security and Privacy, Proceedings of the First Australian Conference, Wollongong, Australia, 1996

by Pieprzyk, Josef. Ed | Seberry, Jennifer. Ed.

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

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.

BOOKS
Cryptology, Advances in- Eurocrypt 2001 : Proceedings, International Conference, Cryptographic Techniques, Innsbruck, Austria, 2001

by Pfitzmann, Birgit. Ed.

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

BOOKS
Information Security and Cryptology - ICISC 2000, Proceedings of the Third International Conference, Korea, 2000

by Won, Dongho. Ed.

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

BOOKS
Cryptology, Topics in- : CT - RSA 2001 ; Proceedings of the Cryptographers' Tract at RSA Conference, San Francisco, USA

by Naccache, David. Ed.

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

BOOKS
Java on Smart Cards: Programming and Security : First International Workshop, Javacard 2000, France.

by Attali, Isabelle. Ed | Jensen, Thomas. Ed.

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

BOOKS
Integer Programming and Combinatorial Optimization : Proceedings of the 8th International IPCO Conference, Utrecht, Netherlands, 2001

by Aardal, Karen. Ed | Gerards, Bert. Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha