Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Hochschulschriften

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

1 - 10 von 10

	1	Security of data flow in IEEE Std 1687 reconﬁgurable scan networks Raiola, Pascal. - Freiburg : Universität, 2022
	2	Acquiring, congregating, and processing high-frequency electricity data in distributed environments Völker, Benjamin. - Freiburg : Universität, 2022
	3	Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems Märcker, Steffen. - Dresden : Technische Universität Dresden, 2021
	4	Take the power back! Feiten, Linus. - Freiburg : Universität, 2022
	5	Activity recognition with instrumented and wearable artifacts Scholl, Philipp Marcel. - Freiburg : Universität, 2018
	6	Applying advanced SAT-based techniques to circuit testing Burchard, Jan. - Freiburg : Universität, 2018
	7	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
	8	Applying CDCL to verification and test: when laziness pays off Scheibler, Karsten. - Freiburg : Universität, 2017
	9	Spielbasierte Abstraktion von Markow-Automaten Braitling, Bettina Claudia. - Freiburg : Universität, 2016
	10	Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene Becker, Bernd, 1982