Drug Information Handbook for Oncology

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Parallel Programming: for Multicore and Cluster Systems

High-Performance Embedded Computing: Architectures, Applications, and Methodologies

Harnessing the UEFI Shell: Moving the Platform Beyond DOS, Second Edition

Systems Benchmarking: For Scientists and Engineers

Peer-to-Peer Computing: Building Supercomputers with Web Technologies (Computer Communications and Networks)

Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series, 25)

Analyzing Computer System Performance with Perl::PDQ