IMSc Library catalog › Results of search for 'ccl=su:"Computer Science."'

			Extensional Constructs in Intensional Type Theory by Hofmann, Martin. Series: CPHC/BCS Distinguished Dissertation SeriesMaterial type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Categorical Methods in Computer Science with Aspects from Topology by Ehrig H. et al Eds. Series: Lecture notes in computer science ; 00393Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Mathematical Foundations of Computer Science 1990 Proceedings, Banska Bystrica, Czechoslovakia, 1990 by Rovan, B. Ed. Series: Lecture notes in computer science ; 00452Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Text Algorithms by Crochemore, Maxime \| Rytter, Wojciech. Material type: 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. Place hold Log in to add tags

			Extensional Constructs in Intensional Type Theory by Hofmann, Martin. Series: CPHC/BCS Distinguished Dissertation SeriesMaterial type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Categorical Methods in Computer Science with Aspects from Topology by Ehrig H. et al Eds. Series: Lecture notes in computer science ; 00393Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Mathematical Foundations of Computer Science 1990 Proceedings, Banska Bystrica, Czechoslovakia, 1990 by Rovan, B. Ed. Series: Lecture notes in computer science ; 00452Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Text Algorithms by Crochemore, Maxime \| Rytter, Wojciech. Material type: 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. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 9619 results.