IMSc Library catalog › Results of search for 'ccl=Provider:Springer and se:Lecture notes in computer science'

			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 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
			Advances in Petri Nets 1992 by Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00609Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Object-Based Concurrent Computing ECOOP '91 Workshop Proc.,Geneva, 1991 by Tokoro, M. et al Eds. Series: Lecture notes in computer science ; 00612Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Constructivity in Computer Science Summer Symposium, Proc.,San Antonio,1991 by Myers, J.P. Ed \| O'Donnell, M J. Ed. Series: Lecture notes in computer science ; 00613Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Application and Theory of Petri Nets 1992 13th International Conference Proc., Sheffield, UK, 1992 by Jensen, K. Ed. Series: Lecture notes in computer science ; 00616Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Logical Foundations of Computer Science - Tver '92 Second International Symposium Proc., Tver, 1992 by Nerode,A. Ed \| Taitslin, M. Ed. Series: Lecture notes in computer science ; 00620Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming 19th International Colloquium Proc., Wien, Austria, 1992 by Kuich,W. Ed. Series: Lecture notes in computer science ; 00623Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Modular construction and partial order semantics of Petri Nets by Vogler,W. Series: Lecture notes in computer science ; 00625Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991 by Borger,E. et al Eds. Series: Lecture notes in computer science ; 00626Material 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: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic and Logic Programming Third International Conference Proc.,Volterra, 1992 by Kirchner, H. Ed \| Levi, G. Ed. Series: Lecture notes in computer science ; 00632Material 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: 14 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 10753 results.