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=005*
im Bestand: Gesamter Bestand

21 - 30 von 1249

	21	Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking Kuci, Edlira. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2020
	22	Concurrency in Reconfigurable Place/Systems Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	23	Controller Synthesis for Deterministic Context Free Specification Languages Schneider, Sven. - Berlin : Technische Universität Berlin, 2020
	24	Core Concepts of the Compositional Variability Management Framework (CVM) : A Practitioner’s Guide Reiser, Mark-Oliver. - Berlin : Technische Universität Berlin, 2020
	25	Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars Gottmann, Susann. - Berlin : Technische Universität Berlin, 2020
	26	Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
	27	CouchEdit - a modular graphical editing architecture for flexible modeling Nachreiner, Leander. - Ulm : Universität Ulm, 2020
	28	DASC-PM v1.0 Schulz, Michael. - Elmshorn : Nordakademie, Hochschule der Wirtschaft, 2020
	29	Fault-Tolerance and Deaggregation Security of Aggregate Signatures Kaidel, Björn. - Karlsruhe : KIT-Bibliothek, 2020
	30	From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020