Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
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
11 - 20 von 186
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
11
Efficient Process Analysis of Transformation Systems Based on Petri nets
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
12
Enterprise Modelling using Algebraic Graph Transformation - Extended Version
Brandt, Christoph. - Berlin : Technische Universität Berlin, 2020
13
Evolution of Model Transformations by Model Refactoring: Long Version
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
14
Finitary M-Adhesive Categories
Gabriel, Karsten. - Berlin : Technische Universität Berlin, 2020
15
Formal Analysis and Verication of Self-Healing Systems: Long Version
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
16
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
17
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
18
Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems
Maximova, Maria. - Berlin : Technische Universität Berlin, 2020
19
Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
20
Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion
Lambers, Leen. - Berlin : Technische Universität Berlin, 2020
11 - 20 von 186
Alle Materialarten
Bücher (123)
Online Ressourcen (62)
Artikel (11)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (60)
Hochschulschriften (2)
Alle Standorte
Frankfurt (182)
Leipzig (176)
Online (frei zugänglich) (41)
Alle Normdaten
Personen (1)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration