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

	5441.	Laser Physics by J. D. Harvey, D. F. Walls. Series: Lecture Notes in PhysicsEdition: 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)
	5442.	Tools and Algorithms for the Construction of Analysis of Systems by W. Rance Cleaveland. 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)
	5443.	Disconnected Operation in a Distributed File System by James J. Kistler. 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)
	5444.	Design and Implementation of Symbolic Computation Systems by Alfonso Miola. 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)
	5445.	ZUM '98: The Z Formal Specification Notation by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey. 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)
	5446.	Stochastic Processes in Nonequilibrium Systems by L. Garrido, P. Seglar, P.J. Shepherd. 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)
	5447.	Computer Assisted Learning by Douglas H. Norrie, Hans-Werner Six. 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)
	5448.	Integrated Optics: Theory and Technology by R. G. Hunsperger. Series: Springer Series in Optical SciencesEdition: 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)
	5449.	Database Machine Performance: Modeling Methodologies and Evaluation Strategies by Francesca Cesarini, Silvio Salza. 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)
	5450.	LOGLAN '88 - Report on the Programming Language by Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski. 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)
	5451.	A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems by Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise. 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)
	5452.	Towards a Pan-European Telecommunication Service Infrastructure - IS&N '94 by Hans-Jürgen Kugler, Al Mullery, Norbert Niebert. 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)
	5453.	Mathematical Foundations of Computer Science 1974 by A. Blikle. Series: Lecture Notes in Computer ScienceEdition: 1975Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1975Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5454.	Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron Koymans. 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)
	5455.	Entity-Relationship Approach - ER '92 by Günther Pernul, A Min Tjoa. 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)
	5456.	Gravitational Perturbation Theory and Synchrotron Radiation by R. A. Breuer. Series: Lecture Notes in PhysicsEdition: 1975Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1975Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5457.	Present and Future of the Cosmic Microwave Background by Jose L. Sanz, Enrique Martinez-Gonzalez, Laura Cayon. Series: Lecture Notes in PhysicsEdition: 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)
	5458.	Theoretical Aspects of Computer Software by Takayasu Ito, Albert R. Meyer. 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)
	5459.	Job Scheduling Strategies for Parallel Processing by Dror G. Feitelson, Larry Rudolph. 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)
	5460.	Computational Geometry and its Applications by Hartmut Noltemeier. Series: Lecture Notes in Computer ScienceEdition: 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7834 results.