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

	6041.	Constraint Programming: Basics and Trends by Andreas Podelski. 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)
	6042.	Fermi Surfaces of Low-Dimensional Organic Metals and Superconductors by Joachim Wosnitza. Series: Springer Tracts in Modern PhysicsEdition: 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)
	6043.	Interaction of Gases with Surfaces by Alexander V. Bogdanov, German V. Dubrovskiy, Michael P. Krutikov, Dmitry V. Kulginov, Victor M. Strelchenya. Series: Lecture Notes in Physics MonographsEdition: 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)
	6044.	Evolutionary Robotics by Philip Husbands, Jean-Arcady Meyer. 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)
	6045.	Ultrashort Light Pulses by S.L. Shapiro. Series: Topics in Applied PhysicsEdition: 2nd ed. 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)
	6046.	High Performance Computing - HiPC'99 by Prith Banerjee, Viktor K. Prasanna, Bhabani P. Sinha. 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)
	6047.	Mathematical Foundations of Computer Science 1992 by Ivan M. Havel, Vaclav Koubek. Series: Lecture Notes in Computer ScienceEdition: 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)
	6048.	Detection of Optical and Infrared Radiation by R. H. Kingston. Series: Springer Series in Optical SciencesEdition: 1978Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1978Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6049.	Geometry and Robotics by Jean-Daniel Boissonnat, Jean-Paul Laumond. 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)
	6050.	Theorem Proving in Higher Order Logics by Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery. 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)
	6051.	Physical Processes in Astrophysics by Ian W. Roxburgh, Jean-Louis Masnou. Series: Lecture Notes in PhysicsEdition: 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)
	6052.	Formal Techniques in Real-Time and Fault-Tolerant Systems by Bengt Jonsson, Joachim Parrow. 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)
	6053.	Logic of Programs by E. Engeler. 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)
	6054.	Laser-Induced Dynamic Gratings by Hans Joachim Eichler, Peter Günter, Dieter W. Pohl. Series: Springer Series in Optical SciencesEdition: 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)
	6055.	Programming Languages and Systems by Chris Hankin. 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)
	6056.	Conceptual Modeling ER'99 by Jacky Akoka, Mokrane Bouzeghoub, Isabelle Comyn-Wattiau, Elisabeth Metais. 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)
	6057.	Cooperative Buildings. Integrating Information, Organizations, and Architecture by Norbert Streitz, Jane Siegel, Volker Hartkopf, Shinichi Konomi. 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)
	6058.	Static Analysis by Agostino Cortesi, Gilberto File. 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)
	6059.	Uncertainty in Knowledge-Based Systems by Bernadette Bouchon, Ronald R. Yager. 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)
	6060.	ICDT '88 by Marc Gyssens, Jan Paredaens, Dirk Van Gucht. Series: Lecture Notes in Computer ScienceEdition: 1988Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1988Online 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.