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

	5301.	Laser Speckle and Related Phenomena by J.C. Dainty. Series: Topics in Applied PhysicsEdition: 1975Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1975Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5302.	The Programming Language Ada by , Cii Honeywell Bull. Series: Lecture Notes in Computer ScienceEdition: 1980Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5303.	Nuclear Physics with Electromagnetic Interactions by H. Arenhövel, D. Drechsel. Series: Lecture Notes in PhysicsEdition: 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)
	5304.	Constrained Global Optimization: Algorithms and Applications by Panos M. Pardalos, J. Ben Rosen. 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)
	5305.	Spatio-Temporal Database Management by Michael H. Böhlen, Christian S. Jensen, Michel O. Scholl. 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)
	5306.	Laser Monitoring of the Atmosphere by E. D. Hinkley. Series: Topics in Applied 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)
	5307.	Translating Relational Queries into Iterative Programs by Johann C. Freytag. 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)
	5308.	Proceedings of the Europhysics Study Conference on Intermediate Processes in Nuclear Reactions by N. Cindro, P. Kulisic, T. Mayer-Kuckuk. 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)
	5309.	Graph-Theoretic Concepts in Computer Science by Gottfried Tinhofer, Gunther Schmidt. 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)
	5310.	Laser Spectroscopy VIII by Willy Persson, Sune Svanberg. Series: Springer Series in Optical SciencesEdition: 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)
	5311.	Parallel Virtual Machine - EuroPVM'96 by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam. 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)
	5312.	Typed Lambda Calculi and Applications by Mariangiola Dezani-Ciancaglini, Gordon Plotkin. 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)
	5313.	Computer Aided Verification by Gregor von Bochmann, David K. Probst. Series: Lecture Notes in Computer ScienceEdition: 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)
	5314.	Neutron Spin Echo by F. Mezei. Series: Lecture Notes in PhysicsEdition: 1980Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5315.	Parallel Problem Solving from Nature - PPSN IV by Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel, Hans-Michael Voigt. 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)
	5316.	Data Base Techniques for Pictorial Application by A. Blaser. Series: Lecture Notes in Computer ScienceEdition: 1980Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5317.	Holography and Deformation Analysis by W. Schumann, J.-P. Zürcher, D. Cuche. Series: Springer Series in Optical SciencesEdition: 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)
	5318.	Design and Implementation of Symbolic Computation Systems by Alfonso Miola. Series: Lecture Notes in Computer ScienceEdition: 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)
	5319.	Formal Hardware Verification by Thomas Kropf. 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)
	5320.	Integer Programming and Combinatorial Optimization by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne. 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.