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. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

Ergebnis der Suche nach: "107905582"
im Bestand: Gesamter Bestand

1 - 10 von 186

	1	A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	2	Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version Maximova, Maria. - Berlin : Technische Universität Berlin, 2020
	3	Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts Rangel, Guilherme. - Berlin : Technische Universität Berlin, 2020
	4	Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version) Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	5	Concurrency in Reconfigurable Place/Systems Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	6	Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
	7	Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars Gottmann, Susann. - Berlin : Technische Universität Berlin, 2020
	8	Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
	9	Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version Orejas, Fernando. - Berlin : Technische Universität Berlin, 2020
	10	Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version Hermann, Frank. - Berlin : Technische Universität Berlin, 2020