Advances in Computer Vision and Pattern Recognition: Image Reconstruction from Projections

Advances in Computer Vision and Pattern Recognition

Advances in Computer Vision and Pattern Recognition: State-of-the-Art Applications in Cardiology, Neurology, Mammography and Pathology

Advances in Computer Vision and Pattern Recognition: Image Reconstruction from Projections

Digital Imaging Primer

Hardware Based Packet Classification for High Speed Internet Routers

Scalable Techniques for Formal Verification

Estimating Impact: A Handbook of Computational Methods and Models for Anticipating Economic, Social, Political and Security Effects in International Interventions

HPC@Green IT: Green High Performance Computing Methods

Reflections on the Work of C.A.R. Hoare

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques: Automatic Acceleration of Software Execution

Information Technology Encyclopedia and Acronyms

Cryptographic Security Architecture: Design and Verification

Digital Imaging Primer

Estimating Impact: A Handbook of Computational Methods and Models for Anticipating Economic, Social, Political and Security Effects in International Interventions

Springer’s Forensic Laboratory Science Series: Understanding Information Security Investigations

Springer’s Forensic Laboratory Science Series: Understanding Information Security Investigations

Mathematical and Computer Programming Techniques for Computer Graphics

History of Computing: Electrical Analogies, Engineering Practice, and the Development of Analogue Computing

Reflections on the Work of C.A.R. Hoare

History of Computing: Electrical Analogies, Engineering Practice, and the Development of Analogue Computing

Scalable Techniques for Formal Verification

Hardware Based Packet Classification for High Speed Internet Routers