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

	4721.	Parallel Execution of Logic Programs by Anthony Beaumont, Gopal Gupta. 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)
	4722.	PDEs and Continuum Models of Phase Transitions by Michel Rascle, Denis Serre, Marshall Slemrod. Series: Lecture Notes in PhysicsEdition: 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)
	4723.	CSL '89 by Egon Börger, Hans Kleine Büning, Michael M. Richter. Series: Lecture Notes in Computer ScienceEdition: 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)
	4724.	Theoretical and Practical Aspects of SPIN Model Checking by Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek. 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)
	4725.	Frontiers of Particle Beams: Intensity Limitations by M. Dienes, M. Month, S. Turner. Series: Lecture Notes in PhysicsEdition: 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)
	4726.	Principles and Practice of Constraint Programming by Alan Borning. 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)
	4727.	RIMS Symposium on Software Science and Engineering by E. Goto, K. Furukawa, R. Nakajima, I. Nakata, A. Yonezawa. Series: Lecture Notes in Computer ScienceEdition: 1983Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1983Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4728.	Software Configuration Management by Reidar Conradi. 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)
	4729.	How to Multiply Matrices Faster by V. Pan. 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)
	4730.	Symmetry and Perturbation Theory in Nonlinear Dynamics by Giampaolo Cicogna, Guiseppe Gaeta. Series: Lecture Notes in Physics MonographsEdition: 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)
	4731.	Quantum Chromodynamics by J.L. Alonso, R. Tarrach. Series: Lecture Notes in 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)
	4732.	Edinburgh LCF by M. Gordon, R. Milner, C.P. Wadsworth. Series: Lecture Notes in Computer ScienceEdition: 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)
	4733.	Term Rewriting by Hubert Comon, Jean-Pierre Jouannaud. 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)
	4734.	Parallel Problem Solving from Nature - PPSN V by Agoston E. Eiben, Thomas Bäck, Marc Schoenauer, Hans-Paul Schwefel. 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)
	4735.	Lectures on the Complexity of Bilinear Problems by Hans F. de Groote. 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)
	4736.	Towards Evolvable Hardware by Eduardo Sanchez, Marco Tomassini. 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)
	4737.	Languages and Compilers for Parallel Computing by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua. 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)
	4738.	Job Scheduling Strategies for Parallel Processing by Dror G. Feitelson, Larry Rudolph. 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)
	4739.	Critical Phenomena by J. Brey, R.B. Jones. Series: Lecture Notes in PhysicsEdition: 1976Material 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)
	4740.	Symbolic and Algebraic Computation by E.W. Ng. Series: Lecture Notes in Computer ScienceEdition: 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7834 results.