Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=Provider:springer'

	16141.	Conditional and Typed Rewriting Systems by Nachum Dershowitz, Naomi Lindenstrauss. Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16142.	Concepts, Design, and Performance Analysis of a Parallel Prolog Machine by Joachim Beer. Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16143.	Nuclear Structure Physics by U. Smilansky, I. Talmi, H. A. Weidenmüller. Series: Lecture Notes in PhysicsEdition: 1973Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1973Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16144.	Matrix Eigensystem Routines - EISPACK Guide by B.T. Smith, J.M. Boyle, J.J. Dongarra, B.S. Garbow, Y. Ikebe, V.C. Klema, C.B. Moler. Series: Lecture Notes in Computer ScienceEdition: 2nd ed. 1976. 6th printing 2006Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1976Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16145.	Mobile Communications - Advanced Systems and Components by Christoph Günther. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16146.	UML'99 - The Unified Modeling Language: Beyond the Standard by Robert B. France, Bernhard Rumpe. Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16147.	Knowledge Acquisition, Modeling and Management by Rudi Studer. Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16148.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes by Shojiro Sakata. Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16149.	Heavy-Ion Collisions by G. Madurga, M. Lozano. Series: Lecture Notes in PhysicsEdition: 1982Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1982Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16150.	Directions in Human Factors for Interactive Systems by H. Ledgard, A. Singer, J. Whiteside. Series: Lecture Notes in Computer ScienceEdition: 1981Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1981Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16151.	Photoacoustic and Photothermal Phenomena II by John C. Murphy, Jane W. Maclachlan Spicer, Leonard C. Aamodt, Barrie S.H. Royce. Series: Springer Series in Optical SciencesEdition: 1990Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16152.	Forward Electron Ejection in Ion Collisions by K. O. Groeneveld, W. Meckbach, I. A. Sellin. Series: Lecture Notes in PhysicsEdition: 1984Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16153.	The Physics of the Quark-Gluon Plasma by Berndt Müller. Series: Lecture Notes in PhysicsEdition: 1985Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1985Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16154.	Logic Programming and Nonmonotonic Reasoning by Michael Gelfond, Nicole Leone, Gerald Pfeifer. Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16155.	Photon Photon Collisions by C. Berger. Series: Lecture Notes in PhysicsEdition: 1983Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1983Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16156.	Third International Conference on Logic Programming by Ehud Shapiro. Series: Lecture Notes in Computer ScienceEdition: 1986Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1986Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16157.	Temperature Dependent Thomas-Fermi Theory by J. Messer. Series: Lecture Notes in PhysicsEdition: 1981Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1981Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16158.	Field-Programmable Logic: Architectures, Synthesis and Applications by Reiner W. Hartenstein, Michal Z. Servit. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16159.	Database Programming Languages by Sophie Cluet, Rick Hull. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16160.	Languages and Compilers for Parallel Computing by David Sehr, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua. Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 18450 results.