Your search returned 718 results.

Not what you expected? Check for suggestions
BOOKS
Primality Testing in Polynomial Time: from randomized algorithms to Primes is in P

by Dietzfelbinger, Martin.

Series: Lecture notes in computer science ; 03000Material 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
Structural Information and Communication Complexity: 11th international colloquium, SIROCCO 2004 Smolenice Castle, Slowakia, June 21-23, 2004: proceedings

by Kralovic, Rastislav | Sykora, Ondrej Eds.

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

BOOKS
Theory Is Forever: essays dedicated to Arto Salomaa on the occasion of his 70th birthday

by Karhumaki, Juhani [et al.] Eds.

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

BOOKS
Fast software encryption: 11th international workshop, FSE 2004, Delhi, India, February 5-7, 2004, revised papers

by Roy, Bimal | Meier, Willi Eds.

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

BOOKS
Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

by Girard, Jean-Yves Ed.

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

BOOKS
Programming languages and systems: 9th European Symposium on Programming, ESOP 2000, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

by Smolka, Gert Ed.

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

BOOKS
Distributed computing: 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings

by Jayanthi, Prasad Ed.

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

BOOKS
Algorithmic number theory: 5th international symposium, ANTS-V Sydney, Australia, July 7-12, 2002: proceedings

by Fieker, Claus | Kohel, David R Eds.

Series: Lecture notes in computer science ; 02369Material 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 cryptology - CRYPTO 2004: 24th annual international cryptology conference Santa Barbara, USA, August 2004 proceedings

by Franklin, Matt Ed.

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

BOOKS
Computer security -- ESORICS 2004: 9th European symposium on research in computer security, Sophia Antipolis, France, September 13 - 15, 2004, proceedings

by Samarati, Pierangela etal Eds.

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

BOOKS
Recent advances in intrusion detection: 7th international symposium, RAID 2004, Sophia Antipolis, France, September 15 - 17, 2004, proceedings

by Jonsson, Erland | Valdes, Alfonso | Almgren, Magnus Eds.

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

BOOKS
Algorithms--ESA 2004: 12th annual European symposium, Bergen, Norway, September 14-17, 2004 : proceedings

by Albers, Susanne | Radzik, Tomasz Eds.

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

BOOKS
Formal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems, Bertinora, Italy, September 13-18, 2004, revised lectures

by Bernardo, Marco | Corradini, Flavio Eds.

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

BOOKS
Mathematical foundations of computer science 2004: 20th international symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. proceedings

by Fiala, Jiri | Koubek, Vaclav | Kratochvil, Jan Eds.

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

BOOKS
Parameterized and exact computation: First international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, proceedings

by Downey, Rod | Fellows, Michael | Dehne, Frank.

Series: Lecture notes in computer science ; 03162Edition: .Material type: Text Text;Language: ; Format: print Language: English Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.

BOOKS
Principles and practice of semantic web reasoning: second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, proceedings

by Ohlbach, Hans Jurgen | Schaffert, Sebastian Eds.

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

BOOKS
Validation of stochastic systems: guide to current research

by Baier, Christel [et al.] Eds.

Series: Lecture notes in computer science ; 02925Material 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
Approximation, randomization, and combinatorial optimization: algorithms and techniques.7th international workshop on approximation algorithms for combinatorial optimization problems, approx 2004, proceedings

by Jansen, Klaus [et al] Eds.

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

BOOKS
Automata, languages and programming: 31st international colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, proceedings

by Diaz, Josep [et al] Eds.

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

BOOKS
Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

by Marcinkowski, Jerzy | Tarlecki, Andrzej Eds.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha