Abstract State Machines, Alloy, B, TLA, VDM, and Z
Author/Editor: Ait Ameur | Publication year: 2014
A Primer on Compression in the Memory Hierarchy
Author: Sardashti
Publisher: Morgan & Claypool
Publisher: Morgan & Claypool
Affine Arithmetic Based Solution of Uncertain Static and Dynamic Problems
Author: Chakraverty
Publisher: Morgan & Claypool
Publisher: Morgan & Claypool
An Introduction to Laplacian Spectral Distances and Kernels: Theory, Computation, and Applications
Author: Patane
Publisher: Morgan & Claypool
Publisher: Morgan & Claypool
An Introduction to Verification of Visualization Techniques
Author: Etiene
Publisher: Morgan & Claypool
Publisher: Morgan & Claypool
Autonomous Vehicles and the Law: How Each Field is Shaping the Other
Author: Hiziroglu
Publisher: Morgan & Claypool
Publisher: Morgan & Claypool
Analysis and Design of Transmitarray Antennas
Author: Abdelrahman
Publisher: Morgan & Claypool
Publisher: Morgan & Claypool
Automatic Detection of Verbal Deception
Author: Fitzpatrick
Publisher: Morgan & Claypool
Publisher: Morgan & Claypool