Your search returned 18639 results.

Not what you expected? Check for suggestions
BOOKS
Foundations of computer science potential--theory--cognition

by Freksa, Christian | Jantzen,Matthias | Valk, Rudiger Eds.

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

BOOKS
Fundamentals of computation theory: 11th International Symposium, FCT '97, Krak�w, Poland, September 1-3, 1997 : proceedings

by Chlebus, Bogdan S | Czaja, Ludwik Eds.

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

BOOKS
Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings

by Ciobanu, Gabriel | Paun, Gheorghe Eds.

Series: Lecture notes in computer science ; 01684Material 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
Matthematical foundations of computer science 1997 : 22nd international symposium, MFCS'97, Bratislava, August 1997 Proceedings

by Privara, Igor | Ruzicka, Peter Eds.

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

BOOKS
Mathematical foundations of computer science 1999

by Kutylowski, Miroslaw | Pacholski, Leszek | Wierzbicki, Tomasz Eds.

Series: Lecture notes in computer science ; 01672Material 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
Principles and practice of constraint programming--CP96: second international conference, CP96, Cambridge, USA, August, 1996 proceedings

by Freuder, Eugene C Ed.

Series: Lecture notes in computer science ; 01118Material 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
Algorithms - ESA '99: 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings

by Nesetril, Jaroslav Ed.

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

BOOKS
Randomization and approximation techniques in computer science: second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 proceedings

by Luby, Michael | Rolim, Jose | Serna, Maria Eds.

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

BOOKS
Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science, RANDOM-APPROX'99, Berkeley USA, August, 1999:proceedings

by Hochbaum, Dorit [et al] Eds.

Series: Lecture notes in computer science ; 01671Material 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
Concur 99 Concurrency theory

by Baeten, Jos C M | Mauw, Sjouke Eds.

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

BOOKS
Computer aided verification : 9th international conference, CAV'97, Israel, June 1997 Proceedings

by Grumberg, Orna Ed.

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

BOOKS
Partial evaluation: practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark,June 29-July 10, 1998

by Hatcliff, John | Mogensen, Torben | Thiemann, Peter Eds.

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

BOOKS
Prospects for hardware foundations: ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters

by Moller, Bernhard | Tucker, John V Eds.

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

BOOKS
Security protocols: 6th international workshop, Cambridge, UK, April 15-17, 1998 proceedings

by Christianson, B [et al] Eds.

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

BOOKS
Semantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 proceedings

by Guessarian, I Ed.

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

BOOKS
Models of massive parallelism: analysis of cellular automata and neural networks

by Garzon, Max.

Series: Texts in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 GAR.

BOOKS
Computational conflicts: conflict modeling for distributed intelligent systems, with contributions by numerous experts

by Muller, H J | Dieng, R Eds.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 12 Call number: 681.3 MUL.

BOOKS
Cubic metaplectic forms and theta functions /

by Proskurin, Nikolai.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1677.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer, c1998Online access: Click here to access online | Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 11 Call number: 51 LNM.

BOOKS
Linear pro-p-groups of finite width /

by Klaas, G | Leedham-Green, C. R | Plesken, Wilhelm.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1674.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer, c1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 11 Call number: 51 LNM.

BOOKS
Link theory in manifolds /

by Kaiser, Uwe.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1669.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer, c1997Online access: Click here to access online | Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 11 Call number: 51 LNM.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha