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

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