Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

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

21 - 30 von 186

	21	Low- and High-Level Petri Nets with Individual Tokens Modica, Tony. - Berlin : Technische Universität Berlin, 2020
	22	M-adhesive transformation systems with nested application conditions Ehrig, Hartmut. - Potsdam : Universität Potsdam, 2020
	23	Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation Bucchiarone, Antonio. - Berlin : Technische Universität Berlin, 2020
	24	On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	25	On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version) Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	26	Pre-Proceedings of the International Colloquium on Graph and Model Transformation – On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010) International Colloquium on Graph and Model Transformation - on the Occasion of the 65th Birthday of Hartmut Ehrig (2010 : Berlin). - Berlin : Technische Universität Berlin, 2020
	27	Propagation of Constraints along Model Transformations Based on Triple Graph Grammars: Long Version Schölzel, Hanna. - Berlin : Technische Universität Berlin, 2020
	28	Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
	29	Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences Lambers, Leen. - Berlin : Technische Universität Berlin, 2020
	30	Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version Maximova, Maria. - Berlin : Technische Universität Berlin, 2020

21 - 30 von 186

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen