Mathematical theory of computation books

The first detailed survey of the Lattice Boltzmann Equation theory and its major applications to date. This book...  Read More >>

This book and its companion volume, LNCS vols. 7928 and 7929 constitute the proceedings of the 4th International...  Read More >>

The topics covered in this volume are: hybrid algorithms, swarm-robot and multi-agent systems, support vector machines,...  Read More >>

Finite Fields and their Applications  Read More >>

New market trends and the emergence of the so-called Internet-based `new economy' are leading companies to new...  Read More >>

 Read More >>

The articles in this proceedings were presented at the 13th International Conference of the Chilean Computer Science...  Read More >>

The papers present current research from a thriving theoretical community and a rapidly expanding range of applications...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software...  Read More >>

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

This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held...  Read More >>

This book contains the refereed proceedings of the 11th International Symposium on Mathematical Morphology, ISMM...  Read More >>

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of...  Read More >>

This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Metaheuristics, HM 2013,...  Read More >>

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held...  Read More >>

Integrity and Internal Control in Information Systems V represents a continuation of the dialogue between researchers,...  Read More >>

In honor of the work of Professor Shunji Osaki, Stochastic Reliability and Maintenance Modeling provides a comprehensive...  Read More >>

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

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging...  Read More >>

This book is an expanded third edition of the book Performance Analysis of Digital Transmission Systems, originally...  Read More >>

The ADI Model Problem presents the theoretical foundations of Alternating Direction Implicit (ADI) iteration for...  Read More >>

Presents research on the theoretical and numerical aspects of mathematical modelling and the optimization of distributed...  Read More >>

Some chapters describe simple menu-driven software in a user-friendly fashion and are designed to be accessible...  Read More >>

Search games and rendezvous problems have received growing attention in computer science within the past few years....  Read More >>