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

	4421.	Hydrogen in Intermetallic Compounds II by Louis Schlapbach. 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)
	4422.	An Optimized Translation Process and Its Application to ALGOL 68 by P. Branquart, J.-P. Cardinael, J.-P. Delescaille, J. Lewi, M. Vanbegin, P.B. Hansen. Series: Lecture Notes in Computer ScienceEdition: 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)
	4423.	Computer Aided Verification by Pierre Wolper. 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)
	4424.	Density Functionals: Theory and Applications by Daniel Joubert. 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)
	4425.	X-Ray Spectroscopy in Astrophysics by Jan van Paradijs, Johan A.M. Bleeker. Series: Lecture Notes in PhysicsEdition: 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)
	4426.	Translation Group and Particle Representations in Quantum Field Theory by Hans-Jürgen Borchers. Series: Lecture Notes in Physics MonographsEdition: 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)
	4427.	Uncertainty in Knowledge Bases by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh. 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)
	4428.	Logic Program Synthesis and Transformation - Meta-Programming in Logic by Laurent Fribourg, Franco Turini. 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)
	4429.	White Dwarfs by Detlev Koester, Klaus Werner. 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)
	4430.	Photoemission in Solids I by M. Cardona, L. Ley. Series: Topics in Applied PhysicsEdition: 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)
	4431.	Software Engineering and Human-Computer Interaction by Richard N. Taylor, Joelle Coutaz. 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)
	4432.	Semiclassical Theory of Atoms by Berthold-G. Englert. Series: Lecture Notes in PhysicsEdition: 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)
	4433.	Operating Systems of the 90s and Beyond by Arthur Karshmer, Jürgen Nehmer. 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)
	4434.	Rewriting Techniques and Applications by Pierre Lescanne. 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)
	4435.	FME '94: Industrial Benefit of Formal Methods by Maurice Naftalin, Tim Denvir, Miquel Bertran. 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)
	4436.	ESEC '91 by Axel van Lamsweerde, Alfonso Fuggetta. 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)
	4437.	Generalized Quantifiers and Computation by Jouko Väänänen. 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)
	4438.	Financial Cryptography by Rafael Hirschfeld. 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)
	4439.	Visual Information Systems by Clement Leung. 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)
	4440.	Non-Linear Equations in Classical and Quantum Field Theory by Norma Sanchez. Series: Lecture Notes in PhysicsEdition: 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7834 results.