Liknande böcker

Verification and Evaluation of Computer and Communication Systems : 11th...
Bok av Kamel Barkaoui
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Formal Methods for Open Object-based Distributed Systems : Volume 1
Bok av Elie Najm
Pattern-Oriented Memory Forensics : A Pattern Language Approach
Bok av Dmitry Vostokov
Power-Aware Computer Systems : Third International Workshop, PACS 2003,...
Bok av Babak. Falsafi
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms...
Bok av Thomas Fahringer
Construction and Analysis of Safe, Secure, and Interoperable Smart Devic...
Bok av Gilles. Barthe
Tools and Algorithms for the Construction and Analysis of Systems : 13th...
Bok av Orna. Grumberg

Memory Dump Analysis Anthology, Volume 5

Bok av Dmitry Vostokov