Katalog der Deutschen Nationalbibliothek

Ihr Suchergebnis enthält zu viele Treffer. Bitte schränken Sie Ihre Suche weiter ein.

Ergebnis der Suche nach: cod="ro"
im Bestand: Gesamter Bestand

100001 - 100010 von 274694

	100001	Verhütung in der deutschsprachigen Wikipedia: eine Inhalts- und Qualitätsanalyse Döring, Nicola. - Ilmenau : TU Ilmenau, 2022
	100002	Veriﬁcation and validation of digital twins and virtual testbeds Dahmen, Ulrich. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
	100003	Verification of asymptotic homogenization method developed for periodic architected materials in strain gradient continuum Yang, Hua. - Berlin : Technische Universität Berlin, 2022
	100004	Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control Alhabardi, Fahad F.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
	100005	Verification of crashsafe caching in a virtual file system switch Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2022
	100006	Verified Compilation and Optimization of Floating-Point Programs in CakeML Becker, Heiko. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
	100007	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
	100008	Vermittlung auf Augenhöhe – digitale Editionen inklusiv gestaltet Henzel, Katrin. - Kiel : Universitätsbibliothek Kiel, 2022
	100009	Vernunft des Herzens? Zur Frage der Herzensbildung in der Ethik Thomas, Philipp. - Weingarten : Pädagogische Hochschule Weingarten, 2022
	100010	Verockerung wasserbaulicher Filteranlagen: Stand der Wissenschaft und notwendige Untersuchungen Tophoff, Lukas. - Münster : FH Münster - University of Applied Sciences, 2022