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

	16281.	Proceedings of the Fourth International Conference on Numerical Methods in Fluid Dynamics by R.D. Richtmyer. Series: Lecture Notes in 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)
	16282.	Recent Trends in Algebraic Development Techniques by Jose L. Fiadeiro. 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)
	16283.	Foundations of Knowledge Representation and Reasoning by Gerhard Lakemeyer, Bernhard Nebel. 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)
	16284.	Automated Deduction — CADE-12 by Alan Bundy. 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)
	16285.	Integrable Models and Strings by Anton Alekseev, Antero Hietamäki, Katri Huitu, Alexei Morozov, Antti Niemi. 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)
	16286.	Closed Object Boundaries from Scattered Points by Remco C. Veltkamp. 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)
	16287.	Artificial Social Systems by Cristiano Castelfranchi, Eric Werner. 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)
	16288.	Synthesizing Synchronous Systems by Static Scheduling in Space-Time by Björn Lisper. 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)
	16289.	Foundations and Tools for Neural Modeling by Jose Mira, Juan V. Sanchez-Andres. 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)
	16290.	Polynomial Approximation of Differential Equations by Daniele Funaro. Series: Lecture Notes in Physics MonographsEdition: 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)
	16291.	The Generic Development Language Deva by Matthias Weber, Martin Simons, Christine Lafontaine. 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)
	16292.	Bounded Incremental Computation by G. Ramalingam. 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)
	16293.	Computer Science Logic by Georg Gottlob, Etienne Grandjean, Katrin Seyr. 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)
	16294.	Display Devices by J.I. Pankove. Series: Topics in Applied 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)
	16295.	Fiber Bundle Techniques in Gauge Theories by W. Drechsler, M.E. Mayer, A. Böhm, J.D. Dollard. 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)
	16296.	Constraint Processing by Manfred Meyer. 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)
	16297.	Photon-Hadron Interactions II by Gerhard Höhler, Atsushi Fujimori, Johann Kühn, Thomas Müller, Frank Steiner, William C. Stwalley, Joachim E. Trümper, Peter Wölfle, Ulrike Woggon. Series: Springer Tracts in Modern PhysicsEdition: 1972Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1972Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16298.	SOFSEM '97: Theory and Practice of Informatics by Frantisek Plasil, Keith G. Jeffery. 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)
	16299.	Artificial Intelligence Today by Michael J. Wooldridge, Manuela Veloso. 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)
	16300.	MFDBS 89 by Janos Demetrovics, Bernhard Thalheim. 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)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 18450 results.