Your search returned 2455 results.

Not what you expected? Check for suggestions
BOOKS
Automated Deduction - CADE 11 11th International Conference Proc.,Saratoga Springs,NY,1992

by Kapur,D. Ed.

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

BOOKS
Advances in Petri Nets 1992

by Rozenberg,G. Ed.

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

BOOKS
Object-Based Concurrent Computing ECOOP '91 Workshop Proc.,Geneva, 1991

by Tokoro, M. et al Eds.

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

BOOKS
Constructivity in Computer Science Summer Symposium, Proc.,San Antonio,1991

by Myers, J.P. Ed | O'Donnell, M J. Ed.

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

BOOKS
Application and Theory of Petri Nets 1992 13th International Conference Proc., Sheffield, UK, 1992

by Jensen, K. Ed.

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

BOOKS
Advanced Topics in Artificial Intelligence International Summer School Proc.,Prague, 1992

by Marik, V. et al Eds.

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

BOOKS
Nonclassical Logics and Information Processing International Workshop Proc., Berlin, 1990

by Pearce, D. Ed | Wansing, H. Ed.

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

BOOKS
Logical Foundations of Computer Science - Tver '92 Second International Symposium Proc., Tver, 1992

by Nerode,A. Ed | Taitslin, M. Ed.

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

BOOKS
Automata, Languages and Programming 19th International Colloquium Proc., Wien, Austria, 1992

by Kuich,W. Ed.

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

BOOKS
Modular construction and partial order semantics of Petri Nets

by Vogler,W.

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

BOOKS
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991

by Borger,E. et al Eds.

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

BOOKS
Algebraic and Logic Programming Third International Conference Proc.,Volterra, 1992

by Kirchner, H. Ed | Levi, G. Ed.

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

BOOKS
Logics in AI European Workshop Proc. JELIA '92 - Berlin, 1992

by Pearce, D. Ed | Wagner, G. Ed.

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

BOOKS
Memory Management International Workshop IWMM 92 Proc.,France, 1992

by Bekkers, Y. Ed | Cohen, J. Ed.

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

BOOKS
Gravitational perturbation theory and synchrotron radiation

by Breuer, Reinhard A.

Series: Lecture notes in physics ; 00044Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP.

BOOKS
Hermitian and kahlerian geometry in relativity

by Flaherty, E. J.

Series: Lecture notes in physics ; 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): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP.

BOOKS
Unitary calculus for electronic orbitals

by Harter, William G | Patterson, Christopher W.

Series: Lecture notes in physics ; 00049Material 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): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP.

BOOKS
Group theoretical methods in Physics : fourth international collquium, Nijmegen 1975

by Janner, A | Janssen, T | Boon, M.

Series: Lecture notes in physics ; 00050Material 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): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP.

BOOKS
Introduction to the theory of heavy-ion collisions

by Norenberg, Wolfgang | Weidenmuller, Hans A.

Series: Lecture notes in physics ; 00051Material 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): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP.

BOOKS
Dynamical systems theory and applications : Battelle Seattle 1974 rencontres

by Moser, J.

Series: Lecture notes in physics ; 00038Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha