Your search returned 8979 results.

Not what you expected? Check for suggestions
BOOKS
Mathematical Foundations of Computer Science 1990 Proceedings, Banska Bystrica, Czechoslovakia, 1990

by Rovan, B. Ed.

Series: Lecture notes in computer science ; 00452Material 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 Computer Science 1989 Proceedings, Porabka-Kozubnik, Poland, 1989

by Kreczmar, A. Ed | Mirkowska, G. Ed.

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

BOOKS
CSL '88 Proceedings, 2nd Workshop, Duisburg, FRG, 1988

by Borger, E. Ed | Kleine Buning, H. Ed | Richter, M M Ed.

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

BOOKS
Algebraic Logic and Universal Algebra in Computer Science Proceedings, Conference, Ames, Iowa, USA, 1988

by Bergman, C H. Ed | Maddux, R D. Ed | Pigozzi, D L. Ed.

Series: Lecture notes in computer science ; 00425Material 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
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
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
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
FST TCS 1998: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 18th Conference, IMSc. & SPIC, 1998

by Arvind, V. (Ed.) | Ramanujam, R. (Ed.).

Series: Lecture notes in computer science ; 1530Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (2). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Theoretical Aspects of Computer Science, 13th Annual Symposium on- ; STACS 96 - Proceedings, Grenoble, 1996

by Puech, Claude. Ed | Reischuk, Rudiger. Ed.

Series: Lecture notes in computer science ; 01046Material 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
Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997

by Ramesh, S. Ed | Sivakumar, G. Ed.

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

BOOKS
Foundations of Software Technology and Theoretical Computer Science, Proceedings,14th Conference, Madras, India, 1994

by Thiagarajan, P S. Ed.

Series: Lecture notes in computer science ; 00880Material 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): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Mathematical Foundations of Computer Science 1998 : LNCS 1450; Proceedings, 23rd International Symposium, Brno, 1998

by Brim, Lubos., Ed | Gruska, Jozef., Ed | Zlatuska, Jiri., Ed.

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

BOOKS
Randomization and Approximation Techniques in Computer Science : Proceedings, International Workshop, Bologna, 1997

by Rolim, Jose. Ed.

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

BOOKS
Algorithm Theory - SWAT 1998 : Proceedings 6th Skandinavian Workshop, 1998

by Arnborg, Stefan. (Ed.) | Ivansson, Lars. (Ed.).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha