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
?
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Noch nicht die passende Literatur gefunden?
→ Book a Librarian
Ergebnis der Suche nach:
auRef=173277950
im Bestand: Gesamter Bestand
1 - 10 von 67
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
1
Modular and incremental global model management with extended generalized discrimination networks
Barkowsky, Matthias. - Potsdam : Universität Potsdam, 2023
2
Modular and incremental global model management with extended generalized discrimination networks
Barkowsky, Matthias. - Potsdam : Universitätsverlag Potsdam, 2023
3
Triple graph grammars for multi-version models
Barkowsky, Matthias. - Potsdam : Universität Potsdam, 2023
4
Triple graph grammars for multi-version models
Barkowsky, Matthias. - Potsdam : Universitätsverlag Potsdam, 2023
5
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Schneider, Sven. - Potsdam : Universität Potsdam, 2022
6
Invariant analysis for multi-agent graph transformation systems using k-induction
Schneider, Sven. - Potsdam : Universitätsverlag Potsdam, 2022
7
Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation
Flotterer, Boris. - Potsdam : Universität Potsdam, 2022
8
Probabilistic metric temporal graph logic
Schneider, Sven. - Potsdam : Universität Potsdam, 2022
9
Probabilistic metric temporal graph logic
Schneider, Sven. - Potsdam : Universitätsverlag Potsdam, 2022
10
Probabilistic metric temporal graph logic
Schneider, Sven. - Potsdam : Universitätsverlag Potsdam, 2022
1 - 10 von 67
Alle Materialarten
Bücher (34)
Online Ressourcen (33)
Artikel (3)
Alle Kataloge/Sammlungen
Hochschulschriften (1)
Alle Standorte
Frankfurt (66)
Leipzig (66)
Online (frei zugänglich) (32)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration