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

Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 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