Your search returned 1706 results.

Not what you expected? Check for suggestions
1.
10th International Conference on Automated Deduction

by Mark E. Stickel.

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

2.
3D Structure from Multiple Images of Large-Scale Environments

by Reinhard Koch, Luc van Gool.

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

3.
5th Conference on Automated Deduction

by Wolfgang Bibel, R. Kowalski.

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

4.
6th Conference on Automated Deduction

by D. W. Loveland.

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

5.
7th International Conference on Automated Deduction

by R. E. Shostak.

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

6.
8th International Conference on Automated Deduction

by Jörg H. Siekmann.

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

7.
9th International Conference on Automated Deduction

by Ewing Lusk, Ross Overbeek.

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

8.
Abstract Compositional Analysis of Iterated Relations

by Frederic Geurts.

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

9.
Abstract Software Specifications

by D. Bjorner.

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

10.
Accurate Scientific Computations

by Willard L. Miranker, Richard A. Toupin.

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

11.
Active Networks

by Stefan Covaci.

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

12.
Active, Real-Time, and Temporal Database Systems

by Sten F. Andler, Jörgen Hansson.

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

13.
Active Technologies for Network and Service Management

by Rolf Stadler, Burkhard Stiller.

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

14.
Active Visual Inference of Surface Shape

by Roberto Cipolla.

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

15.
Ada 95, Quality and Style

by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl.

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

16.
Ada 95 Rationale

by John Barnes.

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

17.
Ada 95 Reference Manual: Language and Standard Libraries

by Tucker S. Taft, Robert A. Duff.

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

18.
Ada-Europe '93

by Michel Gauthier.

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

19.
Ada in Europe

by Marcel Toussaint.

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

20.
Ada in Europe

by Marcel Toussaint.

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