IMSc Library catalog › Results of search for 'ccl=se,phr:"Lecture notes in computer science ;"'

			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
			No cover image available Feedback shift retgisters by Ronse, Christian. Series: Lecture notes in computer science ; 00169Material 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 7th International conference on automated deduction, Nape, California, USA, May 14-16,1984 by Shostak, R.E.,Ed. Series: Lecture notes in computer science ; 00170Material 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 Logics and machines: Decision problems and complexity by Borger, E., Ed. Series: Lecture notes in computer science ; 00171Material 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
			Graph-Theoretic Concepts in Computer Science 17th International Workshop Proc.,Fischbachau,Germany, 1991 by Schmidt, G. Ed \| Berghammer, R. Ed. Series: Lecture notes in computer science ; 00570Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: 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
			Theory of Computing and Systems ISTCS '92 - Israel Symposium, Proc.,Haifa, Israel, 1992 by Dolev, D. et al Eds. Series: Lecture notes in computer science ; 00601Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 10762 results.