Ihre Suche ergab 56560 Treffer

Field-Programmable Logic: Architectures, Synthesis and Applications (eBook)

Field-Programmable Logic: Architectures, Synthesis

CHF 59.00
FME '96: Industrial Benefit and Advances in Formal Methods (eBook)

FME '96: Industrial Benefit and Advances in Formal

CHF 118.00
Management of Telecommunication Systems and Services (eBook)

Management of Telecommunication Systems and Servic

CHF 63.00
MetaSoft Primer (eBook)

MetaSoft Primer (eBook)

CHF 59.00
Graphtheoretic Concepts in Computer Science (eBook)

Graphtheoretic Concepts in Computer Science (eBook

CHF 59.00
Algorithms and Complexity (eBook)

Algorithms and Complexity (eBook)

CHF 59.00
Symbolic and Algebraic Computation (eBook)

Symbolic and Algebraic Computation (eBook)

CHF 53.50
Automata, Languages and Programming (eBook)

Automata, Languages and Programming (eBook)

CHF 63.00
Context-Free Grammars (eBook)

Context-Free Grammars (eBook)

CHF 59.00
Coroutines (eBook)

Coroutines (eBook)

CHF 59.00
Fundamentals of Computation Theory (eBook)

Fundamentals of Computation Theory (eBook)

CHF 59.00
Temporal Logic in Specification (eBook)

Temporal Logic in Specification (eBook)

CHF 59.00
Supercomputing (eBook)

Supercomputing (eBook)

CHF 118.00
Symbolic and Algebraic Computation (eBook)

Symbolic and Algebraic Computation (eBook)

CHF 59.00
Automata, Languages, and Programming (eBook)

Automata, Languages, and Programming (eBook)

CHF 153.50
Modular Construction and Partial Order Semantics of Petri Nets (eBook)

Modular Construction and Partial Order Semantics o

CHF 59.00
Computer Aided Verification (eBook)

Computer Aided Verification (eBook)

CHF 59.00
STACS 93 (eBook)

STACS 93 (eBook)

CHF 118.00
Deductive and Object-Oriented Databases (eBook)

Deductive and Object-Oriented Databases (eBook)

CHF 59.00
Recent Trends in Data Type Specification (eBook)

Recent Trends in Data Type Specification (eBook)

CHF 59.00
Logics of Programs and Their Applications (eBook)

Logics of Programs and Their Applications (eBook)

CHF 31.00
The Generic Development Language Deva (eBook)

The Generic Development Language Deva (eBook)

CHF 59.00
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 (eBook)

Formal Methods and Software Development. Proceedin

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

VDM '91. Formal Software Development Methods. 4th

CHF 118.00
Methods of Algorithmic Language Implementation (eBook)

Methods of Algorithmic Language Implementation (eB

CHF 59.00
Mathematical Studies of Information Processing (eBook)

Mathematical Studies of Information Processing (eB

CHF 118.00
Functional Programming, Concurrency, Simulation and Automated Reasoning (eBook)

Functional Programming, Concurrency, Simulation an

CHF 59.00
Data Base Techniques for Pictorial Application (eBook)

Data Base Techniques for Pictorial Application (eB

CHF 63.00
Program Specification (eBook)

Program Specification (eBook)

CHF 59.00
Logic of Programs (eBook)

Logic of Programs (eBook)

CHF 59.00
Computer Analysis of Images and Patterns (eBook)

Computer Analysis of Images and Patterns (eBook)

CHF 59.00
Seminar on Concurrency (eBook)

Seminar on Concurrency (eBook)

CHF 59.00
A Study in String Processing Languages (eBook)

A Study in String Processing Languages (eBook)

CHF 59.00
SWAT '88 (eBook)

SWAT '88 (eBook)

CHF 59.00
ESOP '92 (eBook)

ESOP '92 (eBook)

CHF 59.00
CONCUR'93 (eBook)

CONCUR'93 (eBook)

CHF 59.00
Automata, Languages and Programming (eBook)

Automata, Languages and Programming (eBook)

CHF 118.00
Algebraic and Logic Programming (eBook)

Algebraic and Logic Programming (eBook)

CHF 59.00
Computer Performance Evaluation: Modelling Techniques and Tools (eBook)

Computer Performance Evaluation: Modelling Techniq

CHF 59.00
The Analysis of Concurrent Systems (eBook)

The Analysis of Concurrent Systems (eBook)

CHF 59.00
Foundations of Software Technology and Theoretical Computer Science (eBook)

Foundations of Software Technology and Theoretical

CHF 59.00
Compiler Specification and Verification (eBook)

Compiler Specification and Verification (eBook)

CHF 31.00
Local Area Networks: An Advanced Course (eBook)

Local Area Networks: An Advanced Course (eBook)

CHF 59.00
Automatic Verification Methods for Finite State Systems (eBook)

Automatic Verification Methods for Finite State Sy

CHF 59.00
Uncertainty and Intelligent Systems (eBook)

Uncertainty and Intelligent Systems (eBook)

CHF 59.00
Distributed Algorithms (eBook)

Distributed Algorithms (eBook)

CHF 59.00
Software Process Technology (eBook)

Software Process Technology (eBook)

CHF 59.00
Network and Operating System Support for Digital Audio and Video (eBook)

Network and Operating System Support for Digital A

CHF 59.00
Kategorien