Google
×
Preview and full view
  • Any view
  • Preview and full view
  • Full view
Any document
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
The book is self-contained to a large degree, providing detailed derivations of most of the technical results, and is intended for researchers, lecturers and graduate students.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
In response, five speakers from the sessions contributed the papers which appear in this book.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
There are hardly any theorems in this book which are older than 20 years and at least fifty percent of the material is younger than 10 years.