IMSc Library catalog › Results of search for 'ccl=Provider:Springer Verlag'

			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
			No cover image available Automata,languages and programming, proceedings,1986 by Shapiro, E., Ed. Series: Lecture notes in computer science ; 00226Material 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
			No cover image available Applied algebra,algorithms and error-correctings codes, AAECC-2.proceedings,1985 by Poli, A., Ed. Series: Lecture notes in computer science ; 00228Material 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
			No cover image available Algebra algorithms and error-correcting codes.AAECC-3.proceedings,1985. by Calmet, J., Ed. Series: Lecture notes in computer science ; 00229Material 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
			No cover image available 8th International conference on automated deduction.proceedings,1986 by Sielkmann, J.H.,Ed. Series: Lecture notes in computer science ; 00230Material 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
			No cover image available Concepts in user interfaces: A reference model for command and response languages,By members of IFIP working group by Beech, D., Ed. Series: Lecture notes in computer science ; 00234Material 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
			No cover image available Accurate scientific computations,proceedings,1985. by Miranker, W.L., Ed. Series: Lecture notes in computer science ; 00235Material 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
			No cover image available Symposium on Automatic Demonstration; edited by M. Laudet [and others] by Laudet. M and Lacombe. D \| Laudet, M. Series: Lecture notes in mathematics (Springer-Verlag) ; 125.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1970Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 27 Call number: 51 LNM. Place hold Log in to add tags
			No cover image available CONPAR 86: Algorithms and hardware for parallel processing, proceedings,1986 by Handler, W., Ed. Series: Lecture notes in computer science ; 00237Material 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
			No cover image available Negation and control in prolog by Naish, L. Series: Lecture notes in computer science ; 00238Material 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
			No cover image available Mathematical foundations of programming semantics,proceedings, 1985 by Melton, A., Ed. Series: Lecture notes in computer science ; 00239Material 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
			No cover image available Category theory and computer programming,proceedings 1985 by Pitt, D., Ed. Series: Lecture notes in computer science ; 00240Material 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
			No cover image available Foundations of software technology and theoretical computer science, proceedings, 1986 by Nori, K.V., Ed. Series: Lecture notes in computer science ; 00241Material 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
			No cover image available ICDT '86.proceedings by Ausiello, G \| Atzeni, P., Ed. Series: Lecture notes in computer science ; 00243Material 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 2455 results.