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

			Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001 by Kobayashi, Naoki. Ed \| Pierce, Benjamin C. Ed. Series: Lecture notes in computer science ; 02215Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 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
			Structures in concurrency theory: Proceedings, international workshop, Berlin, May 1995 by Desel, Jorg Ed. Series: Workshops in computingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DES. 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
			Groups and Representations by Alperin, J.L \| Bell, Rowen B. Series: Graduate texts in mathematics ; 0162Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 34 Call number: 512.542 ALP. Place hold Log in to add tags
			Representation theory and noncommutative harmonic analysis I : fundamental concepts. Representation of Virasoro and Affine Algebras by Kirillov, A.A. Ed. Series: Encyclopaedia of mathematical sciences ; 00022Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1994Availability: 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
			Representation Theory and noncommutative Harmonic AnalysisII : Homogeneous Spaces, Representations and Special functions by Kirillov, A.A. Ed. Series: Encyclopaedia of mathematical sciences ; 00059Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 9, Shelf No: 4 Call number: 51(02) EMS. Place hold Log in to add tags

			Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001 by Kobayashi, Naoki. Ed \| Pierce, Benjamin C. Ed. Series: Lecture notes in computer science ; 02215Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 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
			Structures in concurrency theory: Proceedings, international workshop, Berlin, May 1995 by Desel, Jorg Ed. Series: Workshops in computingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DES. 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
			Groups and Representations by Alperin, J.L \| Bell, Rowen B. Series: Graduate texts in mathematics ; 0162Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 34 Call number: 512.542 ALP. Place hold Log in to add tags
			Representation theory and noncommutative harmonic analysis I : fundamental concepts. Representation of Virasoro and Affine Algebras by Kirillov, A.A. Ed. Series: Encyclopaedia of mathematical sciences ; 00022Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1994Availability: 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
			Representation Theory and noncommutative Harmonic AnalysisII : Homogeneous Spaces, Representations and Special functions by Kirillov, A.A. Ed. Series: Encyclopaedia of mathematical sciences ; 00059Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 9, Shelf No: 4 Call number: 51(02) EMS. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 18639 results.