Your search returned 10753 results.

Not what you expected? Check for suggestions
BOOKS
STACS 88

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

BOOKS
Mathematical Foundations of Programming Semantics 9th International conference New Orleans, LA, USA, April 93

by Brookes, S | Main, M., Schmidt, D | Melton, A., Mislove, M.

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

BOOKS
Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93

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

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

BOOKS
Computer Aided Verification Proceedings, 6th Int.Conf., California, 1994

by Dill, David L. Ed.

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

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.

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.

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.

BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994

by Langmaack, H. Ed | de Roever, W.-P. Ed | Vytopil, J. Ed.

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

BOOKS
Algorithms and Computation, 4th International symposium, ISAAC'93, Hong Kong, December 1993

by Raghavan, P. Ed | Balasubramanian, N.V., Ed | Chin, F Y L. Ed.

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

BOOKS
Evolutionary Computing AISB Workshop, Leeds, 1994

by Fogarty, Terence C. Ed.

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

BOOKS
Turing Machines with Sublogarithmic Space

by Szepietowski, Andrzej.

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

BOOKS
Treewidth Computations and Approximations

by Kloks, Ton.

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

BOOKS
Hybrid systems

by Grossman, Robert L. Ed | Nerode, Anil. Ed | Ravn, Anders P. Ed.

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

BOOKS
Algorithms Proceedings, International Symposium, SIGAL '90, Japan

by Asano, T. Ed | Ibaraki, T. Ed | Imai, H. Ed., Nishizeki, T.

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
Computing and Combinatorics Proceedings, International Conference, COCOON '95, China

by Du, Ding-Zhu. Ed | Li, Ming. Ed.

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

BOOKS
Algorithms and Data Structures Proceedings, 4th International Workshop, WADS'95, Canada

by Akl, Selim G. et al. Eds.

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

BOOKS
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes Proceedings, 11th International Symposium, France, 1995

by Cohen, Gerard. Ed | Giusti, Marc. Ed | Mora, Teo. Ed.

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

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.

BOOKS
Logic and Computational Complexity International Workshop Indianapolis, USA, 1994

by Leivant, Daniel. Ed.

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

BOOKS
Automata, Languages and Programming Proceedings, 22nd International Colloquium, Hungary, 1995

by Fulop, Zoltan. Ed | Gecseg, Ferenc. Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha