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=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

61 - 70 von 3375

	61	Formalization of logical calculi in Isabelle/HOL Fleury, Mathias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020
	62	From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	63	Graphical Models and Symmetries Ahmadi, Babak. - Bonn : Universitäts- und Landesbibliothek Bonn, 2020
	64	HPI Future SOC Lab – Proceedings 2017 Zhang, Shuhao. - Potsdam : Universität Potsdam, 2020
	65	Interaction-Based Creation and Maintenance of Continuously Usable Trace Links Hübner, Paul. - Heidelberg : Universitätsbibliothek Heidelberg, 2020
	66	Intrapersonal, Interpersonal, and Hybrid Interactions in Virtual Reality Roth, Daniel. - Würzburg : Universität Würzburg, 2020
	67	Inwieweit ist es machbar produktspezifische Daten durch maschinelle Erkennung zu identifizieren? Hofbauer, Sonja Maria. - Landshut : Hochschule für Angewandte Wissenschaften Landshut, 2020
	68	Joint Post-proceedings of the First and Second International Conference on Microservices (Microservices 2017/2019) Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2020
	69	Konzeption und Implementierung einer Anwendungsumgebung für attributierte Graphtransformation basierend auf Mathematica Adamek, Jochen. - Berlin : Technische Universität Berlin, 2020
	70	Low- and High-Level Petri Nets with Individual Tokens Modica, Tony. - Berlin : Technische Universität Berlin, 2020