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

	4841.	Software Process Technology by Brian C. Warboys. 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)
	4842.	Statistical Mechanical Theory of the Electrolytic Transport of Non-electrolytes by R. F. Snipes. Series: Lecture Notes in PhysicsEdition: 1973Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1973Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4843.	Computational Logic and Proof Theory by Georg Gottlob, Alexander Leitsch, Daniele Mundici. 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)
	4844.	Millimeter and Submillimeter Wave Spectroscopy of Solids by George Grüner. Series: Topics in Applied 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)
	4845.	Quarks and Nuclear Forces by D.C. Fries, B. Zeitnitz. 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)
	4846.	Transformation-Based Reactive Systems Development by Miquel Bertran, Teodor Rus. 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)
	4847.	Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering by Pericles Loucopoulos. 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)
	4848.	Cryptography and Coding by Michael Walker. 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)
	4849.	Tools and Algorithms for the Construction and Analysis of Systems by Ed Brinksma. 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)
	4850.	Computer Methods and Borel Summability Applied to Feigenbaum’s Equation by Jean-Pierre Eckmann, Peter Wittwer. 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)
	4851.	Graph-Theoretic Concepts in Computer Science by Gunther Schmidt, Rudolf Berghammer. 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)
	4852.	Nonlinear Infrared Generation by Y.R. Shen. Series: Topics in Applied 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)
	4853.	Computer Aided Systems Theory - EUROCAST '93 by Franz Pichler, Roberto Moreno Diaz. 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)
	4854.	Coherent Inelastic Neutron Scattering in Lattice Dynamics by B. Dorner. 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)
	4855.	Database Theory - ICDT'99 by Catriel Beeri, Peter Buneman. 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)
	4856.	Molecular Clouds in the Milky Way and External Galaxies by Robert L. Dickman, Ronald L. Snell, Judith S. Young. Series: Lecture Notes in PhysicsEdition: 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)
	4857.	Computational Logic and Proof Theory by Georg Gottlob, Alexander Leitsch, Daniele Mundici. 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)
	4858.	Parallel Processing: CONPAR 94 - VAPP VI by Bruno Buchberger, Jens Volkert. 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)
	4859.	L Systems by G. Rozenberg, A. Salomaa. Series: Lecture Notes in Computer ScienceEdition: 1974Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1974Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4860.	PARLE '93 Parallel Architectures and Languages Europe by Arndt Bode, Mike Reeve, Gottfried Wolf. 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7834 results.