Your search returned 1706 results.

Not what you expected? Check for suggestions
1681.
Theory and Practice in Distributed Systems

by Kenneth P. Birman, Friedemann Mattern, Andre Schiper.

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

1682.
A Review of Ada Tasking

by Alan Burns, Andrew M. Lister, Andrew J. Wellings.

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

1683.
A Study in String Processing Languages

by Paul Klint.

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

1684.
Logic Programming '85

by Eiiti Wada.

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

1685.
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

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

1686.
New Trends in Neural Computation

by Jose Mira, Joan Cabestany, Alberto Prieto.

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

1687.
Parallelization in Inference Systems

by Bertram Fronhöfer, Graham Wrightson.

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

1688.
The Stability Theory of Stream Ciphers

by Cunsheng Ding, Guozhen Xiao, Weijuan Shan.

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

1689.
Parallel Processing: CONPAR 92 — VAPP V

by Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram.

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

1690.
Static Analysis

by Alan Mycroft.

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

1691.
Spatial Information Theory A Theoretical Basis for GIS

by Stephen C. Hirtle, Andrew U. Frank.

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

1692.
Object-Oriented Technology. ECOOP'99 Workshop Reader

by Ana Moreira, Serge Demeyer.

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

1693.
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

by Soren Prehn, Hans Toetenel.

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

1694.
Visualization in Programming

by Peter Gorny, Michael J. Tauber.

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

1695.
Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Applications

by Peter Brusilovsky, Piet Kommers, Norbert Streitz.

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

1696.
Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science

by Christian Freksa, David M. Mark.

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

1697.
Static Analysis

by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy.

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

1698.
STACS 89

by Burkhard Monien, Robert Cori.

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

1699.
Management of Telecommunication Systems and Services

by Jane Hall.

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

1700.
Recent Trends in Data Type Specification

by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel.

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