Your search returned 7834 results.

Not what you expected? Check for suggestions
5641.
CONCUR'97: Concurrency Theory

by Antoni Mazurkiewicz, Jozef Winkowski.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file 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): .

5642.
High Resolution in Solar Physics

by Richard Muller.

Series: Lecture Notes in PhysicsEdition: 1985Material type: Computer file 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): .

5643.
Specification and Compositional Verification of Real-Time Systems

by Jozef Hooman.

Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file 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): .

5644.
A Relational Theory of Computing

by John G. Sanderson.

Series: Lecture Notes in Computer ScienceEdition: 1980Material type: Computer file 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): .

5645.
Ergodic Concepts in Stellar Dynamics

by V.G. Gurzadyan, D. Pfenniger.

Series: Lecture Notes in PhysicsEdition: 1994Material type: Computer file 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): .

5646.
The Use of Supercomputers in Stellar Dynamics

by Piet Hut, Stephen L.W. McMillian.

Series: Lecture Notes in PhysicsEdition: 1986Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1986Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

5647.
LOGIDATA+: Deductive Databases with Complex Objects

by Paolo Atzeni.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file 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): .

5648.
Codes for Boundary-Value Problems in Ordinary Differential Equations

by B. Childs, M. Scott, J. W. Daniel, E. Denman, P. Nelson.

Series: Lecture Notes in Computer ScienceEdition: 1979Material type: Computer file 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): .

5649.
Randomization and Approximation Techniques in Computer Science

by Jose Rolim.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file 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): .

5650.
Foundations of Equational Logic Programming

by Steffen Hölldobler.

Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file 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): .

5651.
Introduction to the Theory of Heavy-Ion Collisions

by W. Nörenberg, H.A. Weidemüller.

Series: Lecture Notes in PhysicsEdition: 2nd ed. 1976Material type: Computer file 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): .

5652.
Human-Computer Interaction

by Leonard J. Bass, Juri Gornostaev, Claus Unger.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file 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): .

5653.
Photoemission in Solids II

by L. Ley, M. Cardona.

Series: Topics in Applied PhysicsEdition: 1979Material type: Computer file 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): .

5654.
Hot Spots in Extragalactic Radio Sources

by Klaus Meisenheimer, Hermann-Josef Röser.

Series: Lecture Notes in PhysicsEdition: 1989Material type: Computer file 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): .

5655.
COLOG-88

by Per Martin-Löf, Grigori Mints.

Series: Lecture Notes in Computer ScienceEdition: 1990Material type: Computer file 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): .

5656.
Structures in Logic and Computer Science

by Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file 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): .

5657.
Inelastic Scattering of X-Rays with Very High Energy Resolution

by Eberhard Burkel.

Series: Springer Tracts in Modern PhysicsEdition: 1991Material type: Computer file 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): .

5658.
Physics of Highly Excited States in Solids

by M. Ueta, Y. Nishina.

Series: Lecture Notes in PhysicsEdition: 1976Material type: Computer file 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): .

5659.
Nonlinear Evolution Equations and Dynamical Systems

by M. Boiti, F. Pempinelli, G. Soliani.

Series: Lecture Notes in PhysicsEdition: 1980Material type: Computer file 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): .

5660.
F’ Centers in Alkali Halides

by Mladen Georgiev.

Series: Lecture Notes in PhysicsEdition: 1988Material type: Computer file 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): .