Ihre Suche ergab 56560 Treffer

A Review of Ada Tasking (eBook)

A Review of Ada Tasking (eBook)

CHF 59.00
Computer Aided Systems Theory - EUROCAST '89 (eBook)

Computer Aided Systems Theory - EUROCAST '89 (eBoo

CHF 59.00
Computer Aided Verification (eBook)

Computer Aided Verification (eBook)

CHF 59.00
International Symposium on Theoretical Programming (eBook)

International Symposium on Theoretical Programming

CHF 47.00
Advances in Spatial Databases (eBook)

Advances in Spatial Databases (eBook)

CHF 59.00
Software Engineering - ESEC '93 (eBook)

Software Engineering - ESEC '93 (eBook)

CHF 59.00
Operating Systems (eBook)

Operating Systems (eBook)

CHF 59.00
Verifying Concurrent Processes Using Temporal Logic (eBook)

Verifying Concurrent Processes Using Temporal Logi

CHF 59.00
STACS 84 (eBook)

STACS 84 (eBook)

CHF 40.00
Rewriting Techniques and Applications (eBook)

Rewriting Techniques and Applications (eBook)

CHF 53.50
Programs as Data Objects (eBook)

Programs as Data Objects (eBook)

CHF 47.00
Algebraic Semantics (eBook)

Algebraic Semantics (eBook)

CHF 27.00
An Optimized Translation Process and Its Application to ALGOL 68 (eBook)

An Optimized Translation Process and Its Applicati

CHF 35.50
DIANA. An Intermediate Language for Ada (eBook)

DIANA. An Intermediate Language for Ada (eBook)

CHF 27.50
From Logic Design to Logic Programming (eBook)

From Logic Design to Logic Programming (eBook)

CHF 59.00
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 (eBook)

Advances in Petri Nets 1986. Proceedings of an Adv

CHF 59.00
Intelligent Tutoring Systems (eBook)

Intelligent Tutoring Systems (eBook)

CHF 118.00
VDM '88. VDM - The Way Ahead (eBook)

VDM '88. VDM - The Way Ahead (eBook)

CHF 59.00
Parallel Execution of Logic Programs (eBook)

Parallel Execution of Logic Programs (eBook)

CHF 59.00
CAAP '92 (eBook)

CAAP '92 (eBook)

CHF 59.00
Mathematical Foundations of Computer Science 1993 (eBook)

Mathematical Foundations of Computer Science 1993

CHF 59.00
Meta-Programming in Logic (eBook)

Meta-Programming in Logic (eBook)

CHF 59.00
Automata, Languages, and Programming (eBook)

Automata, Languages, and Programming (eBook)

CHF 118.00
Design of Hashing Algorithms (eBook)

Design of Hashing Algorithms (eBook)

CHF 59.00
Advanced Information Systems Engineering (eBook)

Advanced Information Systems Engineering (eBook)

CHF 59.00
Y12M Solution of Large and Sparse Systems of Linear Algebraic Equations (eBook)

Y12M Solution of Large and Sparse Systems of Linea

CHF 59.00
Mathematical Models for the Semantics of Parallelism (eBook)

Mathematical Models for the Semantics of Paralleli

CHF 59.00
Ada Software Tools Interfaces (eBook)

Ada Software Tools Interfaces (eBook)

CHF 59.00
ANNA A Language for Annotating Ada Programs (eBook)

ANNA A Language for Annotating Ada Programs (eBook

CHF 59.00
Word Equations and Related Topics (eBook)

Word Equations and Related Topics (eBook)

CHF 59.00
Advanced Programming Environments (eBook)

Advanced Programming Environments (eBook)

CHF 59.00
Mathematical Foundations of Computer Science 1989 (eBook)

Mathematical Foundations of Computer Science 1989

CHF 59.00
The Nested Universal Relation Database Model (eBook)

The Nested Universal Relation Database Model (eBoo

CHF 59.00
Specifying Message Passing and Time-Critical Systems with Temporal Logic (eBook)

Specifying Message Passing and Time-Critical Syste

CHF 59.00
Design and Implementation of Large Spatial Databases (eBook)

Design and Implementation of Large Spatial Databas

CHF 63.00
Filtering, Segmentation and Depth (eBook)

Filtering, Segmentation and Depth (eBook)

CHF 59.00
Information and Knowledge Management: Expanding the Definition of "Database" (eBook)

Information and Knowledge Management: Expanding th

CHF 59.00
Artificial Intelligence and Symbolic Mathematical Computing (eBook)

Artificial Intelligence and Symbolic Mathematical

CHF 59.00
International Symposium on Programming (eBook)

International Symposium on Programming (eBook)

CHF 59.00
Systems of Reductions (eBook)

Systems of Reductions (eBook)

CHF 59.00
Attribute Grammar Inversion and Source-to-source Translation (eBook)

Attribute Grammar Inversion and Source-to-source T

CHF 59.00
Recent Issues in Pattern Analysis and Recognition (eBook)

Recent Issues in Pattern Analysis and Recognition

CHF 59.00
Attribute Grammars and their Applications (eBook)

Attribute Grammars and their Applications (eBook)

CHF 59.00
Using Sophisticated Models in Resolution Theorem Proving (eBook)

Using Sophisticated Models in Resolution Theorem P

CHF 59.00
Group-Theoretic Algorithms and Graph Isomorphism (eBook)

Group-Theoretic Algorithms and Graph Isomorphism (

CHF 27.50
Readings on Cognitive Ergonomics, Mind and Computers (eBook)

Readings on Cognitive Ergonomics, Mind and Compute

CHF 59.00
Human Computer Interaction (eBook)

Human Computer Interaction (eBook)

CHF 59.00
Third International Conference on Logic Programming (eBook)

Third International Conference on Logic Programmin

CHF 59.00
Kategorien