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

	6481.	Computer Aided Verification by Nicolas Halbwachs, Doron Peled. 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)
	6482.	Spatial Information Theory A Theoretical Basis for GIS by Stephen C. Hirtle, Andrew U. Frank. 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)
	6483.	Evolutionary Image Analysis, Signal Processing and Telecommunications by Riccardo Poli, Hans-Michael Voigt, Stefano Cagnoni, David Corne, George D. Smith, Terence C. Fogarty. 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)
	6484.	Mathematical Structure of the Singularities at the Transitions Between Steady States in Hydrodynamic Systems by H.N. Shirer, R. Wells. 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)
	6485.	Object-Oriented Technology. ECOOP'99 Workshop Reader by Ana Moreira, Serge Demeyer. 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)
	6486.	Hybrid and Real-Time Systems by Oded Maler. 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)
	6487.	High Performance Transaction Systems by Dieter Gawlick, Mark Haynie, Andreas Reuter. 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)
	6488.	Complex Behaviour of Glassy Systems by Miguel Rubi, Conrado Perez-Vicente. Series: Lecture Notes in PhysicsEdition: 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)
	6489.	VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings by Soren Prehn, Hans Toetenel. 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)
	6490.	Visualization in Programming by Peter Gorny, Michael J. Tauber. Series: Lecture Notes in Computer ScienceEdition: 1987Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6491.	Rotating Objects and Relativistic Physics by F.J. Chinea, L.M. Gonzales-Romero. Series: Lecture Notes in PhysicsEdition: 1993Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6492.	Quasielastic Neutron Scattering for the Investigation of Diffusive Motions in Solids and Liquids by Tasso Springer. Series: Springer Tracts in Modern PhysicsEdition: 1972Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1972Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6493.	Constraint Databases and Applications by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6494.	X-Ray and Neutron Reflectivity: Principles and Applications by Jean Daillant, Alain Gibaud. Series: Lecture Notes in Physics MonographsEdition: 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)
	6495.	Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Applications by Peter Brusilovsky, Piet Kommers, Norbert Streitz. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6496.	Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science by Christian Freksa, David M. Mark. 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)
	6497.	Conditional and Typed Rewriting Systems by Stephane Kaplan, Mitsuhiro Okada. 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)
	6498.	Picture Processing and Digital Filtering by T.S. Huang. Series: Topics in Applied PhysicsEdition: 2nd ed. 1979Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1979Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6499.	Extensions of Logic Programming by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6500.	Current Induced Reactions by J. G. Körner, G. Kramer, D. Schildknecht. Series: Lecture Notes in PhysicsEdition: 1976Material 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7834 results.