Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Insider Risk and Personnel Security
Paul Martin
Endocrine and Metabolic Medical Emergencies
Glenn Matfin
CUDA C++ Programming Guide
NVIDIA Corporation
Placement and Routing of Electronic Modules
Michael Pecht