Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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
 
Neuigkeiten

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

11 - 20 von 186
<< < > >>


Online Ressourcen 11 Efficient Process Analysis of Transformation Systems Based on Petri nets
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 12 Enterprise Modelling using Algebraic Graph Transformation - Extended Version
Brandt, Christoph. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 13 Evolution of Model Transformations by Model Refactoring: Long Version
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 14 Finitary M-Adhesive Categories
Gabriel, Karsten. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 15 Formal Analysis and Verication of Self-Healing Systems: Long Version
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 16 Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 17 From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 18 Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems
Maximova, Maria. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 19 Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Online Ressourcen 20 Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion
Lambers, Leen. - Berlin : Technische Universität Berlin, 2020
Online Ressource


11 - 20 von 186
<< < > >>


E-Mail-IconAdministration