Mathematical theory of computation books

 Read More >>

The study of formal languages and of related families of automata has long been at the core of theoretical computer...  Read More >>

Society heavily depends on infrastructure systems, such as road-traffic networks, water networks, electricity networks,...  Read More >>

Model based testing is the most powerful technique for testing hardware and software systems. The relevant fault...  Read More >>

The authors of this Festschrift prepared these papers to honour and express their friendship to Klaus Ritter on...  Read More >>

Written by world authorities on graph theory, this book features many new advances and applications in graph edge...  Read More >>

Updated and revised, this volume teaches computational scientists how to develop tailored, flexible, and human-efficient...  Read More >>

One of the most well-known of all network optimization problems is the shortest path problem, where a shortest connection...  Read More >>

The creation and implementation of integrated information systems involves a variety of collaborators including...  Read More >>

The purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction between members of...  Read More >>

This book is a tutorial written by researchers and developers behind the FEniCS Project and explores an advanced,...  Read More >>

This book arises from experience the authors have gained from years of work as industry practitioners in the field...  Read More >>

 Read More >>

Powerful new technology has been made available to researchers by an increasingly competitive workstation market....  Read More >>

This book constitutes the refereed post-proceedings of the International Conference on Mathematical Modeling and...  Read More >>

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory...  Read More >>

This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation,...  Read More >>

These include the application of ideas, theories or methods from specific disciplines to information and knowledge...  Read More >>

Linear algebra is a living, active branch of mathematics which...  Read More >>

Proceedings of the NATO Advanced Study Institute on Cooperation: Game-Theoretic Approaches, helt at SUNY, Stony...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on...  Read More >>

 Read More >>

In diesem Buch wird die Programmiertätigkeit vom Standpunkt der evolutionären Erkenntnistheorie neu beleuchtet....  Read More >>

Making systems easier to use implies increasingly complex management of communication between users and applications....  Read More >>