Handbook of Practical Logic and Automated Reasoning
High Level Synthesis of Pipelined Datapaths
Information Theory, Inference and Learning Algorithms
Introduction to Information Retrieval
Kernel Methods and Machine Learning
Lambda-Calculus and Combinators: An Introduction
Lattice Coding for Signals and Networks: A Structured Coding Approach to Quantization, Modulation and Multiuser Information Theory
Lectures in Game Theory for Computer Scientists
Logic in Computer Science: Modelling and Reasoning about Systems
Machine Learning: The Art and Science of Algorithms that Make Sense of Data
Mathematics of Public Key Cryptography
Maximum Entropy, Information Without Probability and Complex Fractals: Classical and Quantum Approach (Fundamental Theories of Physics)
Microprocessor Architecture: From Simple Pipelines to Chip Multiprocessors
Mobile Computing Principles: Designing and Developing Mobile Applications with UML and XML
Mobile Robotics: Mathematics, Models, and Methods
Model-Based Software Testing and Analysis with C#
Modeling and Reasoning with Bayesian Networks
Modeling in Event-B: System and Software Engineering
Modern Compiler Implement in ML
Modern Compiler Implementation in Java
Modern Computer Algebra
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Natural Language Generation in Interactive Systems
