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

	16181.	P-Functions and Boolean Matrix Factorization by A. Thayse. Series: Lecture Notes in Computer ScienceEdition: 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)
	16182.	Efficient Graph Rewriting and Its Implementation by Heiko Dörr. 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)
	16183.	Logic Program Synthesis and Transformation by Norbert E. Fuchs. 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)
	16184.	The Rigged Hilbert Space and Quantum Mechanics by A. Böhm, A. Böhm, J.D. Dollard. 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)
	16185.	Programming Languages: Implementations, Logics and Programs by Manuel Hermenegildo, S.Doaitse Swierstra. 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)
	16186.	Extensions of Logic Programming by Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister. 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)
	16187.	Central Activity in Galaxies by Aage Sandqvist, Thomas P. Ray. Series: Lecture Notes in PhysicsEdition: 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)
	16188.	Automated Deduction - CADE-11 by Deepak Kapur. 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)
	16189.	Projection Operator Techniques in Nonequilibrium Statistical Mechanics by H. Grabert. Series: Springer Tracts in Modern 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)
	16190.	Efficient Visual Recognition Using the Hausdorff Distance by William Rucklidge. 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)
	16191.	Semantics: Foundations and Applications by J.W.de Bakker, W.-P.de Roever, G. Rozenberg. 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)
	16192.	Functional Programming Languages and Computer Architecture by Jean-Pierre Jouannaud. Series: Lecture Notes in Computer ScienceEdition: 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)
	16193.	Network and Operating Systems Support for Digital Audio and Video by Thomas D.C. Little, Riccardo Gusella. 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)
	16194.	PARLE Parallel Architectures and Languages Europe by Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven. 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)
	16195.	Euro-Par '96 - Parallel Processing by Luc Bouge, Pierre Fraigniaud, Anne Mignotte, Yves Robert. 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)
	16196.	Electrodynamics of the Semiconductor Band Edge by Arne Stahl, Ivar Balslev. Series: Springer Tracts in Modern PhysicsEdition: 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)
	16197.	Logical Foundations of Computer Science - Tver '92 by Anil Nerode, Mikhail Taitslin. 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)
	16198.	Exactly Solvable Problems in Condensed Matter and Relativistic Field Theory by Sriram B. Shastry, Sudhanshu S. Jha, Virendra Singh. 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)
	16199.	Formal Models of Agents by John-Jules C. Meyer, Pierre-Yves Schobbens. 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)
	16200.	The Munich Project CIP Series: Lecture Notes in Computer ScienceEdition: 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)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 18450 results.