Oracle Incident Response and Forensics : Preparing for and Responding to Data Breaches
Enterprise DevOps Framework : Transforming IT Operations
Beginning Machine Learning in iOS : CoreML Framework
Theory of Program Structures : Schemes,Semantics, Verification
Architecture of Distributed Computer Systems
Axiomatising the Logic of Computer Programming
Group-Theoretic Algorithms and Graph Isomorphism
DIANA. An Intermediate Language for Ada : Revised Version
How to Multiply Matrices Faster
Group Theoretical Methods in Image Processing
Maximum Probability Estimators and Related Topics
Algebraic Semantics
