Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Ergebnis der Suche nach: "11801109X"
im Bestand: Gesamter Bestand

11 - 20 von 54

	11	Validität und Reliabilität virtualisierter RTR-Messungen Enthalten in Publizistik 26.7.2021: 1-31
	12	The (D)QBF preprocessor HQSpre – Underlying theory and its implementation Wimmer, Ralf. - Freiburg : Universität, 2020
	13	Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext Winterer, Leonore. - Tübingen : Universitätsbibliothek Tübingen, 2018
	14	Activity recognition with instrumented and wearable artifacts Scholl, Philipp Marcel. - Freiburg : Universität, 2018
	15	Applying advanced SAT-based techniques to circuit testing Burchard, Jan. - Freiburg : Universität, 2018
	16	From DQBF to QBF by Dependency Elimination Wimmer, Ralf. - Tübingen : Universitätsbibliothek Tübingen, 2018
	17	Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models Mahdi, Ahmed. - Oldenburg : BIS der Universität Oldenburg, 2017
	18	Applying CDCL to verification and test: when laziness pays off Scheibler, Karsten. - Freiburg : Universität, 2017
	19	Entwicklung und Design eines LabVIEW Datenerfassungsprogramms Becker, Bernd. - Saarbrücken : AV Akademikerverlag, 2017, 1. Auflage
	20	Applying Tailored Formal Methods to X-ATPG Scheibler, Karsten. - Freiburg : Universität, 2016

11 - 20 von 54

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen