IMSc Library

Lists
Public lists New Arrivals (03 July, 2024) New Arrivals (20 June, 2024) New Arrivals (01 June, 2024) New Arrivals (01 June 2024) Books on Exhibit - John Von Neumann New Arrivals (16 May 2024) New Arrivals (01 May 2024) New Arrivals (16 April 2024) New Arrivals (06 June 2022) New Arrivals (01 April 2024) View All
Your lists Log in to create your own lists

Log in to your account
Search history
Clear

+91-44-22543226
library@imsc.res.in

Navigation ▾

Home
About Library ▾ ▾
Library Use Policies
Floor Plans
Library User Guides
Dspace@IMSc
Purchase Suggestions
Library Events
Contact us
IMSc Website

Search :

Advanced Search

Advanced search
Tag cloud
Libraries

Log in to your account

Login: Password:

Please use your IMSc email user id and password to Login

Home
Results of search for 'ccl=Provider:Springer-Verlag and itype:BK'

Refine your search

Availability
- Limit to currently available items
Authors
Holding libraries
- IMSc Library
Item types
- BOOKS
Series
Topics

Your search returned 2412 results.

Not what you expected? Check for suggestions

First
Previous
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
Next
Last

Sort by:

Unhighlight Highlight

| |

			Parallel Lisp: Languages and Systems Proceedings, US/Japan Workshop, Japan, 1989 by Ito, T. Ed \| Halstead, R H. Jr. Ed. Series: Lecture notes in computer science ; 00441Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Concurrency Control Problem for Database Systems by Casanova, Marco Antonio. Series: Lecture notes in computer science ; 00116Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Analytical Description of CHILL, the CCITT High Level Language by Branquart, Paul \| Louis, Georges \| Wodon, Pierre. Series: Lecture notes in computer science ; 00128Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: 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
			Alternating Sequential/Parallel Processing by Wallach, Y. Series: Lecture notes in computer science ; 00127Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: 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
			Logic of Programs Proceedings, Workshop, ETH Zurich, 1979 by Engeler, Erwin. Ed. Series: Lecture notes in computer science ; 00125Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Y12M (Solution of large and sparse systems of linear algebraic equations documentation of subroutines) by Zlatev, Zahari \| Wasniewski, Jerzy \| Schaumburg, Kjeld. Series: Lecture notes in computer science ; 00121Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Fundamentals of Computation Theory Proceedings, Int.Conf., Poland, 1977 by Karpinski, Marek. Ed. Series: Lecture notes in computer science ; 00056Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1977Availability: 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
			Analogical and Inductive Inference. Proceedings, Inter.Workshop All '86, GDR, 1986 by Jantke, K P. Ed. Series: Lecture notes in computer science ; 00265Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Fifth Colloquium, Italy, 1978 by Ausiello, G. Ed \| Bohm, C. Ed. Series: Lecture notes in computer science ; 00062Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: 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
			Fundamentals of Computation Theory Proceedings, Inter.FCT-Conf., Hungary, 1981 by Gecseg, Ferenc. Ed. Series: Lecture notes in computer science ; 00117Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Introduction to the PL/CV2 Programming Logic by Constable, R L \| Johnson, S D \| Eichenlaub, C D. Series: Lecture notes in computer science ; 00135Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: 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
			Operating Systems Engineering Proceedings, 14th IBM CS Symp., Japan, 1980 by Maekawa, M. Ed \| Belady, L A. Ed. Series: Lecture notes in computer science ; 00143Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: 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
			Verifying Concurrent Processes Using Temporal Logic by Hailpern, Brent T. Series: Lecture notes in computer science ; 00129Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: 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
			Automatic Differentiation: Techniques and Applications by Rall, Louis B. Series: Lecture notes in computer science ; 00120Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Program Specification Proceedings, Workshop, Denmark, 1981 by Staunstrup, J. Ed. Series: Lecture notes in computer science ; 00134Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: 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
			EUROCAM' 82 European Computer Algebra Conf., France, 1982 by Calmet, Jacques. Ed. Series: Lecture notes in computer science ; 00144Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: 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
			Mathematical Foundations of Computer Science, 1981 Proceedings, 10th Symposium, Czechoslovakia, 1981 by Gruska, J. Ed \| Chytil, M. Ed. Series: Lecture notes in computer science ; 00118Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: 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
			Classical Decision Problem by Borger, Egon \| Gradel, Erich \| Gurevich, Yuri. Series: Perspectives in Mathematical LogicMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 45 Call number: 510.5 BOR. Place hold Log in to add tags
			Number Theory New York Seminar, 1991-1995 by Chudnovsky, D V. Ed \| Chudnovsky, G V. Ed \| Nathanson, M B. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 16 Call number: 511 CHU. Place hold Log in to add tags

First
Previous
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
Next
Last

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha