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

	6241.	Partial-Order Methods for the Verification of Concurrent Systems by Patrice Godefroid. 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)
	6242.	Solid-State Physics Series: Springer Tracts in Modern 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)
	6243.	Types for Proofs and Programs by Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus. 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)
	6244.	Principles of Data Mining and Knowledge Discovery by Jan M. Zytkow, Mohamed Quafafou. 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)
	6245.	Nonmonotonic and Inductive Logic by Klaus P. Jantke, Peter H. Schmitt. 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)
	6246.	Stochastic Processes in Classical and Quantum Systems by Sergio Albeverio, G. Casati, D. Merlini. Series: Lecture Notes in PhysicsEdition: 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)
	6247.	Springer Tracts in Modern Physics by G. Höhler. 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)
	6248.	The Physics of Accretion onto Compact Objects by Keith O. Mason, Michael G. Watson, Nicolas E. White. Series: Lecture Notes in PhysicsEdition: 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)
	6249.	Cooperative Information Agents by Peter Kandzia, Matthias Klusch. 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)
	6250.	Parallel Algorithms for Irregularly Structured Problems by Alfonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang. 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)
	6251.	Local and Global Methods of Nonlinear Dynamics by A.W. Zachary Saenz, R. Cawley. Series: Lecture Notes in PhysicsEdition: 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)
	6252.	Simulated Evolution and Learning by Bob McKay, Xin Yao, Charles S. Newton, Jong-Hwan Kim, Takeshi Furuhashi. 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)
	6253.	Nuclear Interactions by B.A. Robson. 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)
	6254.	Quantum Gravity, Quantum Cosmology and Lorentzian Geometries by Giampiero Esposito. Series: Lecture Notes in Physics MonographsEdition: 1992Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6255.	Distributed Algorithms by Gerard Tel, Paul Vitanyi. 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)
	6256.	Information Processing in Medical Imaging by James Duncan, Gene Gindi. 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)
	6257.	Solving Combinatorial Optimization Problems in Parallel Methods and Techniques by Alfonso Ferreira, Panos Pardalos. 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)
	6258.	Lectures on Embedded Systems by Grzegorz Rozenberg, Frits W. Vaandrager. 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)
	6259.	KORSO: Methods, Languages, and Tools for the Construction of Correct Software by Manfred Broy, Stefan Jähnichen. 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)
	6260.	Practice and Theory of Automated Timetabling by Edmund Burke, Peter Ross. 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7834 results.