Your search returned 7834 results.

Not what you expected? Check for suggestions
4781.
Mathematical Foundations of Computer Science 1991

by Andrzej Tarlecki.

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): .

Add to cart
4782.
Computer Science Logic

by Hans Kleine Buening.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file 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
4783.
Laser Optoacoustic Spectroscopy

by V.P. Zharov, V.S. Letokhov.

Series: Springer Series in Optical SciencesEdition: 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): .

Add to cart
4784.
Software Engineering - ESEC-FSE '97

by Mehdi Jazayeri, Helmut Schauer.

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): .

Add to cart
4785.
Error Control, Cryptology, and Speech Compression

by Andrew Chmora, Stephen B. Wicker.

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

Add to cart
4786.
Chaos and Quantum Chaos

by W.Dieter Heiss.

Series: Lecture Notes in PhysicsEdition: 1992Material type: Computer file 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
4787.
Modular Compiler Verification

by Markus Müller-Olm.

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): .

Add to cart
4788.
Trends in Computer Algebra

by Rainer Janßen.

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

Add to cart
4789.
Filtering, Segmentation and Depth

by Mark Nitzberg, David Mumford, Takahiro Shiota.

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): .

Add to cart
4790.
Coroutines

by C.D. Marlin.

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): .

Add to cart
4791.
On the Shape of Mathematical Arguments

by Antonetta J.M. van Gasteren.

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): .

Add to cart
4792.
Integer Programming and Combinatorial Optimization

by Egon Balas, Jens Clausen.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file 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
4793.
Prospects for Hardware Foundations

by Bernhard Möller, John V. Tucker.

Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file 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
4794.
Classical and Quantum Mechanical Aspects of Heavy Ion Collisions

by H.L. Harney, P. Braun-Munzinger, C.K. Gelbke.

Series: Lecture Notes in PhysicsEdition: 1975Material type: Computer file 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
4795.
The Programming Language Ada. Reference Manual

by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum.

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 1983Material type: Computer file 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
4796.
Compiler Construction

by Tibor Gyimothy.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file 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
4797.
Excitation of Plasmons and Interband Transitions by Electrons

by Heinz Raether.

Series: Springer Tracts in Modern 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): .

Add to cart
4798.
Functional Programming Languages in Education

by Pieter Hartel.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file 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
4799.
Compositionality: The Significant Difference

by Willem-Paul de Roever, Hans Langmaack, Amir Pnueli.

Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file 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
4800.
Single-Mode Fibers

by Ernst-Georg Neumann.

Series: Springer Series in Optical SciencesEdition: 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): .

Add to cart