Results of search for 'ccl=Provider:Springer-Verlag and holdingbranch:IISC'

Results
	381.	Coloured petri nets basic concepts, analysis, methods and practical use - V.1 by Kurt Jensen by Jensen, Kurt Series: EATCS Monographs on Theoretical Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N921.1. Place hold
	382.	Temporal logic of reactive and concurrent systems specifications by Zohar Manna, Amir Pnueli by Manna, Zohar Pnueli, Amir Material type: Text Publication details: New York Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N92;2. Place hold
	383.	Stochastic processes ed. by Stamatics Camanis [et al] by Festschrift in honour of gopinath kallianpur Material type: Text Publication details: New York Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.2 N931;1.
	384.	Enzyme handbook V.3 & V.5 ed. by Dietmar Schomburg, Margit Salzmann. by Schomburg, Dietmar., ed Salzman, Margit., ed Series: Gesellschaft Biotechnologische Forschung Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (3)Call number: 574.1925 N901.3&5 "R", ...
	385.	Specification and analysis of concurrent systems COSY approach ed. by Ryszard Janicki, Peter E. Lauer by Janicki, Ryszard Lauer, Peter E Series: EATCS Monographs on Theoretical Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N924.
	386.	Unified approach to interior point algorithms for linear complementarity problems by M. Kojima [et al] by Kojima, K.[et al] Series: Lecture notes in computer science 538 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7202855 N91.
	387.	Past, present, parallel a survey of available parallel computing systems ed. by Arthur Trew, Greg Wilson by Wilson, Greg., ed Trew, Arthur., ed Material type: Text Publication details: New York Springer-Verlag 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 N9110. Place hold
	388.	On object-oriented databaase systems ed. by Klaus R. Dittrich , Umeshwar Dayal and Alejandro P. Buchmann by Dittrich, Klaus R.,ed Dayal, Umeshwar.,ed Buchmann, Alejandro P.,ed Series: Topics in information systems Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.75 N912.
	389.	Topics in current chemistry; V.164 Organic perooxigen chemistry ed. by W. A. Herrmann by Herrmann, W. A., ed Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 540.8 N60.164 "SER".
	390.	Topics in current chemistry; V.165 Supramolecular chemistry I - Directed synthesis & molecular recognition ed. by E. W. Weber by Weber, E. W., ed Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 540.8 N60.165 "SER".
	391.	Small ring compounds in organic synthesis IV / by De Meijere, A Series: Topics in current chemistry ; 155 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, © 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 540.8 SMA. Place hold
	392.	Specifying message passing and time-critical systems with temporal logic by Ron Koymans by Koymans, Ron Series: Lecture notes in computer science ; 651 Material type: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.66015113 N92.
	393.	Harmonic function theory by Sheldon Axler, Paul Bourdon, Wade Ramey by Axler, Sheldon Bourdon, Paul Ramey, Wade Series: Graduate Texts in Mathematics ; 137 Material type: Text Publication details: New York Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 515.53 N92;1. Place hold
	394.	Measure, topology and fractal geometry by Gerald A.Edgar by Edgar, Gerald A Series: Undergraduate Texts in Mathematics Material type: Text Publication details: New York Springer-Verlag 1990 Availability: Not available: JRD Tata Memorial Library: Checked out (1). Place hold
	395.	Groups and symmetry by M.A.Armstrong by Armstrong, M.A Series: Undergraduate Texts in Mathematics Material type: Text Publication details: New York Springer-Verlag 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.2 N88. Place hold
	396.	Computational graph theory ed. by G. Tinhofer[et al] by Tinhofer, G.[et al], ed Series: Computing supplementum 7 Material type: Text Publication details: Wien Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.60151 N90. Place hold
	397.	Numerical solution of stochastic differential equations by Peter E.Kloeden, Eckhard Platen by Kloeden, Peter E Platen, Eckhard Series: Applications of mathematics Material type: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 N924;1. Place hold
	398.	Topics in current chemistry; V.167 Marine natural products- Diversity and biosynthesis ed. by M. J. S. Dewar et al. by Dewar, M. J. S., ed Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 540.8 N60.167 "SER".
	399.	Idiots fugitive essays on science methods, criticism, training, circumstances by C. Truesdell. by Truesdell, C Material type: Text Publication details: New York Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 500 N841;1. Place hold
	400.	Introduction to partial differential equations by Michael Renardy, Robert C.Rogers by Renardy, Michael Rogers, Robert C Series: Texts in Applied Mathematics Material type: Text Publication details: New York Springer-Verlag 1993 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 515.353 N93. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 6761 results.