Your search returned 10647 results.

Not what you expected? Check for suggestions
BOOKS
Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989

by Sifakis, J. Ed.

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

BOOKS
STACS 90 Proceedings, 7th Ann. Symp.Rouen, France, 1990

by Choffrut, C. Ed | Lengauer, T. Ed.

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

BOOKS
Graph-Theoretic Concepts in Computer Science Proceedings, 15th Int. Workshop, Castle,Netherlands, 1989

by Nagl, M. Ed.

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

BOOKS
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / G. Mints, eds.

by P. Martin-Lof, eds | Martin-Löf, Per | Mint︠s︡, G. E.

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

BOOKS
Aspects and Prospects of Theoretical Computer Science Proceedings, 6th Int. Meeting, Smolenice,Czechoslovakia,1990

by Dassow, J. Ed | Kelemen, J. Ed.

Series: Lecture notes in computer science ; 00464Material 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
Renaissance of Sciences in Islamic Countries Muhammad Abdus Salam

by Dalafi, H R. Ed | Hassan, M H A. 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: 58, Shelf No: 3 Call number: 82-96 DAL.

BOOKS
Theoretical Aspects of Computer Science, 15th Annual Sympoisum on- Proceedings, Paris, 1998

by Morvan, Michel. Ed | Meinel, Christoph. Ed | Krob, Daniel. Ed.

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

BOOKS
Text Algorithms

by Crochemore, Maxime | Rytter, Wojciech.

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

BOOKS
Science in India - 50 Years of the Academy

by Rao, C.N.R. Ed | Mohan Ram, H Y. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New Delhi ; INSA ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 1 Call number: 5 INSA.

BOOKS
Mathematical Methods in Science

by Polya, George.

Series: Mathematical Association of America, Vol. 26Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; MAA ; 1977Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 29 Call number: 51 POL.

BOOKS
Dealing with Complexity : Neural Networks Approach

by Karny, M. Ed | Warwick, K. Ed | Kurkova, V. Ed.

Series: Perspectives in Neural ComputingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KAR.

BOOKS
Algorithms and Data Structures in VLSI Design : OBDD - Foundations and Applications

by Meinel, Christoph | Theobald, Thorsten.

Material 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: 49, Shelf No: 11 Call number: 681.3 MEI.

BOOKS
Computer Science Today - Recent Trends and Developments

by Leeuwen, Jan Van. Ed.

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

BOOKS
Graph-Theoretic Concepts in Computer Science Proceedings, 22nd International Workshop, Italy, 1996

by d'Amore, Fabrizio. Ed | Franciosa, Paolo G. Ed | Marchetti-Spaccamela, A. Ed.

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

BOOKS
Computer Science Logic Workshop, 9th International Conference, Germany, 1995

by Buning, Hans Kleine. Ed.

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

BOOKS
How to solve it by Computer

by Dromey, R G.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: Eng Publication details: India ; Prentice-Hall ; 1997Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 DRO.

BOOKS
Science Matters

by Hazen, Robert M | Trefil, James.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Universities Press ; 1997Availability: No items available : Checked out (1).

BOOKS
Fast Science Facts

by Verma, Surendra.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Universities Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 23, Shelf No: 8 Call number: 5 VER.

BOOKS
Using MPI : Portable Parallel Programming with the Message - Passing Interface

by Gropp, William | Lusk, Ewing | Skjellum, Anthony.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 GRO.

BOOKS
Annual review of nuclear and particle science ; 00048

by Quigg, Chris. Ed | Luth, Vera. Ed | Paul, Peter. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Annual Review ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:43 Shelf No:15 Call number: 539.1 ANN.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha