Your search returned 1706 results.

Not what you expected? Check for suggestions
1021.
Numerical Analysis and Its Applications

by Lubin Vulkov, Jerzy Wasniewski, Plamen Yalamov.

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

1022.
Types for Proofs and Programs

by Stefano Berardi, Mario Coppo.

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

1023.
Tools and Algorithms for the Construction and Analysis of Systems

by Tiziana Margaria, Bernhard Steffen.

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

1024.
Scale-Space Theories in Computer Vision

by Mads Nielsen, Peter Johansen, Ole F. Olsen, Joachim Weickert.

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

1025.
Methods and Tools for Computer Integrated Manufacturing

by U. Rembold, R. Dillmann.

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

1026.
Object Representation in Computer Vision II

by Jean Ponce, Andrew Zisserman, Martial Hebert.

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

1027.
Software Engineering

by F. L. Bauer.

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

1028.
Security Protocols

by Mark Lomas.

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

1029.
Software Reliability Modelling and Identification

by Sergio Bittanti.

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

1030.
Language Hierarchies and Interfaces

by F.L. Bauer, K. Samelson.

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

1031.
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space

by Andrew U. Frank, Irene Campari, Ubaldo Formentini.

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

1032.
Optimization of SQL Queries for Parallel Machines

by Wagar Hasan.

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

1033.
Network and Operating System Support for Digital Audio and Video

by Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia.

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

1034.
TAPSOFT'97: Theory and Practice of Software Development

by Michel Bidoit, Max Dauchet.

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

1035.
The Nested Universal Relation Database Model

by Mark Levene.

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

1036.
Software Engineering Education

by Jorge L. Diaz-Herrera.

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

1037.
Programming Languages Implementation and Logic Programming

by Pierre Deransart, Bernard Lorho, Jan Maluszynski.

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

1038.
Network-Based Parallel Computing. Communication, Architecture, and Applications

by Dhabaleswar K. Panda, Craig B. Stunkel.

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

1039.
Theoretical Aspects of Computer Software

by Martin Abadi, Takayasu Ito.

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

1040.
STACS 91

by Christian Choffrut, Matthias Jantzen.

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