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

	16661.	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)
	16662.	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)
	16663.	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)
	16664.	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)
	16665.	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)
	16666.	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)
	16667.	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)
	16668.	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)
	16669.	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)
	16670.	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)
	16671.	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)
	16672.	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)
	16673.	Progress in Artificial Intelligence by Pedro Barahona, Jose J. Alferes. 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)
	16674.	Correct Hardware Design and Verification Methods by George J. Milne, Laurence Pierre. 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)
	16675.	Parallel Algorithms and Architectures by Andreas Albrecht, Hermann Jung, Kurt Mehlhorn. 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)
	16676.	Biological and Artificial Computation: From Neuroscience to Technology by Jose Mira, Roberto Moreno-Diaz, Joan Cabestany. 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)
	16677.	Symmetry of Polycentric Systems by G. Fieck. 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)
	16678.	Computing and Combinatorics by Tao Jiang, D.T. Lee. 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)
	16679.	A Renormalization Group Analysis of the Hierarchical Model in Statistical Mechanics by P. Collet, J.-P. Eckmann. 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)
	16680.	Density-Matrix Renormalization - A New Numerical Method in Physics by Ingo Peschel, Xiaoqun Wang, Matthias Kaulke, Karen Hallberg. 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)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 18450 results.