|
99601 |
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control
Alhabardi, Fahad F.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
|
99602 |
Verification of crashsafe caching in a virtual file system switch
Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2022
|
|
|
|
99603 |
Verified Compilation and Optimization of Floating-Point Programs in CakeML
Becker, Heiko. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
|
99604 |
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL
From, Asta Halkjær. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
|
99605 |
Vermittlung auf Augenhöhe – digitale Editionen inklusiv gestaltet
Henzel, Katrin. - Kiel : Universitätsbibliothek Kiel, 2022
|
|
|
|
99606 |
Vernunft des Herzens? Zur Frage der Herzensbildung in der Ethik
Thomas, Philipp. - Weingarten : Pädagogische Hochschule Weingarten, 2022
|
|
|
|
99607 |
Verockerung wasserbaulicher Filteranlagen: Stand der Wissenschaft und notwendige Untersuchungen
Tophoff, Lukas. - Münster : FH Münster - University of Applied Sciences, 2022
|
|
|
|
99608 |
Verockerung wasserbaulicher Filteranlagen: Stand der Wissenschaft und notwendige Untersuchungen
Tophoff, Lukas. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
|
|
|
|
99609 |
Verrücktes Blut. Rassismuskritik und Empowerment
Simon, Nina. - Leipzig : Universitätsbibliothek Leipzig, 2022
|
|
|
|
99610 |
Versatile Route for Multifunctional Aerogels Including Flaxseed Mucilage and Nanocrystals
Abdelmonem, Abuelmagd M.. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2022
|
|
Administration
