Your search returned 10647 results.

Not what you expected? Check for suggestions
BOOKS
Logic from Computer Science Proceedings, Workshop, Nov. 1989

by Moschovakis, Y N. Ed.

Series: Mathematical Sciences Research Institute, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:510 MOS.

Place hold Log in to add tags
BOOKS
Iteration Theories Equational Logic of Iterative Processes

by Bloom, Stephen L | Esik, Zoltan.

Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BLO.

Place hold Log in to add tags
BOOKS
Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994

by Nerode, A. Ed | Matiyasevich, Yu V. Ed.

Series: Lecture notes in computer science ; 00813Material 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): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Results and Trends in Theoretical Computer Science : Colloquium in honor of Arto Salomaa Graz, Austria, June 1994

by Karhumaki, J. Ed | Maurer, H. Ed | Rozenberg, Ed.

Series: Lecture notes in computer science ; 00812Material 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): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Sendmail

by Costales, Bryan | Allman, Eric | Rickert, Neil.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: USA ; O'Reilly & Associates ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 COS.

Place hold Log in to add tags
BOOKS
FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings

by Thiagarajan, P S. Ed.

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

Place hold Log in to add tags
BOOKS
Data Structures and Algorithm Analysis

by Weiss, Mark Allen.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Benjamin ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 2 Call number: 681.3.06 WEI.

Place hold Log in to add tags
BOOKS
Physics and our view of the World

by Hilgevoord, Jan. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 14 Call number: 530.1 HIL.

Place hold Log in to add tags
BOOKS
God and the Astronomers

by Jastrow, Robert.

Edition: 2ndMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Norton ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:25 Call number: 523 JAS.

Place hold Log in to add tags
BOOKS
Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995

by Kozen, Dexter. Ed.

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

Place hold Log in to add tags
BOOKS
Lure of Modern Science Fractal Thinking

by West, Bruce J | Deering, Bill.

Series: Studies of Nonlinear Phenomena in Life Sciences, v.3Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 30 Call number: 536.7 WES.

Place hold Log in to add tags
BOOKS
To Be a Scientist

by Braben, Donald.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford University press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 21, Shelf No: 3 Call number: 5 BRA.

Place hold Log in to add tags
BOOKS
Lecture notes on Bucket Algorithms

by Devroye, Luc.

Series: Progress in Computer Science, V.6Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DEV.

Place hold Log in to add tags
BOOKS
Computer Science Logic 8th Workshop, Poland, 1994

by Pacholski, Leszek. Ed | Tiuryn, Jerzy. Ed.

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

Place hold Log in to add tags
BOOKS
Porous Silicon Science and Technology Winter School, 1994

by Vial, Jean-Claude. Ed | Derrien, Jacques. Ed.

Series: Centre De Physique Les Houches, V.1Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:45 Shelf No:27 Call number: 539.2 VIA.

Place hold Log in to add tags
BOOKS
Advice to a young scientist

by Medawar, P. B.

Series: Alfred P. Sloan Foundation SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Basic Books ; 1979Availability: No items available : Checked out (1).

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

Powered by Koha