Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Dienstag, 17. Juni 2025: Die Deutsche Nationalbibliothek ist wegen eines Beschäftigtentreffens an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 in Frankfurt sind geschlossen. // Tuesday, 17 June 2025: The German National Library will be closed at both locations due to a staff meeting. The exhibitions of the German Museum of Books and Writing in Leipzig will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933-1945 in Frankfurt will be closed.

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