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

	16901.	Database and Expert Systems Applications by Vladimir Marik, Jiri Lazansky, Roland Wagner. 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)
	16902.	Surface Scattering Experiments with Conduction Electrons by Dieter Schumacher. Series: Springer Tracts in Modern 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)
	16903.	Mathematical Foundations of Programming Semantics by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. 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)
	16904.	Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg. 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)
	16905.	Computer Science Logic by Jörg Flum, Mario Rodriguez-Artalejo. 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)
	16906.	Photonuclear Reactions II by S. Costa, C. Schaerf. Series: Lecture Notes in 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)
	16907.	Solutions of Einstein’s Equations: Techniques and Results by C. Hoenselaers, W. Dietz. 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)
	16908.	Internet Programming Languages by Henri E. Bal, Boumediened Belkhouche, Luca Cardelli. 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)
	16909.	Database and Expert Systems Applications by Trevor Bench-Capon, Giovanni Soda, A Min Tjoa. 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)
	16910.	Rewriting Techniques and Applications by Harald Ganzinger. 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)
	16911.	Studies of Software Design by David Alex Lamb. 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)
	16912.	Stochastic Variational Approach to Quantum-Mechanical Few-Body Problems by Yasuyuki Suzuki, Kalman Varga. Series: Lecture Notes in Physics MonographsEdition: 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)
	16913.	Computer-Aided Production Management by Asbjorn Rolstadas. Series: IFIP State-of-the-Art ReportsEdition: 1988Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1988Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	16914.	Parallel Algorithms for Irregularly Structured Problems by Afonso Ferreira, Jose Rolim. 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)
	16915.	Distributed Memory Computing by Arndt Bode. 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)
	16916.	ANNA A Language for Annotating Ada Programs by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe. 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)
	16917.	Lectures on Geometric Quantization by D.J. Simms, N.M.J. Woodhouse. 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)
	16918.	Foundations of Software Technology and Theoretical Computer Science by Vijay Chandru, V. Vinay. 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)
	16919.	SOFSEM '96: Theory and Practice of Informatics by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek. 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)
	16920.	Fast Software Encryption by Dieter Gollmann. 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)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 18450 results.