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

	5161.	Formal Methods in Computer-Aided Design by Ganesh Gopalakrishnan, Phillip Windley. 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)
	5162.	Low Magnetic Fields in Anisotropic Superconductors by Allan J. Greer, William J. Kossler. 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)
	5163.	Fifteenth International Conference on Numerical Methods in Fluid Dynamics by Paul Kutler, Jolen Flores, Jean-Jacques Chattot. 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)
	5164.	Unoccupied Electronic States by John C. Fuggle, John E. Inglesfield. Series: Topics in Applied PhysicsEdition: 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)
	5165.	The Local Bubble and Beyond by Dieter Breitschwerdt, Michael J. Freyberg, Joachim Trümper. Series: Lecture Notes in PhysicsEdition: 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)
	5166.	Trends in Distributed Systems: CORBA and Beyond by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer. 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)
	5167.	Static Analysis by Giorgio Levi. 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)
	5168.	Recent Advances in Parallel Virtual Machine and Message Passing Interface by Vassil Alexandrov, Jack Dongarra. 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)
	5169.	Introduction to the Theory of Metastable and Unstable States by J. D. Gunton, M. Droz. 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)
	5170.	VLSI Algorithms and Architectures by Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis. 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)
	5171.	Formal Methods in Computer-Aided Design by Mandayam Srivas, Albert Camilleri. 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)
	5172.	Interactive Distributed Multimedia Systems and Telecommunication Services by Michel Diaz, Philippe Owezarski, Patrick Senac. 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)
	5173.	Numerical Combustion by Alain Dervieux, Bernard Larrouturou. Series: Lecture Notes in PhysicsEdition: 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)
	5174.	Recent Trends in Data Type Specification by Egidio Astesiano, Gianna Reggio. 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)
	5175.	CONCUR '91 by Jos C.M. Baeten, Jan F. Groote. 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)
	5176.	Supercomputing by Elias N. Houstis, Theodore S. Papatheodorou, Constantine D. Polychronopoulos. 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)
	5177.	From Quantum Mechanics to Technology by Zygmunt Petru, Jerzy Przystawa, Krzysztof Rapcewicz. Series: Lecture Notes in 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)
	5178.	Photonuclear Reactions I by S. Costa, C. Schaerf. Series: Lecture Notes in PhysicsEdition: 1977Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1977Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5179.	Foundations of Logic and Functional Programming by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi. 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)
	5180.	Static Analysis by Radhia Cousot, David A. Schmidt. 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.