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

			Mathematics Past and Present : Fourier Integral Operators Selected Classical Articles by Bruning, Jochen. Ed \| Guillemin, Victor W. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 32, Shelf No: 22 Call number: 517.443 BRU. Place hold Log in to add tags
			Application and Theory of Petri Nets 1993 : 14th International conference, Chicago, Illinois, USA, June 1993 by Ajmone Marsan, Marco. Ed. Series: Lecture notes in computer science ; 00691Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings by Courcoubetis, Costas, Ed. Series: Lecture notes in computer science ; 00697Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Program development by specification and transformation : The PROSPECTRA methodology, language family, and system by Hoffmann, Berthold. Ed \| Kreig-Bruckner, Bernd. Ed. Series: Lecture notes in computer science ; 00680Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European conference ECSQARU'93, Proceedings by Clarke, Michael \| Kruse, Rudolf \| Moral, Serafin. Series: Lecture notes in computer science ; 00747Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E \| Jager, G., Martini., Richter,M \| Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg \| Leitsch, A \| Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Combinatorial Pattern Matching : 4th Annual symposium, CPM 93, Padova, Italy, June 1993, Proceedings by Apostolico, A \| Crochemore, M \| Galil, Z., Manber, U. Series: Lecture notes in computer science ; 00684Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Logic of Information Structures by Wansing, Heinrich. Series: Lecture notes in artificial intelligence ; 00681Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Information Processing in Medical Imaging Proceedings, 13th International Conf., Arizona, 1993 by Barrett, H H. Ed \| Gmitro, A F. Ed. Series: Lecture notes in computer science ; 00687Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Lyapunov exponents : proceedings of a conference held in Oberwolfach, May 28-June 2, 1990 / by Arnold, L \| Crauel, H \| Eckmann, Jean Pierre. Series: Lecture notes in mathematics (Springer-Verlag) ; 1486.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 9 Call number: 51 LNM. Place hold Log in to add tags
			Topological methods for variational problems with symmetries / by Bartsch, Thomas. Series: Lecture notes in mathematics (Springer-Verlag) ; 1560.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:27 Shelf No:10 Call number: 51 LNM. Place hold Log in to add tags
			High Magnetic Fields in Semiconductor Physics III : Quantum Hall Effect, Transport and Optics : Proceedings of the International conference, Wurzburg, Fed. Rep. of Germany, 1990 by Landwehr, G. Ed. Series: Springer series in solid-state sciences ; 00101Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:45 Shelf No:15 Call number: 539.2 LAN. Place hold Log in to add tags
			Earlier and recent aspects of superconductivity : Lecture from the International school, Erice, Trapani, Sicily, July 4 - 16, 1989 by Bednorz, J G. Ed \| Muller, K A. Ed. Series: Springer series in solid-state sciences ; 00090Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 15 Call number: 536.312 BED. Place hold Log in to add tags
			Organic superconductors by Ishiguro, T \| Yamaji, K. Series: Springer series in solid-state sciences ; 00088Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 19 Call number: 536.312 YAM. Place hold Log in to add tags
			Group theory and its applications in Physics by Inui, T \| Tanabe, Y \| Onodera, Y. Series: Springer series in solid-state sciences ; 00078Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (3). Location(s): First Floor Rack No:45 Shelf No:11 Call number: 539.2 INUI. Place hold Log in to add tags
			Hamiltonian cosmology by Ryan, Michael. Series: Lecture notes in physics ; 00013Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1972Availability: 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
			Proceedings of the Europhysics study conference on intermediate processes in nuclear reactions, August 31 - September 5, 1972 by Cindro, Nikola \| Kulisic, Petar \| Kuckuk -Theo Mayer. Series: Lecture notes in physics ; 00022Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1973Availability: 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
			Nuclear structure physics : proceedings of the Minerva symposium on Physics(Weizmann Institute of Science Rehovot, April 2-5, 1973 by Smilansky, U \| Talmi, I \| Weidenmuller, H. A. Series: Lecture Notes in Physics ; 00023Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1973Availability: 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 Topological vector spaces II by Kothe, G. Series: Grundlehren der mathematischen, 237Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer-verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 20 Call number: 517.98 KOT. Place hold Log in to add tags

			Mathematics Past and Present : Fourier Integral Operators Selected Classical Articles by Bruning, Jochen. Ed \| Guillemin, Victor W. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 32, Shelf No: 22 Call number: 517.443 BRU. Place hold Log in to add tags
			Application and Theory of Petri Nets 1993 : 14th International conference, Chicago, Illinois, USA, June 1993 by Ajmone Marsan, Marco. Ed. Series: Lecture notes in computer science ; 00691Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings by Courcoubetis, Costas, Ed. Series: Lecture notes in computer science ; 00697Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Program development by specification and transformation : The PROSPECTRA methodology, language family, and system by Hoffmann, Berthold. Ed \| Kreig-Bruckner, Bernd. Ed. Series: Lecture notes in computer science ; 00680Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European conference ECSQARU'93, Proceedings by Clarke, Michael \| Kruse, Rudolf \| Moral, Serafin. Series: Lecture notes in computer science ; 00747Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E \| Jager, G., Martini., Richter,M \| Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg \| Leitsch, A \| Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Combinatorial Pattern Matching : 4th Annual symposium, CPM 93, Padova, Italy, June 1993, Proceedings by Apostolico, A \| Crochemore, M \| Galil, Z., Manber, U. Series: Lecture notes in computer science ; 00684Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Logic of Information Structures by Wansing, Heinrich. Series: Lecture notes in artificial intelligence ; 00681Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Information Processing in Medical Imaging Proceedings, 13th International Conf., Arizona, 1993 by Barrett, H H. Ed \| Gmitro, A F. Ed. Series: Lecture notes in computer science ; 00687Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Lyapunov exponents : proceedings of a conference held in Oberwolfach, May 28-June 2, 1990 / by Arnold, L \| Crauel, H \| Eckmann, Jean Pierre. Series: Lecture notes in mathematics (Springer-Verlag) ; 1486.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 9 Call number: 51 LNM. Place hold Log in to add tags
			Topological methods for variational problems with symmetries / by Bartsch, Thomas. Series: Lecture notes in mathematics (Springer-Verlag) ; 1560.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:27 Shelf No:10 Call number: 51 LNM. Place hold Log in to add tags
			High Magnetic Fields in Semiconductor Physics III : Quantum Hall Effect, Transport and Optics : Proceedings of the International conference, Wurzburg, Fed. Rep. of Germany, 1990 by Landwehr, G. Ed. Series: Springer series in solid-state sciences ; 00101Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:45 Shelf No:15 Call number: 539.2 LAN. Place hold Log in to add tags
			Earlier and recent aspects of superconductivity : Lecture from the International school, Erice, Trapani, Sicily, July 4 - 16, 1989 by Bednorz, J G. Ed \| Muller, K A. Ed. Series: Springer series in solid-state sciences ; 00090Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 15 Call number: 536.312 BED. Place hold Log in to add tags
			Organic superconductors by Ishiguro, T \| Yamaji, K. Series: Springer series in solid-state sciences ; 00088Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 19 Call number: 536.312 YAM. Place hold Log in to add tags
			Group theory and its applications in Physics by Inui, T \| Tanabe, Y \| Onodera, Y. Series: Springer series in solid-state sciences ; 00078Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (3). Location(s): First Floor Rack No:45 Shelf No:11 Call number: 539.2 INUI. Place hold Log in to add tags
			Hamiltonian cosmology by Ryan, Michael. Series: Lecture notes in physics ; 00013Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1972Availability: 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
			Proceedings of the Europhysics study conference on intermediate processes in nuclear reactions, August 31 - September 5, 1972 by Cindro, Nikola \| Kulisic, Petar \| Kuckuk -Theo Mayer. Series: Lecture notes in physics ; 00022Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1973Availability: 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
			Nuclear structure physics : proceedings of the Minerva symposium on Physics(Weizmann Institute of Science Rehovot, April 2-5, 1973 by Smilansky, U \| Talmi, I \| Weidenmuller, H. A. Series: Lecture Notes in Physics ; 00023Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1973Availability: 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 Topological vector spaces II by Kothe, G. Series: Grundlehren der mathematischen, 237Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer-verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 20 Call number: 517.98 KOT. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 18638 results.