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

			Number Theoretic and Algebraic Methods in Computer Science Proceedings, International Conf.,Moscow, 1993 by van der Poorten, Alf J. Ed \| Shparlinski, Igor. Ed \| Zimmer, Horst G. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 35 Call number: 511 POO. Place hold Log in to add tags
			Proceedings 36th Annual Symposium on Foundations of Computer Science Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; IEEE Computer Society Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Finite Automata, Formal Logic, and Circuit Complexity by Straubing, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STR. Place hold Log in to add tags
			Logic and information flow by Eijck, Jan van. Ed \| Eijck, Jan van. Ed \| Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ. Place hold Log in to add tags
			FST TCS 1996: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 16th Conference, Hyderabad, 1996 by Chandru, V. (Ed.) \| Vinay, V. (Ed.). Series: Lecture notes in computer science ; 1180Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of computer Science, 1978 Proceedings, 7th Symp., Poland, 1978 by Winkowski, J. Ed. Series: Lecture notes in computer science ; 00064Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Graph-Grammars and their Application to Computer Science and Biology International Workshop, Bad Honnef, 1978 by Claus, Volker. Ed \| Ehrig, Hartmut. Ed \| Rozenberg, Grzegorz. Ed. Series: Lecture notes in computer science ; 00073Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of Computer Science 1977 Proceedings, 6th Symp., Tatranska Lomnica, 1977 by Gruska, J. Ed. Series: Lecture notes in computer science ; 00053Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1977Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of Computer Science 1976 Proceedings, 5th Symposium, Gdansk, Sept 6-10,1976 by Mazurkiewicz, A. Ed. Series: Lecture notes in computer science ; 00045Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available CSL '89 Proceedings, 3rd Workshop, FRG, 1989 by Borger, E. Ed \| Kleine Buning, H. Ed \| Richter, M M. Ed. Series: Lecture notes in computer science ; 00440Material 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: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Operating Systems Engineering Proceedings, 14th IBM CS Symp., Japan, 1980 by Maekawa, M. Ed \| Belady, L A. Ed. Series: Lecture notes in computer science ; 00143Material type: 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. Place hold Log in to add tags
			Mathematical Foundations of Computer Science, 1981 Proceedings, 10th Symposium, Czechoslovakia, 1981 by Gruska, J. Ed \| Chytil, M. Ed. Series: Lecture notes in computer science ; 00118Material type: 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. Place hold Log in to add tags
			Numerical Recipes in Fortran 90 : Art of Parallel Scientific Computing Vol.2: Fortran Numerical Recipes by Press, William H \| Teukolsky, Saul A \| Vetterling, William T \| Flannery, Brian P. Edition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PRE. Place hold Log in to add tags
			Theoretical Computer Science 5th GI-Conference, Karlsruhe, 1981 by Deussen, Peter. Ed. Series: Lecture notes in computer science ; 00104Material type: 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. Place hold Log in to add tags
			Graphtheoretic Concepts in Computer Science Proceedings, Int.Workshop, Bad Honnef, 1980 by Noltemeier, Hartmut. Ed. Series: Lecture notes in computer science ; 00100Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. 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

			Number Theoretic and Algebraic Methods in Computer Science Proceedings, International Conf.,Moscow, 1993 by van der Poorten, Alf J. Ed \| Shparlinski, Igor. Ed \| Zimmer, Horst G. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 35 Call number: 511 POO. Place hold Log in to add tags
			Proceedings 36th Annual Symposium on Foundations of Computer Science Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Tokyo ; IEEE Computer Society Press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Finite Automata, Formal Logic, and Circuit Complexity by Straubing, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STR. Place hold Log in to add tags
			Logic and information flow by Eijck, Jan van. Ed \| Eijck, Jan van. Ed \| Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ. Place hold Log in to add tags
			FST TCS 1996: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 16th Conference, Hyderabad, 1996 by Chandru, V. (Ed.) \| Vinay, V. (Ed.). Series: Lecture notes in computer science ; 1180Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of computer Science, 1978 Proceedings, 7th Symp., Poland, 1978 by Winkowski, J. Ed. Series: Lecture notes in computer science ; 00064Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Graph-Grammars and their Application to Computer Science and Biology International Workshop, Bad Honnef, 1978 by Claus, Volker. Ed \| Ehrig, Hartmut. Ed \| Rozenberg, Grzegorz. Ed. Series: Lecture notes in computer science ; 00073Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of Computer Science 1977 Proceedings, 6th Symp., Tatranska Lomnica, 1977 by Gruska, J. Ed. Series: Lecture notes in computer science ; 00053Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1977Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of Computer Science 1976 Proceedings, 5th Symposium, Gdansk, Sept 6-10,1976 by Mazurkiewicz, A. Ed. Series: Lecture notes in computer science ; 00045Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available CSL '89 Proceedings, 3rd Workshop, FRG, 1989 by Borger, E. Ed \| Kleine Buning, H. Ed \| Richter, M M. Ed. Series: Lecture notes in computer science ; 00440Material 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: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Operating Systems Engineering Proceedings, 14th IBM CS Symp., Japan, 1980 by Maekawa, M. Ed \| Belady, L A. Ed. Series: Lecture notes in computer science ; 00143Material type: 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. Place hold Log in to add tags
			Mathematical Foundations of Computer Science, 1981 Proceedings, 10th Symposium, Czechoslovakia, 1981 by Gruska, J. Ed \| Chytil, M. Ed. Series: Lecture notes in computer science ; 00118Material type: 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. Place hold Log in to add tags
			Numerical Recipes in Fortran 90 : Art of Parallel Scientific Computing Vol.2: Fortran Numerical Recipes by Press, William H \| Teukolsky, Saul A \| Vetterling, William T \| Flannery, Brian P. Edition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PRE. Place hold Log in to add tags
			Theoretical Computer Science 5th GI-Conference, Karlsruhe, 1981 by Deussen, Peter. Ed. Series: Lecture notes in computer science ; 00104Material type: 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. Place hold Log in to add tags
			Graphtheoretic Concepts in Computer Science Proceedings, Int.Workshop, Bad Honnef, 1980 by Noltemeier, Hartmut. Ed. Series: Lecture notes in computer science ; 00100Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 9609 results.