Your search returned 1706 results.

Not what you expected? Check for suggestions
1461.
Natural Language at the Computer

by Albrecht Blaser.

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

1462.
Logic Program Synthesis and Transformation

by Maurizio Proietti.

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

1463.
Programming Language Implementation and Logic Programming

by Jan Maluszynski, Martin Wirsing.

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

1464.
Visualization in Human-Computer Interaction

by Peter Gorny, Michael J. Tauber.

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

1465.
Word Equations and Related Topics

by Habib Abdulrab, Jean-Pierre Pecuchet.

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

1466.
Recent Trends in Algebraic Development Techniques

by Jose L. Fiadeiro.

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

1467.
Synthesizing Synchronous Systems by Static Scheduling in Space-Time

by Björn Lisper.

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

1468.
SOFSEM '97: Theory and Practice of Informatics

by Frantisek Plasil, Keith G. Jeffery.

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

1469.
MFDBS 89

by Janos Demetrovics, Bernhard Thalheim.

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

1470.
Languages and Compilers for Parallel Computing

by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

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

1471.
Stepwise Refinement of Distributed Systems

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

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

1472.
STACS 92

by Alain Finkel, Matthias Jantzen.

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

1473.
Online Algorithms

by Amos Fiat, Gerhard J. Woeginger.

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

1474.
Nested Relations and Complex Objects in Databases

by Serge Abiteboul, Patrick C. Fischer, Hans-Jörg Schek.

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

1475.
Parallel Symbolic Computing: Languages, Systems, and Applications

by Robert H.Jr. Halstead, Takayasu Ito.

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

1476.
Parallel Computation

by Jens Volkert.

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

1477.
Theory of Program Structures

by Sheila A. Greibach.

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

1478.
Workflow Management Systems for Process Organisations

by Thomas Schael.

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

1479.
Software Process Technology

by Carlo Montangero.

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

1480.
Real-Time: Theory in Practice

by J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg.

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