Mathematical theory of computation books

This book constitutes the refereed proceedings of the 4th International Conference, EsTAL 2004, held in Alicante,...  Read More >>

Das Buch bietet einen umfassenden Überblick zu standardisierten Methoden der Prozess-Modellierung auf der Basis...  Read More >>

Dieses Buch (inklusive DVD-ROM) bietet dem Leser - gegliedert in praxisorientierten Lerneinheiten - eine lebendige,...  Read More >>

Domain decomposition is an active, interdisciplinary research area that is devoted to the development, analysis...  Read More >>

This volume contains the 14 contributed papers and the contribution of the distinguished invited speaker B´ ela...  Read More >>

The first edition of this book covered in depth the mathematical theory of nonblocking multistage interconnecting...  Read More >>

The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers...  Read More >>

Ausgehend von einer kritischen Analyse der Grundlagen hypermedial ergänzten Lehrens und Lernens und deren Beziehung...  Read More >>

Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for...  Read More >>

Logical Data Modeling offers business managers, analysts, and students a clear, basic systematic guide to defining...  Read More >>

UML models are used to derive the testing architecture for an application, the testing interfaces and component...  Read More >>

The ideas that gave birth to the computer age Alan Turing, pioneer of computing and World War II codebreaker, was...  Read More >>

Dieser Band führt in diese Theorie ein und beschreibt Methoden und Dynamiken, wie sie für eine systematische Modellbildung...  Read More >>

Computeralgebra bezeichnet den Grenzbereich zwischen Algebra und...  Read More >>

The papers in this book are the key works for understanding Alan Turing's phenomenal contribution across the fields...  Read More >>

The topics addressed focus on all current issues in this new approach to designing algorithms.  Read More >>

This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL...  Read More >>

This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order...  Read More >>

Der Autor betrachtet alle etablierten Methoden der Datenmodellierung, angefangen bei der Semantischen Datenmodellierung...  Read More >>

The 22 revised full papers, 19 revised short papers, and 9 poster abstracts presented were carefully reviewed and...  Read More >>

 Read More >>

This book contains Volume 6 of the Journal of Graph Algorithms and Applications (JGAA). JGAA is a peer-reviewed...  Read More >>

This volume contains the papers presented at the 29th Symposium on Mat- matical Foundations of Computer Science,...  Read More >>

Describes two languages, Fortran 95 and Fortran 2003. This title is suitable for new and existing users of Fortran,...  Read More >>

 Read More >>