Katalog der Deutschen Nationalbibliothek

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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

Ergebnis der Suche nach: dcs=0*
im Bestand: Gesamter Bestand

371 - 380 von 3380

	371	Automatic abstraction for bit-vectors using decision procedures Brauer, Jörg. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
	372	Automatic generation of software applications Liang, Dong. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014
	373	Automatic Performance Engineering Workflows for High Performance Computing Petkov, Ventsislav. - München : Universitätsbibliothek der TU München, 2014
	374	Bridging the gap between precise RT-level power/timing estimation and fast high-level simulation Hylla, Kai. - Oldenburg : BIS der Universität Oldenburg, 2014
	375	Building a semantic search engine with games and crowdsourcing Wieser, Christoph. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2014
	376	Calculating and Aggregating Direct Trust and Reputation in Organic Computing Systems Kiefhaber, Rolf. - Augsburg : Universität Augsburg, 2014
	377	Capturing the expressiveness of touch Möllers, Maximilian Heinrich Gerhard. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
	378	Casual Information Visualization on Exploring Spatiotemporal Data Nguyen, Dinh Quyen. - Rostock : Universität Rostock, 2014
	379	Characterizing load and communication imbalance in parallel applications Böhme, David. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
	380	Clock Refinement in Imperative Synchronous Languages Gemünde, Mike. - Kaiserslautern : Technische Universität Kaiserslautern, 2014