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

			Conversations with a Mathematician : Math, Art, Science and the Limits of Reason : A Collection of his most wide-ranging and non-technical lectures and interviews by Chaitin, Gregory J. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: London Springer Verlag 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 7 Call number: 51 CHA. Place hold Log in to add tags
			Matrix Groups : Introduction to Lie Group Theory : (SUMS) by Baker, Andrew. Series: Springer Undergraduate Mathematics SeriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer Verlag ; 2002Availability: No items available : Checked out (1). Place hold Log in to add tags
			Representation theory a first course by Fulton, William \| Harris, Joe. Series: Graduate texts in mathematics ; 0129Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1991Availability: No items available : Checked out (1). Place hold Log in to add tags
			Geometry I : Basic Ideas and Concepts of Differential Geometry by Gamkrelidze, R V. Ed. Series: Encyclopaedia of mathematical sciences ; 00028Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 9, Shelf No: 3 Call number: 51(02) EMS. Place hold Log in to add tags
			Computer aided verification : 13th international conference; proceedings by Berry, Gerard. Ed \| Comon, Hubert. Ed \| Finkel, Alain. . Ed. Series: Lecture notes in computer science ; 02102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Linear time, branching time and partial order in logics and models for concurrency : by de Bakker, J.W Ed \| de Roever, W.P. Ed \| Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00354Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science by Hariharan, Ramesh \| Mukund, Madhavan \| Vinay, V. (Eds.). Series: Lecture notes in computer science ; 02245Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: No items available : Log in to add tags
			FST TCS 1992: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 12th conference 1992 by Shyamasundar, R. Ed. Series: Lecture notes in computer science ; 652Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Description of Programming Concepts by Neuhold, Erich J \| Paul, M. Eds. Series: IFIP state-of-the-art reportsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 20 Call number: 681.9 NEU. Place hold Log in to add tags
			Mathematical Methods in Program development by Broy, Manfred \| Schieder,Brigit Eds. Series: NATO ASI series: F - Computer and systems sciences; 158Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 13 Call number: 681.9 BRO. Place hold Log in to add tags
			FST TCS 1991: Foundations of software technology and theoretical computer science: Proceedings, 11th conference, New Delhi by Biswas, S \| Nori,K.V. Eds. Series: Lecture notes in computer science ; 560Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (3). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic Methodology and Software Technology : 5th international conference; proceedings by Wirsing, Martin \| Nivat,Maurice Eds. Series: Lecture notes in computer science ; 01101Edition: 0Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997 by Ramesh, S. Ed \| Sivakumar, G. Ed. Series: Lecture notes in computer science ; 01346Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in computing science- ASIAN'97: Proceedings, 3rd Asian Computing Science conference by Shyamasundar,R.K \| Ueda, K. Eds. Series: Lecture notes in computer science ; 01345Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software technology and Theoretical computer science: Proceedings, 14t conference by Thiagarajan, P.S. Series: Lecture notes in computer science ; 00880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			International symposium on theoretical programming by Ershov, Andrei Ed \| Nepomniaschy, Valery A. Series: Lecture notes in computer science ; 00005Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1974Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Nano-Optoelectronics: Concepts, Physics and Devices by Grundmann, M. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 2002; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 29 Call number: 535 GRU. Place hold Log in to add tags
			Algebraic Methodology and software technology: 4th international conference; proceedings by Alagar,V.S \| Nivat, Maurice Eds. Series: Lecture notes in computer science ; 00936Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Ergodic properties of Algebraic fields by Linnik, Yu. V. Series: Ergebnisse der Math. und ihrer Grenz.; band 45Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-verlag ; 1968Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:44 Call number: 519.23 LIN. Place hold Log in to add tags
			Graphs, Networks and Algorithms by Jungnickel, Dieter. Series: Algorithms and computation in Mathematics ; v.5Edition: English edn.Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DIE. Place hold Log in to add tags

			Conversations with a Mathematician : Math, Art, Science and the Limits of Reason : A Collection of his most wide-ranging and non-technical lectures and interviews by Chaitin, Gregory J. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: London Springer Verlag 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 7 Call number: 51 CHA. Place hold Log in to add tags
			Matrix Groups : Introduction to Lie Group Theory : (SUMS) by Baker, Andrew. Series: Springer Undergraduate Mathematics SeriesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer Verlag ; 2002Availability: No items available : Checked out (1). Place hold Log in to add tags
			Representation theory a first course by Fulton, William \| Harris, Joe. Series: Graduate texts in mathematics ; 0129Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1991Availability: No items available : Checked out (1). Place hold Log in to add tags
			Geometry I : Basic Ideas and Concepts of Differential Geometry by Gamkrelidze, R V. Ed. Series: Encyclopaedia of mathematical sciences ; 00028Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 9, Shelf No: 3 Call number: 51(02) EMS. Place hold Log in to add tags
			Computer aided verification : 13th international conference; proceedings by Berry, Gerard. Ed \| Comon, Hubert. Ed \| Finkel, Alain. . Ed. Series: Lecture notes in computer science ; 02102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Linear time, branching time and partial order in logics and models for concurrency : by de Bakker, J.W Ed \| de Roever, W.P. Ed \| Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00354Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags
			FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science by Hariharan, Ramesh \| Mukund, Madhavan \| Vinay, V. (Eds.). Series: Lecture notes in computer science ; 02245Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: No items available : Log in to add tags
			FST TCS 1992: Foundations of Software Technology and Theoretical Computer Science : Proceedings, 12th conference 1992 by Shyamasundar, R. Ed. Series: Lecture notes in computer science ; 652Material type: Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Description of Programming Concepts by Neuhold, Erich J \| Paul, M. Eds. Series: IFIP state-of-the-art reportsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 20 Call number: 681.9 NEU. Place hold Log in to add tags
			Mathematical Methods in Program development by Broy, Manfred \| Schieder,Brigit Eds. Series: NATO ASI series: F - Computer and systems sciences; 158Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 13 Call number: 681.9 BRO. Place hold Log in to add tags
			FST TCS 1991: Foundations of software technology and theoretical computer science: Proceedings, 11th conference, New Delhi by Biswas, S \| Nori,K.V. Eds. Series: Lecture notes in computer science ; 560Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer-Verlag ; 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (3). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic Methodology and Software Technology : 5th international conference; proceedings by Wirsing, Martin \| Nivat,Maurice Eds. Series: Lecture notes in computer science ; 01101Edition: 0Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Technology and Theoretical Computer Science, Proceedings of the 17th Conference, Kharagpur, India, 1997 by Ramesh, S. Ed \| Sivakumar, G. Ed. Series: Lecture notes in computer science ; 01346Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in computing science- ASIAN'97: Proceedings, 3rd Asian Computing Science conference by Shyamasundar,R.K \| Ueda, K. Eds. Series: Lecture notes in computer science ; 01345Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software technology and Theoretical computer science: Proceedings, 14t conference by Thiagarajan, P.S. Series: Lecture notes in computer science ; 00880Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			International symposium on theoretical programming by Ershov, Andrei Ed \| Nepomniaschy, Valery A. Series: Lecture notes in computer science ; 00005Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1974Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Nano-Optoelectronics: Concepts, Physics and Devices by Grundmann, M. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 2002; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 29 Call number: 535 GRU. Place hold Log in to add tags
			Algebraic Methodology and software technology: 4th international conference; proceedings by Alagar,V.S \| Nivat, Maurice Eds. Series: Lecture notes in computer science ; 00936Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Ergodic properties of Algebraic fields by Linnik, Yu. V. Series: Ergebnisse der Math. und ihrer Grenz.; band 45Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-verlag ; 1968Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:44 Call number: 519.23 LIN. Place hold Log in to add tags
			Graphs, Networks and Algorithms by Jungnickel, Dieter. Series: Algorithms and computation in Mathematics ; v.5Edition: English edn.Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DIE. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2455 results.