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

	5701.	Reasoning with Uncertainty in Robotics by Leo Dorst, Michiel van Lambalgen, Frans Voorbraak. 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)
	5702.	Information Systems and Artificial Intelligence: Integration Aspects by Dimitris Karagiannis. 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)
	5703.	Logic Programming '89 by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki. 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)
	5704.	STACS 87 by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing. 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)
	5705.	Partial Evaluation: Practice and Theory by John Hatcliff, Torben Mogensen, Peter Thiemann. 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)
	5706.	Few Body Systems and Nuclear Forces II by H. Zingl, M. Haftel, H. Zankel. Series: Lecture Notes in 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)
	5707.	Color Theory and Its Application in Art and Design by George A. Agoston. Series: Springer Series in Optical SciencesEdition: 1979Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1979Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5708.	Conditional and Typed Rewriting Systems by Nachum Dershowitz, Naomi Lindenstrauss. 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)
	5709.	Concepts, Design, and Performance Analysis of a Parallel Prolog Machine by Joachim Beer. 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)
	5710.	Nuclear Structure Physics by U. Smilansky, I. Talmi, H. A. Weidenmüller. Series: Lecture Notes in PhysicsEdition: 1973Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1973Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5711.	Matrix Eigensystem Routines - EISPACK Guide by B.T. Smith, J.M. Boyle, J.J. Dongarra, B.S. Garbow, Y. Ikebe, V.C. Klema, C.B. Moler. Series: Lecture Notes in Computer ScienceEdition: 2nd ed. 1976. 6th printing 2006Material 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)
	5712.	Mobile Communications - Advanced Systems and Components by Christoph Günther. 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)
	5713.	UML'99 - The Unified Modeling Language: Beyond the Standard by Robert B. France, Bernhard Rumpe. 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)
	5714.	Knowledge Acquisition, Modeling and Management by Rudi Studer. 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)
	5715.	Heavy-Ion Collisions by G. Madurga, M. Lozano. Series: Lecture Notes in PhysicsEdition: 1982Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1982Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5716.	Directions in Human Factors for Interactive Systems by H. Ledgard, A. Singer, J. Whiteside. Series: Lecture Notes in Computer ScienceEdition: 1981Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1981Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5717.	Photoacoustic and Photothermal Phenomena II by John C. Murphy, Jane W. Maclachlan Spicer, Leonard C. Aamodt, Barrie S.H. Royce. Series: Springer Series in Optical SciencesEdition: 1990Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5718.	Forward Electron Ejection in Ion Collisions by K. O. Groeneveld, W. Meckbach, I. A. Sellin. Series: Lecture Notes in PhysicsEdition: 1984Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5719.	The Physics of the Quark-Gluon Plasma by Berndt Müller. 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)
	5720.	Logic Programming and Nonmonotonic Reasoning by Michael Gelfond, Nicole Leone, Gerald Pfeifer. 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

Item types

Series

Topics

Your search returned 7834 results.