Your search returned 1706 results.

Not what you expected? Check for suggestions
1281.
TAPSOFT '95: Theory and Practice of Software Development

by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.

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

1282.
Modified Branching Programs and Their Computational Power

by Christoph Meinel.

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

1283.
Programming Language Implementation and Logic Programming

by Maurice Bruynooghe, Martin Wirsing.

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

1284.
Spatial Representation and Motion Planning

by Angel P. del Pobil, Miquel A. Serna.

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

1285.
STACS 95

by Ernst W. Mayr, Claude Puech.

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

1286.
Solving Irregularly Structured Problems in Parallel

by Gianfranco Bilardi, Afonso Ferreira, Reinhard Lüling, Jose Rolim.

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

1287.
Next Generation Information Technologies and Systems

by Ron Y. Pinter, Shalom Tsur.

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

1288.
Partial Evaluation

by Olivier Danvy, Robert Glück, Peter Thiemann.

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

1289.
Principles and Practice of Constraint Programming - CP '95

by Ugo Montanari, Francesca Rossi.

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

1290.
Job Scheduling Strategies for Parallel Processing

by Dror G. Feitelson, Larry Rudolph.

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

1291.
Trees in Algebra and Programming - CAAP '94

by Sophie Tison.

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

1292.
Seminar on Concurrency

by Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel.

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

1293.
TAPSOFT '93: Theory and Practice of Software Development

by Marie-Claude Gaudel, Jean-Pierre Jouannaud.

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

1294.
Software Engineering Education

by Carol Sledge.

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

1295.
Mobile Agents

by Kurt Rothermel, Fritz Hohl.

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

1296.
Selected Areas in Cryptography

by Stafford Tavares, Henk Meijer.

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

1297.
Operating Systems Engineering

by M. Maekawa, L.A. Belady.

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

1298.
Lectures on Proof Verification and Approximation Algorithms

by Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger.

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

1299.
Parallel Image Analysis

by Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S.P. Wang, Katsushi Inoue.

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

1300.
Readings on Cognitive Ergonomics, Mind and Computers

by G.C. van der Veer, M.J. Tauber, T.R.G. Green, P. Gorny.

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