Handbook of Practical Logic and Automated Reasoning
Hands-On Networking: From Theory to Practice
High Level Synthesis of Pipelined Datapaths
Introduction to Bisimulation and Coinduction
Introduction to Clustering Large and High Dimensional Data
Introduction to the Senses: From Biology to Computer Science
Iterative Error Correction: Turbo, Low-Density Parity-Check and Repeat-Accumulate Codes
Kernel Methods and Machine Learning
Kernel Methods for Pattern Analysis
Lattice Coding for Signals and Networks: A Structured Coding Approach to Quantization, Modulation and Multiuser Information Theory
LTE for 4G Mobile Broadband: Air Interface Technologies and Performance
Machine Vision
Magnetic Memory: Fundamentals and Technology
Mathematics of Public Key Cryptography
Maximum Entropy, Information Without Probability and Complex Fractals: Classical and Quantum Approach (Fundamental Theories of Physics)
MCTS Guide to Configuring Microsoft® Windows Server® 2008 Active Directory (Exam #70-640)
Measuring Computer Performance: A Practitioner's Guide
Mechanisms and Games for Dynamic Spectrum Allocation
Methods for Computational Gene Prediction
MIMO Wireless Communications
Mobile Robotics: Mathematics, Models, and Methods
Multimodal Signal Processing: Human Interactions in Meetings
Multiple View Geometry in Computer Vision Second Edition
Nanotechnologies for Future Mobile Devices
