Mathematical theory of computation books

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held...  Read More >>

This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016,...  Read More >>

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

This volume presents selected peer-reviewed contributions from The International Work-Conference on Time Series,...  Read More >>

The combined observational power of the multiple earth observing satellites is currently not being harnessed holistically...  Read More >>

Don't miss out on easy marks. Improve your skills and feel confident about the maths you need for your computer...  Read More >>

 Read More >>

In the meantime, it was realized that they can be used for solving important problems of prediction and statistical...  Read More >>

This book constitutes therefereed proceedings of the 18th International Conference on IntegerProgramming and Combinatorial...  Read More >>

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods,...  Read More >>

 Read More >>

Each method presented addresses a specific type of problem, namely root-finding, optimization, integral, derivative,...  Read More >>

This textbook provides concise coverage of the basics of linear and integer programming which, with megatrends toward...  Read More >>

Michael Hoffmann stellt auf leicht verständliche Art und Weise die Grundlagen der stochastischen Analysis dar, d.h....  Read More >>

This book constitutes the proceedings of the 13th International Conference on Integration of Artificial Intelligence...  Read More >>

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends...  Read More >>

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy,...  Read More >>

 Read More >>

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden...  Read More >>

This book presents an in-depth review of the state of the art of cyber-physical systems (CPS) and their applications....  Read More >>

Devoted to information security, this volume begins with a short course on cryptography, mainly basedon lectures...  Read More >>

Numerical analysts and computer operators in all fields will welcome this publication in book form of Cecil Hastings'...  Read More >>

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

This book constitutes the revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS...  Read More >>

The LNCS journal Transactions on ComputationalScience reflects recent developments in the field of Computational...  Read More >>