Liknande böcker

Formal Techniques in Real-Time and Fault-Tolerant Systems
Bok av Jan Vytopil
Advances in Intelligent Computing - IPMU '94 : 5th International Confere...
Bok av International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
Logic Programming and Nonmonotonic Reasoning
Bok av Ulrich Furbach
Selected Areas in Cryptography - SAC 2016 : 23rd International Conferenc...
Bok av Roberto Avanzi
Advanced Computer Architecture
Bok
Reasoning with Logic Programming
Bok av Jose Julio Alferes
Fault-Tolerant Real-Time Systems : The Problem of Replica Determinism
Bok av Stefan Poledna
VLSI Algorithms and Architectures : Aegean Workshop on Computing, Loutra...
Bok av Fillia Makedon

Formal Techniques in Real-Time and Fault-Tolerant Systems

Bok av John A.; Vytopil Stankovic