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

	14761.	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)
	14762.	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)
	14763.	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)
	14764.	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)
	14765.	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)
	14766.	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)
	14767.	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)
	14768.	Automata, Languages and Programming by Javier Leach Albert, Burkhard Monien, Mario Rodriguez Artalejo. 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)
	14769.	BL Lac Objects by Laura Maraschi, Tommaso Maccacaro, Marie-Helene Ulrich. 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)
	14770.	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)
	14771.	Category Theory and Computer Science by David Pitt, David E. Rydeheard, Peter Johnstone. 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)
	14772.	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)
	14773.	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)
	14774.	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)
	14775.	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)
	14776.	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)
	14777.	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)
	14778.	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)
	14779.	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)
	14780.	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)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 18450 results.