IMSc Library catalog › Results of search for 'ccl=Provider:Springer-Verlag and holdingbranch:imsclib'

			Automated Deduction - CADE 11 11th International Conference Proc.,Saratoga Springs,NY,1992 by Kapur,D. Ed. Series: Lecture notes in artificial intelligence ; 00607Material 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
			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
			Advanced Topics in Artificial Intelligence International Summer School Proc.,Prague, 1992 by Marik, V. et al Eds. Series: Lecture notes in artificial intelligence ; 00617Material 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
			Nonclassical Logics and Information Processing International Workshop Proc., Berlin, 1990 by Pearce, D. Ed \| Wansing, H. Ed. Series: Lecture notes in artificial intelligence ; 00619Material 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
			Logics in AI European Workshop Proc. JELIA '92 - Berlin, 1992 by Pearce, D. Ed \| Wagner, G. Ed. Series: Lecture notes in artificial intelligence ; 00633Material 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
			Memory Management International Workshop IWMM 92 Proc.,France, 1992 by Bekkers, Y. Ed \| Cohen, J. Ed. Series: Lecture notes in computer science ; 00637Material 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
			Gravitational perturbation theory and synchrotron radiation by Breuer, Reinhard A. Series: Lecture notes in physics ; 00044Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP. Place hold Log in to add tags
			Hermitian and kahlerian geometry in relativity by Flaherty, E. J. Series: Lecture notes in physics ; 00046Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP. Place hold Log in to add tags
			Unitary calculus for electronic orbitals by Harter, William G \| Patterson, Christopher W. Series: Lecture notes in physics ; 00049Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP. Place hold Log in to add tags
			No cover image available Group theoretical methods in Physics : fourth international collquium, Nijmegen 1975 by Janner, A \| Janssen, T \| Boon, M. Series: Lecture notes in physics ; 00050Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP. Place hold Log in to add tags
			Introduction to the theory of heavy-ion collisions by Norenberg, Wolfgang \| Weidenmuller, Hans A. Series: Lecture notes in physics ; 00051Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP. Place hold Log in to add tags
			Dynamical systems theory and applications : Battelle Seattle 1974 rencontres by Moser, J. Series: Lecture notes in physics ; 00038Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 14 Call number: 53 LNP. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2454 results.