4 résultat(s)
Télécharger le livre : Temporal Type Theory
Patrick Schultz , David I. Spivak
Temporal Type Theory
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
Format(s) : PDF, ePub
116,04 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Advances in Proof Theory
Reinhard Kahle , Thomas Strahm , Thomas Studer
Advances in Proof Theory
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
Format(s) : ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Perspectives in Computational Complexity
Manindra Agrawal , Vikraman Arvind
Perspectives in Computational Complexity
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
Format(s) : ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : A Graph-Theoretic Approach to Enterprise Network Dynamics
Horst Bunke , Peter J. Dickinson , Miro Kraetzl , Walter D. Wallis
A Graph-Theoretic Approach to Enterprise Network Dynamics
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
Format(s) : PDF
94,94 €
Téléchargement immédiat
Dès validation de votre commande