Your search returned 2402 results.

Not what you expected? Check for suggestions
BOOKS
First-Order Programming Theories

by Gergely, Tamas | Ury, Laszlo.

Series: EATCS Monographs on Theoretical Computer Science, v.24Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GER.

Place hold Log in to add tags
BOOKS
No cover image available
Threshold Logic A Synthesis Approach

by Dertouzos, Michael L.

Series: M.I.T. Press research monographs ; 32Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge M.I.T. Press 1965Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DER.

Place hold Log in to add tags
BOOKS
Symposium on semantics of algorithmic languages; edited by E. Engeler.

by Engeler, Erwin.

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

Place hold Log in to add tags
BOOKS
Introduction to algorithms

by Cormen,Thomas H | Leiserson, Charles E | Rivest, Ronald L.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT ; 1990Availability: Items available for loan: IMSc Library (5). Location(s): Second floor, Rack No: 48, Shelf No: 44 Call number: 681.3 COR.

Place hold Log in to add tags
BOOKS
Computers and the Imagination Visual Adventures beyond the edge

by Pickover, Clifford A.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; St.Martin's Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PIC.

Place hold Log in to add tags
BOOKS
Computers and Intractability A guide to the theory of NP-completeness

by Garey, Michael R | Johnson, David S.

Series: Series of Books in the Mathematical SciencesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Freeman ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 GAR.

Place hold Log in to add tags
BOOKS
Artificial Intelligence and Mathematical Theory of Computation Papers in honor of John McCarthy

by Lifschitz, Vladimir. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: San Diego ; Academic Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LIF.

Place hold Log in to add tags
BOOKS
No cover image available
Parallel MIMD computation: HEP supercomputer and its applications

by Kowalik, Janusz S.

Series: Scientific computation seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 26 Call number: 681.3.01 KOW.

Place hold Log in to add tags
BOOKS
No cover image available
The logic of computer arithmetic

by Flores, Ivan.

Series: Prentice-Hall international series in electrical engineeringMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N.J Prentice-Hall 1963Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FLO.

Place hold Log in to add tags
BOOKS
Brain Theory : Reprint Volume

by Shaw, G L. Ed | Palm, G. Ed.

Series: Advanced Series in Neuroscience, 1Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 6 Call number: 599 SHAW.

Place hold Log in to add tags
BOOKS
What Computing is all about

by Van de Snepscheut, Jan L A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 VAN.

Place hold Log in to add tags
BOOKS
Introduction to Parallel Processing

by Codenotti, Bruno | Leoncini, Mauro.

Series: International Computer Science SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Addison-Wesley ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 5 Call number: 681.32 COD.

Place hold Log in to add tags
BOOKS
Massive Parallelism : Hardware, Software and Applications Proceedings, 2nd International Workshop, Italy, 1994

by Furnari, M Mango. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FUR.

Place hold Log in to add tags
BOOKS
Neural and Automata Networks Dynamical Behavior and Applications

by Goles, Eric | Martinez, Servet.

Series: Mathematics and its ApplicationsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer Academic ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 GOL.

Place hold Log in to add tags
BOOKS
Subrecursive Programming Systems complexity and succinctness

by Royer, James S | Case, John.

Series: Progress in Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 ROY.

Place hold Log in to add tags
BOOKS
Modal Logic and Process Algebra Bisimulation Perspective

by Ponse, Alban. et al Eds.

Series: CSLI Lecture Notes, No. 53Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 PON.

Place hold Log in to add tags
BOOKS
Language Hierarchies and Interfaces International Summer School, Marktoberdorf, 1975

by Bauer, F L. Ed | Samelson, K. Ed.

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

Place hold Log in to add tags
BOOKS
Readings on Cognitive Ergonomics - Mind and Computers Proceedings, 2nd European conf., Gmunden, Austria, 1984

by van der Veer, G C. et al Eds.

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

Place hold Log in to add tags
BOOKS
Future Parallel Computers Proceedings, Pisa, Italy, 1986

by Treleaven, P. Ed | Vanneschi, M. Ed.

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

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

Powered by Koha