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

	6181.	Parallel Computing 1988 by Gerrit A. van Zee, Johannes G.G. van de Vorst. 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)
	6182.	Languages and Compilers for Parallel Computing by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua. Series: Lecture Notes in Computer ScienceEdition: 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)
	6183.	Hybrid Systems IV by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry. 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)
	6184.	Fuzzy Logic, Neural Networks, and Evolutionary Computation by Takeshi Furuhashi, Yoshiki Uchikawa. 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)
	6185.	The Problem of Incomplete Information in Relational Databases by Gösta Grahne. 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)
	6186.	Symposium on Meson-, Photo-, and Electroproduction at Low and Intermediate Energies 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: 1971Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1971Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6187.	X-Ray Optics by H.-T. Queisser. 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)
	6188.	Information Theory and Applications II by Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver. 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)
	6189.	Systems of Reductions by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter. 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)
	6190.	Handbook of Nonlinear Optical Crystals by Valentin G. Dmitriev, Gagik G. Gurzadyan, David N. Nikogosyan. Series: Springer Series in Optical SciencesEdition: 3rd ed. 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)
	6191.	Theorem Proving in Higher Order Logics by Jim Grundy, Malcolm Newey. 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)
	6192.	Molecular Dynamics by William G. Hoover. Series: Lecture Notes in PhysicsEdition: 1986Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1986Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6193.	Compositionality, Concurrency, and Partial Correctness by Job Zwiers. 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)
	6194.	Live Data Structures in Logic Programs by Anne Mulkers. 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)
	6195.	Femtosecond Real-Time Spectroscopy of Small Molecules and Clusters by Elmar Schreiber. Series: Springer Tracts in Modern 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)
	6196.	FME '93: Industrial-Strength Formal Methods by James C.P. Woodcock, Peter G. Larsen. 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)
	6197.	Programming Languages and System Architectures by Jürg Gutknecht. 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)
	6198.	Graph-Theoretic Concepts in Computer Science by Juraj Hromkovič, Ondrej Sykora. 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)
	6199.	Mobile Agents by Kurt Rothermel, Radu Popescu-Zeletin. 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)
	6200.	Software Engineering - ESEC '95 by Wilhelm Schäfer, Pere Botella. 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7834 results.