Your search returned 10647 results.

Not what you expected? Check for suggestions
BOOKS
Graphtheoretic Concepts in Computer Science Proceedings, Int.Workshop, Bad Honnef, 1980

by Noltemeier, Hartmut. Ed.

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

BOOKS
Mathematical Foundations of Computer Science 1984 Proceedings, Praha, Czechoslovakia, 1984

by Chytil, M P. Ed | Koubek, V. Ed.

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

BOOKS
Theoretical Computer Science 6th GI-Conference, Dortmund, 1983

by Cremers, A B. Ed | Kriegel, H P. Ed.

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

BOOKS
Mathematical foundations of computer science 1986 Proceedings, 12th Symp., Bratislava, Czechoslovakia, 1986

by Gruska, J. et al Eds.

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

BOOKS
Parallel Computing in Science and Engineering Proceedings, Seminar, Bonn, FRG, 1987

by Dierstein, R. Ed | Muller-Wichards, D. Ed | Wacker, H M. Ed.

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

BOOKS
Graph-Theoretic Concepts in Computer Science Proceedings, Int.Workshop, Staffelstein, FRG, 1987

by Gottler, H. Ed | Schneider, H J. Ed.

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

BOOKS
Extensional Constructs in Intensional Type Theory

by Hofmann, Martin.

Series: CPHC/BCS Distinguished Dissertation SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOF.

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): 7Second floor, Rack No: 48, Shelf No: 4 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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha