Your search returned 18450 results.

Not what you expected? Check for suggestions
16701.
Rewriting Techniques and Applications

by Ronald V. Book.

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
16702.
Types for Proofs and Programs

by Eduardo Gimenez, Christine Paulin-Mohring.

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
16703.
Macroscopic Properties of Disordered Media

by R. Burridge, S. Childress, G. Papanicolaou.

Series: Lecture Notes in PhysicsEdition: 1982Material type: Computer file 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
16704.
Symbolic and Quantitative Approaches to Uncertainty

by Rudolf Kruse, Pierre Siegel.

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
16705.
Distributed Systems

by M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider, Manfred Paul, H.J. Siegert.

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

Add to cart
16706.
Types for Proofs and Programs

by Henk Barendregt, Tobias Nipkow.

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
16707.
Local Area Networks: An Advanced Course

by D. Hutchison, J.A. Mariani, W.D. Shepherd.

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

Add to cart
16708.
Multiagent Systems

by Munidar P. Singh.

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
16709.
The Next Generation of Information Systems: From Data to Knowledge

by Michael P. Papazoglou, John Zeleznikow.

Series: Lecture Notes in Computer ScienceEdition: 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
16710.
Ionic Liquids, Molten Salts, and Polyelectrolytes

by K.-H. Bennemann, F. Brouers, D. Quitmann.

Series: Lecture Notes in PhysicsEdition: 1982Material type: Computer file 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
16711.
Lectures in Statistical Physics

by J. Ehlers, J. Ford, C. George, R. Miller, E. Montroll, W.C. Schieve, J.S. Turner, W.C. Schieve, J.S. Turner.

Series: Lecture Notes in PhysicsEdition: 1974Material type: Computer file 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
16712.
Models of Hadron Structure Based on Quantum Chromodynamics

by Ramon F. Alvarez-Estrada, Francisco Fernandez, Jose L. Sanchez-Gomez, Vicente Vento.

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

Add to cart
16713.
PRICAI'98: Topics in Artificial Intelligence

by Hing-Yan Lee, Hiroshi Motoda.

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
16714.
Principles and Practice of Declarative Programming

by Gopalan Nadathur.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file 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
16715.
Image Analysis and Processing

by Alberto del Bimbo.

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
16716.
Temporal Logic in Specification

by Behnam Banieqbal, Howard Barringer, Amir Pnueli.

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

Add to cart
16717.
Partial-Order Methods for the Verification of Concurrent Systems

by Patrice Godefroid.

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
16718.
Solid-State Physics

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

Add to cart
16719.
Types for Proofs and Programs

by Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file 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
16720.
Principles of Data Mining and Knowledge Discovery

by Jan M. Zytkow, Mohamed Quafafou.

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