Your search returned 1706 results.

Not what you expected? Check for suggestions
1661.
Multimedia Transport and Teleservices

by David Hutchison, Andre Danthine, Helmut Leopold, Geoff Coulson.

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

1662.
VDM '88. VDM - The Way Ahead

by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones.

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

1663.
Vivid Logic

by Gerd Wagner.

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

1664.
Parallel and Distributed Processing

by Jose Rolim.

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

1665.
Quantitative Evaluation of Computing and Communication Systems

by Heinz Beilner, Falko Bause.

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

1666.
Parallel Database Systems

by Pierre America.

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

1667.
VLSI Engineering

by Tosiyasu Kunii.

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

1668.
Statistical and Scientific Database Management

by Maurizio Rafanelli, John C. Klensin, Per Svensson.

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

1669.
Reliable Software Technologies - Ada Europe 96

by Alfred Strohmeier.

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

1670.
Multi-Agent System Engineering

by Francisco J. Garijo, Magnus Boman.

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

1671.
Mathematical Foundations of Programming Semantics

by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt.

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

1672.
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg.

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

1673.
Rewriting Techniques and Applications

by Harald Ganzinger.

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

1674.
Studies of Software Design

by David Alex Lamb.

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

1675.
Parallel Algorithms for Irregularly Structured Problems

by Afonso Ferreira, Jose Rolim.

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

1676.
SOFSEM '96: Theory and Practice of Informatics

by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek.

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

1677.
ZUM'97: The Z Formal Specification Notation

by Jonathan P. Bowen, Michael G. Hinchey, David Till.

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

1678.
On the Integration of Algebraic Functions

by J. H. Davenport.

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

1679.
Logic and Machines: Decision Problems and Complexity

by E. Börger, G. Hasenjaeger, D. Rödding.

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

1680.
Machine Learning: ECML-93

by Pavel B. Brazdil.

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