Google
×
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad range of ap plication areas.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
In recent time, computer scientists are taking a broader interest in net theory. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
In recent time, computer scientists are taking a broader interest in net theory. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This book gives a broad overview of public-key cryptography, covering its essence and advantages, various public-key cryptosystems and protocols. It also gives a comprehensive introduction to classical cryptography and cryptanalysis.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
Consists of three consecutive parts: 1. Basic Concepts of Computability. 2. Traditional Recursion Theory. 3. Unified Type 2 theory of constructivity and computability on Baire's space including a general the- ory of representations.
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
The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad range of ap plication areas.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
This book, benefiting from the author's research and teaching experience in Algorithmic Information Theory (AIT), should help to make the detailed mathematical techniques of AIT accessible to a much wider audience.
bibliogroup:"Monographs in Theoretical Computer Science. An EATCS Series" from books.google.com
The first book to integrate various model-based software specification approaches.