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

	16681.	Using Sophisticated Models in Resolution Theorem Proving by David M. Sandford. 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)
	16682.	Canonical Gravity: From Classical to Quantum by Jürgen Ehlers, Helmut Friedrich. Series: Lecture Notes in PhysicsEdition: 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)
	16683.	Nonlinear Phenomena by K.B. Wolf. 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)
	16684.	Artificial Intelligence and Symbolic Computation by Jacques Calmet, Jan Plaza. 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)
	16685.	Computing and Combinatorics by Ding-Zhu Du, Ming Li. 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)
	16686.	The Partonic Structure of the Photon by Martin Erdmann. Series: Springer Tracts in Modern 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)
	16687.	Distributed Algorithms by Jan van Leeuwen. 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)
	16688.	Practical Aspects of Declarative Languages by Gopal Gupta. 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)
	16689.	Quark Matter ’84 by K. Kajantie. 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)
	16690.	Logic at Botik '89 by Albert R. Meyer, Michael A. Taitslin. 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)
	16691.	Qualitative and Quantitative Practical Reasoning by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach. 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)
	16692.	Combinatorial Pattern Matching by Maxime Crochemore, Mike Paterson. 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)
	16693.	Logics in AI by Jan van Eijck. 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)
	16694.	Multiagent Platforms by Toru Ishida. 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)
	16695.	Logical Aspects of Computational Linguistics by Christian Retore. 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)
	16696.	Electron Energy Loss Spectrometers by Harald Ibach. Series: Springer Series in Optical SciencesEdition: 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)
	16697.	Critical Phenomena by F. J. W. Hahne. 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)
	16698.	Artificial Evolution by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers. 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)
	16699.	Solid Electrolytes by S. Geller. Series: Topics in Applied 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)
	16700.	New Insights into the Universe by Vicent J. Martinez, Miguel Portilla, Diego Saez. Series: Lecture Notes in 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)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 18450 results.