Finite Model Theory: Second Edition (Springer Monographs in Mathematics)

This is a thoroughly revised and enlarged secon...

Formal Methods in Computer Science

This textbook gives students a comprehensive in...

Theory and Modeling of Dispersed Multiphase Turbulent Reacting Flows

Theory and Modeling of Dispersed Multiphase Tur...

Logic, Language, Information, and Computation

Edited in collaboration with FoLLI, the Associa...

Implementation and Application of Automata

This book constitutes the thoroughly refereed p...

Multiscale Modeling for Process Safety Applications

Theory and Applications of Satisfiability Testing - SAT 2013

This book constitutes the refereed proceedings ...

Matrix-Based Multigrid

Multigrid methods are often used for solving pa...

Quantum Principles and Particles, Second Edition

This textbook offers a unique introduction to q...

Foundations of Information and Knowledge Systems

This book constitutes the refereed proceedings ...

Tests and Proofs

This book constitutes the refereed proceedings ...

Handbook of Weighted Automata

The purpose of this Handbook is to highlight bo...