IMSc Library catalog › Results of search for 'ccl=se,phr:"Computer Science"'

			No cover image available Category theory and computer science by Pitt, D.H \| Poigne, A \| Rydeheard, D.E. Series: Lecture notes in computer science ; 00283Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Advances in cryptology - CRYPTO by Pomerance, C. Series: Lecture notes in computer science ; 00293Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Mathematical foundations of programming language semantics by Main, M \| Melton, A \| Mislove, M. Series: Lecture notes in computer science ; 00298Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available MFDBS 87 by Biskup, J \| Demetrovics, J \| Paredaens, J. Series: Lecture notes in computer science ; 00305Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			Automata, languages and programming by Lepisto, T \| Salomaa, A. Series: Lecture notes in computer science ; 00317Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Compositionality, concurrency and partial corretness by Zwiers, J. Series: Lecture notes in computer science ; 00321Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Formal techniques in real time and fault-tolerant systems by Joseph, M. Series: Lecture notes in computer science ; 00331Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Foundations of software technology and theoretical computer science by Nori, K.V \| Kumar, S. Series: Lecture notes in computer science ; 00338Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Parcella '88 by Wolf, G \| Legendi, T \| Schendel, U. Series: Lecture notes in computer science ; 00342Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available Advances in petri nets 1990 by Rozenberg, G. Series: Lecture notes in computer science ; 00483Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Concurrency : THeory languages and architecture by Yonezawa, A \| Ito, T. Series: Lecture notes in computer science ; 00491Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Mathematical foundations of computer science, 1991 by Tarlecki, A. Series: Lecture notes in computer science ; 00520Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Advances in petri nets 1991 by Rozenberg, G. Series: Lecture notes in computer science ; 00524Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Applied algebra, algebraic algorithms and error-correcting codes by Mattson, H.F \| Mora, T \| Rao, T.R.N. Series: Lecture notes in computer science ; 00539Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Local area network:An advanced course, Glasgow, July 11-22,1983, Proceedings by Hutchison, David., Ed. Series: Lecture notes in computer science ; 00184Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1985Availability: 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
			No cover image available STACS 85, 2nd Annual symposium on theretical aspects of computer science, Saarbrucken, January 3-5,1985 by Mehlhorn, K., Ed. Series: Lecture notes in computer science ; 00182Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1985Availability: 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
			Logics of programs by Parikh, Rohit Ed. Series: Lecture notes in computer science ; 00193Material type: Text;Language: ; Format: print Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Automata on infinite words by Nivat, M., Ed. Series: Lecture notes in computer science ; 00192Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available A survey of verification techniques for parallel programs by Barringar, Howard. Series: Lecture notes in computer science ; 00191Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: 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
			No cover image available RIMS symposia on software science and engineering, Kyoto,1982, proceedings by Goto, E., Ed. Series: Lecture notes in computer science ; 00147Material type: Text;Language: ; Format: print Availability: 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10989 results.