Your search returned 9609 results.

Not what you expected? Check for suggestions
BOOKS
Models of Computation : Exploring the Power of Computing

by Savage, John E.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Addison-Wesley ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 17 Call number: 681.3 SAV.

Place hold Log in to add tags
BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997

by Ramesh, S. Ed | Sivakumar, G. Ed.

Series: Lecture notes in computer science ; 01346Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 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
Foundations of Software Technology and Theoretical Computer Science, Proceedings,14th Conference, Madras, India, 1994

by Thiagarajan, P S. Ed.

Series: Lecture notes in computer science ; 00880Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Mathematical Foundations of Computer Science 1998 : LNCS 1450; Proceedings, 23rd International Symposium, Brno, 1998

by Brim, Lubos., Ed | Gruska, Jozef., Ed | Zlatuska, Jiri., Ed.

Series: Lecture notes in computer science ; 01450Material 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
Randomization and Approximation Techniques in Computer Science : Proceedings, International Workshop, Bologna, 1997

by Rolim, Jose. Ed.

Series: Lecture notes in computer science ; 01269Material 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
Algorithm Theory - SWAT 1998 : Proceedings 6th Skandinavian Workshop, 1998

by Arnborg, Stefan. (Ed.) | Ivansson, Lars. (Ed.).

Series: Lecture notes in computer science ; 1432Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Algorithms and Computation, Proceedings : 10th International Symposium, Chennai, India, 1999

by Aggarwal, Alok. (Ed.) | Pandu Rangan, C. (Ed.).

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

Place hold Log in to add tags
BOOKS
FST TCS 1999: Foundations of Software Technology and Theoretical Computer Science : 19th Conference, Chennai, India, 1999

by Pandu Rangan, C. (Ed.) | Raman, V. (Ed.) | Ramanujam, R. (Ed.).

Series: Lecture notes in computer science ; 1738Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.
Lists:

Place hold Log in to add tags
BOOKS
External Memory Algorithms and Visualization, DIMACS Workshop, Rutgers Univ., USA. 1998

by Abello, James M. Ed | Vitter, Jeffrey Scott. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.50Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.6 ABE.

Place hold Log in to add tags
BOOKS
Contemporary Trends in Discrete Mathematics From DIMACS and DIMATIA to the Future, 1997

by Graham, R L., Kratochvil,Jan | Nesetril, Jaroslav | Roberts, Fred S. Eds.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.49Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; A.M.S. ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 22 Call number: 511 GRA.

Place hold Log in to add tags
BOOKS
Invitation to Discrete Mathematics

by Matousek, Jiri | Nesetril, Jaroslav.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAT.

Place hold Log in to add tags
BOOKS
Encyclopedia of Computer Science

by Ralston, Anthony. Ed | Reilly, Edwin D. Ed | Hemmendinger, David. Ed.

Edition: 4thMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Nature Pub. ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 13 Call number: 681.3(02) RAL.

Place hold Log in to add tags
BOOKS
Programming Languages : Design and Implementation

by Pratt, Terrence W.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: Eng Publication details: India Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 49, Shelf No: 47 Call number: 681.3.06 PRA.

Place hold Log in to add tags
BOOKS
Handbook of Logic and Language

by van Benthem, Johan. Ed | ter Meulen, Alice. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.

Place hold Log in to add tags
BOOKS
Neural Network Learning: Theoretical Foundations

by Anthony, Martin | Bartlett, Peter L.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 ANT.

Place hold Log in to add tags
BOOKS
Logics in Artificial Intelligence: LNAI -1489

by Dix, Jurgen, etal.

Series: Lecture notes in artificial intelligence ; 01489Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 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
Number Theory for Computing

by Yan, Song Y.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 42 Call number: 511 YAN.

Place hold Log in to add tags
BOOKS
Computer Science, 40th Annual Symposium on Foundations of-; Proceedings, New York, 1999

by IEEE Computer Society.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; IEEE Comp. Soc. ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE.

Place hold Log in to add tags
BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings, 6th International Symposium, FTRTFT 2000, Pune,2000

by Joseph, Mathai. Ed.

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

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

Powered by Koha