Mathematical theory of computation books

This book constitutes the refereed proceedings of the 5th International Conference on Evolutionary and Biologically...  Read More >>

This book constitutes the refereed proceedings of the 16th European Conference on Evolutionary Computation in Combinatorial...  Read More >>

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank...  Read More >>

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured...  Read More >>

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes...  Read More >>

Thisbook constitutes the refereed proceedings of the 18th International Conferenceon Distributed and Computer and...  Read More >>

This bookconstitutes the proceedings of the 22nd International Working Conference onRequirements Engineering – Foundation...  Read More >>

This book constitutes the proceedings of the 9th International Symposiumon Foundations of Information and Knowledge...  Read More >>

This book focuses on the different representations and cryptographic properties of Booleans functions, presents...  Read More >>

 Read More >>

This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy...  Read More >>

Auf dem Gebiet der Petri-Netze und Vektoradditionssysteme sind viele Entscheidungsfragen ungeklärt, die Uli Schlachter...  Read More >>

Improving students’ ability to tackle mathematical problems, this second edition retains the structure of its predecessor...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and...  Read More >>

This book constitutes the refereed proceedings of the 10th InternationalConference on Language and Automata Theory...  Read More >>

These transactions publish research in computer-basedmethods of computational collective intelligence (CCI) and...  Read More >>

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

This volume constitutes the refereed proceedings of theSecond International Workshop on Advanced Methodologies for...  Read More >>

For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing...  Read More >>

This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS...  Read More >>

This book constitutes the proceedings of the 10th International Workshop on Algorithms and Computation, WALCOM 2016,...  Read More >>

The bookis a collection of high-quality peer-reviewed research papers presented at thethird International Conference...  Read More >>

 Read More >>

This book considers specific inferential issues arising from the analysis of dynamic shapes with the attempt to...  Read More >>

This volume, the 23rd issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems,focuses on information...  Read More >>