Your search returned 10762 results.

Not what you expected? Check for suggestions
BOOKS
Combinatorics on traces

by Diekert, Volker.

Series: Lecture notes in computer science ; 00454Material 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
Mathematical Foundations of Programming Semantics Proceedings, 5th International Conference,Louisiana,USA,1989

by Main, M. et al Eds.

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

BOOKS
Algorithms Proceedings, Int. Symposium, SIGAL '90, Tokyo, Japan, 1990

by Asano, T. et al Eds.

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

BOOKS
Fault-Tolerant Distributed Computing

by Simons, B. Ed | Spector, A. Ed.

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

BOOKS
Advances in Petri Nets 1989

by Rozenberg, Gizegorz Ed.

Series: Lecture notes in computer science ; 00424Material 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
Software Engineering Education Proceedings, SEI Conference 1990, Pennsylvania, USA, 1990

by Deimel, Lionel E. Ed.

Series: Lecture notes in computer science ; 00423Material 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
Formal Model of Visualization in Computer Graphics Systems

by Onodera, Tamiya | Kawai, Satoru.

Series: Lecture notes in computer science ; 00421Material 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
Statistical and Scientific Database Management Proceedings, Fifth Int. Conf. V SSDBM, Charlotte, USA, 1990

by Michalewicz, Z. Ed.

Series: Lecture notes in computer science ; 00420Material 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
Progress in Distributed Operating Systems and Distributed Systems Management Proceedings, European Workshop, Berlin, FRG, 1989

by Preikschat, Schroder, W. Ed | Zimmer, W. Ed.

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

BOOKS
CAAP '90 Proceedings, 15th Colloq. Copenhagen, Denmark, 1990

by Arnold, A. Ed.

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

BOOKS
Stepwise Refinement of Distributed Systems Proceedings, REX Workshop, Mook, The Netherlands, 1989

by de Bakker, J W. Ed | de Roever, W P. Ed | Rozenberg, G. Ed.

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

BOOKS
Design and Implementation of Symbolic Computation Systems Proceedings, Int. Symp. DISCO '90, Capri, Italy, 1990

by Miola, A. Ed.

Series: Lecture notes in computer science ; 00429Material 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
CONPAR 90 - VAPP IV Proceedings, Joint Int. Conf. Zurich, Switzerland, 1990

by Burkhart, H. Ed.

Series: Lecture notes in computer science ; 00457Material 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
Database Systems of the 90s Proceedings, Int. Symp. Muggelsee, Berlin, FRG, 1990

by Blaser, A. Ed.

Series: Lecture notes in computer science ; 00466Material 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
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
Algebraic and Logic Programming Proceedings, Second Int. Conf. Nancy, France, 1990

by Kirchner, H. Ed | Wechler, W. Ed.

Series: Lecture notes in computer science ; 00463Material 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
Attribute Grammars and their Applications Proceedings, Int. Conference WAGA, Paris, France, 1990

by Deransart, P. Ed | Jourdan, M. Ed.

Series: Lecture notes in computer science ; 00461Material 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
Systematic Catalogue of Reusable Abstract Data Types

by Uhl, Jurgen | Schmid, Albrecht, Hans.

Series: Lecture notes in computer science ; 00460Material 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
Munich Project CIP Volume II: The Program Transformation System CIP-S

by Bauer, F L. et al.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha