Mathematical theory of computation

Pattern Recognition and Machine Intelligence

Agents and Artificial Intelligence

Automated Reasoning and Mathematics

Machine Intelligence and Smart Systems

Advanced Computing in Industrial Mathematics

An Introduction to Theory of Computation

Concise Introduction to Alternating-Time Temporal Logics

Inside Metaheuristics

Knowledge Representation, Reasoning and Declarative Problem Solving

Statistical Mechanics of Learning

Imaginary Mathematics for Computer Science

Learn Blue Teaming and Threat Management

Theory of Computation

A Unifying Framework for Structured Analysis and Design Models

Computer Arithmetic

Imaginary Mathematics for Computer Science

An Introduction to Single-User Information Theory

Higher-Order Computability

Deep Learning with R, Second Edition

A Second Course in Formal Languages and Automata Theory

Modal Logic

Introduction to Mathematica® with Applications

Optimization Problems and Their Applications

Granular, Soft and Fuzzy Approaches for Intelligent Systems

Advanced Computing in Industrial Mathematics

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

Deploying AI in the Enterprise

Additive Operator-Difference Schemes

Partial Differential Equations for Geometric Design

Logic-Based Program Synthesis and Transformation

Space in Weak Propositional Proof Systems

Introduction to Morphogenetic Computing

Advances in Theories of Swarm Intelligence

Agents and Artificial Intelligence

Pattern Recognition and Machine Learning for Self-Study I

Theory and Applications of Models of Computation

200 Problems on Languages, Automata, and Computation

An Introduction to Computational Origami

Principle of Petri Nets

Optimierungsmethoden

Experimental and Computational Investigations in Engineering

Basiswissen Der Mathematischen Bildbearbeitung

Pattern Languages of Programs, People and Practices

Machine Learning, Optimization, and Data Science

Machine Intelligence and Smart Systems

Recent Trends in Coding Theory and Its Applications

Advanced Computing in Industrial Mathematics

Unconventional Computation and Natural Computation

Languages of Cooperation and Communication

The 2-tuple Linguistic Model