Mathematical theory of computation books

This book provides a brief and general introduction to cybersecurity and cyber-risk assessment. Finally, part III...  Read More >>

This book constitutes the proceedings of the second Asia Pacific Requirements Engineering Symposium, APRES 2015,...  Read More >>

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org)....  Read More >>

This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related...  Read More >>

This book describes a novel approach to scientific research that uses unstructured data analysis as a generative...  Read More >>

 Read More >>

Engineering Computation of Structures: The Finite Element Method  Read More >>

This book opens the door to a new interesting and ambitious world of reversible and quantum computing research....  Read More >>

 Read More >>

This work explores the scope and flexibility afforded by integrated quantum photonics, both in terms of practical...  Read More >>

The authors describe systematic methods for uncovering scientific laws a priori, on the basis of intuition, or “Gedanken...  Read More >>

 Read More >>

Focusing on the mathematics that lies at the intersection of probability theory, statistical physics, combinatorics...  Read More >>

This textbook provides an accessible introduction to the most important features of Fortran 2008. Features: presents...  Read More >>

This book constitutes the proceedings of the 12th International Conference on Modeling Decisions for Artificial...  Read More >>

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Reachability Problems, RP 2015,...  Read More >>

Es kommt nicht oft vor, dass ein einzelnes Problem ein ganzes mathematisches Gebiet hervorruft. Das allseits bekannte...  Read More >>

This book constitutes the refereed proceedings of the 8th International Symposium on Algorithmic Game Theory, SAGT...  Read More >>

The system of citations has been adapted to that of Zermelo's Collected Works in order to facilitate side-by-side...  Read More >>

This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held...  Read More >>

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic...  Read More >>

This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and...  Read More >>

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held...  Read More >>

This book brings together historical notes, reviews of research developments, fresh ideas on how to make VC (Vapnik–Chervonenkis)...  Read More >>

The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks,...  Read More >>