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

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

Ergebnis der Suche nach: tit all "System verification"
im Bestand: Gesamter Bestand

1 - 10 von 51

	1	CliCFPGA: Collaboration Platform for Component-Based Design and Verification of AI-Based System Using FPGAs Amin, Rashed Al. - Siegen : Universitätsbibliothek der Universität Siegen, 2025
	2	Technische Evaluierung, Verifikation und klinische Einführung eines Patienten-Oberflächen-Überwachungssystems für strahlentherapeutische Behandlungen im Bereich des Kopfes Rauwald-Josephs, Patrick. - Marburg : Philipps-Universität Marburg, 2025
	3	Development of a prompt γ-ray timing system including a proton bunch monitor for range verification in proton therapy Permatasari, Felicia Fibiani. - Dresden : Technische Universität Dresden, 2023
	4	Virtual prototype centric verification for embedded system development Bruns, Niklas. - Bremen, [2023]
	5	On the connection of probabilistic model checking, planning, and learning for system verification Klauck, Michaela. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2022
	6	System Verification Via Generic Games Mika-Michalski, Christina. - Duisburg : Universität Duisburg-Essen, 2022
	7	Merging spacecraft software development and system tests Bucher, Nico. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2021
	8	Physically-based methodology for the EMC-compliant design and verification of automotive system ICs Schade, Alexander. - Erlangen : FAU University Press, 2021
	9	Physically-Based Methodology for the EMC-Compliant Design and Verification of Automotive System ICs Schade, Alexander. - Erlangen : FAU University Press, 2021
	10	A hybrid methodology to enable the verification of temporal properties as system-level Grimm, Tomás. - Bochum : Ruhr-Universität Bochum, 2019