Your search returned 9619 results.

Not what you expected? Check for suggestions
BOOKS
Selected papers on computer science

by Knuth, Donald Ervin.

Series: CSLI lecture notes; 59Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: [Stanford, Calif.] ; CSLI Publications: CUP ; c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681(081) KNU.

Place hold Log in to add tags
BOOKS
No cover image available
PHP cookbook

by Sklar, David | Trachtenberg, Adam.

Edition: 1st ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Sebastopol, Calif. Farnham O'Reilly 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 21 Call number: 681.9 SKL.

Place hold Log in to add tags
BOOKS
Data refinement model-oriented proof methods and their comparison

by de Roever, Willem-Paul | Engelhardt, Kai.

Series: Cambridge tracts in theoretical computer science; 47Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DER.

Place hold Log in to add tags
BOOKS
Term rewriting systems

by Barendsen, Erik [et al] | Terese.

Series: Cambridge tracts in theoretical computer science: 55Material type: Text Text;Language: ; Format: print Publication details: Cambridge University Press ; Cambridge ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TER.

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
Internet security cryptographic principles, algorithms, and protocols

by Rhee, Man Young.

Material type: Text Text;Language: ; Format: print Publication details: England ; J. Wiley ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 21 Call number: 681.9 RHE.

Place hold Log in to add tags
BOOKS
Algorithmic and quantitative real algebraic geometry: DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics & Computer Science, 2001

by Basu, Saugata | Gonzalez-Vega, Laureano Eds.

Series: DIMACS series in disc. math. and theor. comp. sc.; v. 60Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First floor, Rack No: 31, Shelf No: 37 Call number: 516 BASU.

Place hold Log in to add tags
BOOKS
Compression and coding algorithms

by Moffat, Alistair | Turpin, Andrew.

Series: Kluwer international series in engineering and computer science 669Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Kluwer Academic ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MOF.

Place hold Log in to add tags
BOOKS
Duration calculus formal approach to real-time systems

by Zhou, Chaochen | Hansen, Michael R.

Series: EATCS monographs on theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.

Place hold Log in to add tags
BOOKS
ML with concurrency design, analysis, implementation, and application

by Nielson, Flemming Ed.

Series: Monographs in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NIE.

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
BOOKS
Selected areas in cryptography: 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 proceedings

by Tavares, Stafford | Meijer, Henk Eds.

Series: Lecture notes in computer science ; 01556Material 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
LATIN '98, theoretical informatics: Third Latin American symposium, Campinas, Brazil, April 20-24, 1998 proceedings

by Lucchesi, Claudio L | Moura, Arnaldo V Eds.

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

Place hold Log in to add tags
BOOKS
Algorithms and data structures: 6th International Workshop, WADS'99, Vancouver, Canada, August, 1999 proceedings

by Dehne, Frank [et al] Eds.

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

Place hold Log in to add tags
BOOKS
Algorithms and data structures :5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 proceedings

by Dehne, Frank et al, Eds.

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

Place hold Log in to add tags
BOOKS
FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings

by Wing, Jeannette M | Woodcock, Jim | Davies, Jim Eds.

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

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

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

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

Powered by Koha