Your search returned 9608 results.

Not what you expected? Check for suggestions
BOOKS
Graph-Grammars and Their Application to Computer Science 3rd Int. Workshop, Virginia, USA, 1986

by Ehrig, H. et al Eds.

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

BOOKS
Epistemic Logic for AI and Computer Science

by Meyer, J-J Ch | van der Hoek, W.

Series: Cambridge Tracts in Theoretical Computer Science, V. 41Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge university press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MEY.

BOOKS
Graph-Theoretic Concepts in Computer Science Proceedings,Int.Workshop,WG '88,Amsterdam,Netherlands,1988

by van Leeuwen, J. Ed.

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

BOOKS
STACS 89 : Symposium on Theoretical Aspects of Computer Science Proceedings, 6th Ann.Symp., Paderborn, FRG, 1989

by Monien, B. Ed | Cori, R. Ed.

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

BOOKS
Logic at Botik '89 Proceedings Symposium, Pereslavl-Zalessky, USSR, 1989

by Meyer, A R. Ed | Taitslin, M A. Ed.

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

BOOKS
Categorical Methods in Computer Science with Aspects from Topology

by Ehrig H. et al Eds.

Series: Lecture notes in computer science ; 00393Material 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
Algorithms and Data Structres : Proceedings, Workshop WADS '89, Ottawa, Canada, 1989

by Dehne, F. (Ed.) | Sack, J.R. (Ed.) | Santoro, N. (Ed.).

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

BOOKS
Category Theory and Computer Science. Proceedings, Manchester, UK, 1989

by Pitt, D H. et al Eds.

Series: Lecture notes in computer science ; 00389Material 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
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
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
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: 6 Call number: 681.3 KAR.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha