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

			No cover image available Lecture notes on Elementary Topology and Geometry by Singer, I M \| Thorpe, John A. Series: Undergraduate Texts in MathematicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1967Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 31, Shelf No: 27 Call number: 515.1 SIN. Place hold Log in to add tags
			No cover image available Foundations of computation theory, Proceedings of the 1983 International FCT-conference,Bprgholm, Sweden, August, 1983 by Karpinski, Marek., Ed. Series: Lecture notes in computer science ; 00158Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag 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 STACS 84, Symposium of theoretical aspects of computer science, Paris, April, 1984 by Melhlhorn, K., Ed. Series: Lecture notes in computer science ; 00166Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag 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
			Semantics of data types: International symposium sophia-Antipolis, France, June 1984 by Goos G \| Hartmanis J. Series: Lecture notes in computer science \| 173Material type: Text;Language: ; Format: print Language: Eng Publication details: Berlin Springer Verlag 1984Availability: 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 EUROSAM 84 International symposium on symbolic and algebraic computation,Cambridge, England, July 1984 by Fitch, Ed. Series: Lecture notes in computer science ; 00174Material 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 P-Functions and boolean matrix factorization, A unfied approach for wired, programmed implementations of discrete algorithms by Thayse., Ed. Series: Lecture notes in computer science ; 00175Material 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 Mathematical foundations of software development, proceedings of the International Joint conference, Berlin, 1985, volume 1: Colloquium on trees in algebra and programming by Ehrig., Ed. Series: Lecture notes in computer science ; 00185Material 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 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2455 results.