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

			No cover image available Formal methods and software development, proceedings of the International Joint conference, Berlin, 1985:v.2:Colloauium on software eng. by Ehrig., Ed. Series: Lecture notes in computer science ; 00186Material 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 Advances in petri nets, 1984 by Rozenberg., Ed. Series: Lecture notes in computer science ; 00188Material 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 Paragon: language using type hierarchies for the specifications, Implementation and selection of abstract data types by Sherman, M.S. Series: Lecture notes in computer science ; 00189Material 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 Distributed systems, methods and tools for specification, an advanced course by Alford, zM.W., Ed. Series: Lecture notes in computer science ; 00190Material 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 Hierarchical associative procesing system by Stuttgen, Heinrich J. Series: Lecture notes in computer science ; 00195Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Seminar on concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 1984 by Brookes, A.E., Ed. Series: Lecture notes in computer science ; 00197Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Fundamentals of computation theory, FCT'85, Cottbus, GDR, September by Budach, Lothar. Series: Lecture notes in computer science ; 00199Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Trace theory and VLSI Design by Van de Snepscheut, Jan L. Series: Lecture notes in computer science ; 00200Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Rewriting techniques and applications, Dijon, France, May 1985 by Jouannaud, Jean-Pierre. Series: Lecture notes in computer science ; 00202Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available EUROCAL '85, European conference on computer algebra, Linz, Austria, April 1985. vol.1:Invited lectures by Buchberger, Bruno., Ed. Series: Lecture notes in computer science ; 00203Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available EUROCAL '85, European conference on computer algebra, Linz, Austria, April 1985, Vol.2: Research contributions by Caviness, Bob F., Ed. Series: Lecture notes in computer science ; 00204Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Foundations of software technology and theoretical computer science, Fifth conference, New Delhi, India, December by Maheshwari, S.N., Ed. Series: Lecture notes in computer science ; 00206Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: No items available : Damaged (1). Place hold Log in to add tags
			No cover image available Analysis of concurrent systems, Cambridge, September 1983 by Denvir, B.T, Ed. Series: Lecture notes in computer science ; 00207Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Mathematical methods of specification and synthesis of sotware systems '85,Proceedings of the International spring school Wendisch-Rietz, GDR, April 1985 Series: Lecture notes in computer science ; 00215Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Advances in cryptology-CRYPTO'85 by Williams, Hugh C., Ed. Series: Lecture notes in computer science ; 00218Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Advances in cryptology-EUROCRYPT '85, Proceedings of a workshop on the theory and application of cryptographic techniques, Linz, Austria, April 1985 by Pichler, Franz., Ed. Series: Lecture notes in computer science ; 00219Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available RIMS Symposia on software science and engineering II, Proceedings of the symposia 1983 and 1984, Kyoto, Japan by Goto, Eiichi., Ed. Series: Lecture notes in computer science ; 00220Material 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 Logic programming '85,Proceedings by Wada, E., Ed. Series: Lecture notes in computer science ; 00221Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Advances in petri nets 1985 by Rogzenber, G., Ed. Series: Lecture notes in computer science ; 00222Material 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: 2 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Third International conference on logic programming,proceedings,1986 by Shapiro, E., Ed. Series: Lecture notes in computer science ; 00225Material 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: 3 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 416 results.