Tous les ebooks de la collection "Progress in Computer Science and Applied Logic" - Birkhäuser

4 Livre(s)
Télécharger le livre : Temporal Type Theory
Ajouter à ma liste d'envies
Temporal Type Theory
Patrick Schultz , David I. Spivak
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system...

Editeur : Birkhäuser
Parution : 2019-01-29
Collection : Progress in Computer Science and Applied Logic
PDF, ePub

116,04 €
Télécharger le livre : Advances in Proof Theory
Ajouter à ma liste d'envies
Advances in Proof Theory
Reinhard Kahle , Thomas Strahm , Thomas Studer
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof...

Editeur : Birkhäuser
Parution : 2016-05-04
Collection : Progress in Computer Science and Applied Logic
ePub

105,49 €
Télécharger le livre : Perspectives in Computational Complexity
Ajouter à ma liste d'envies
Perspectives in Computational Complexity
Manindra Agrawal , Vikraman Arvind
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and...

Editeur : Birkhäuser
Parution : 2014-07-16
Collection : Progress in Computer Science and Applied Logic
ePub

105,49 €
Télécharger le livre : A Graph-Theoretic Approach to Enterprise Network Dynamics
Ajouter à ma liste d'envies
A Graph-Theoretic Approach to Enterprise Network Dynamics
Horst Bunke , Peter J. Dickinson , Miro Kraetzl , Walter D. Wallis
Networks have become nearly ubiquitous and increasingly complex, and their support of modern enterprise environments has become fundamental. Accordingly, robust network management techniques are essential to ensure optimal performance of these networks. This monograph...

Editeur : Birkhäuser
Parution : 2007-04-05
Collection : Progress in Computer Science and Applied Logic
PDF

94,94 €