Sinnvoll24
-
-
TaschenbuchBesorgungstitel - wird vorgemerkt
This book constitutes the refereed proceedings of the Second International Conference on Principl...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
InhaltsangabePreface. Contributing Authors. Labelled Proof Systems for Intuitionistic Provability...
-
TaschenbuchBesorgungstitel - wird vorgemerkt
This book explores fundamental principles for securing IT systems and illustrates them with hands...
-
BuchBesorgungstitel - wird vorgemerkt
This book explores fundamental principles for securing IT systems and illustrates them with hands...
-
BuchBesorgungstitel - wird vorgemerkt
InhaltsangabePreface. Contributing Authors. Labelled Proof Systems for Intuitionistic Provability...
-
-
BuchBesorgungstitel - wird vorgemerkt
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specifica...
- 1