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

31 - 40 von 186
<< < > >>


Online Ressourcen 31 Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version)
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
Online Ressource
Bücher 32 Graph and Model Transformation
Ehrig, Hartmut. - Berlin : Springer Berlin, 2019, Softcover reprint of the original 1st edition 2015
Ankündigung
Online Ressourcen 33 Kategorien und Automate
Ehrig, Hartmut. - Berlin/Boston : De Gruyter, 2019, Reprint 2018
Online Ressource
Online Ressourcen 34 Correctness, completeness, and consistency of equational data type specifications
Padawitz, Peter. - Berlin : Technische Universität Berlin, 2016
Online Ressource
Bücher 35 Graph and model transformation
Ehrig, Hartmut. - Berlin : Springer, [2015]
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 36 Graph and Model Transformation
Ehrig, Hartmut. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2015, 1st ed. 2015
Online Ressource
Online Ressourcen 37 Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditions
Hermann, Frank. - Berlin : Technische Universität Berlin, 2014
Online Ressource
Online Ressourcen 38 Finitary M-adhesive categories
Gabriel, Karsten. - Berlin : Technische Universität Berlin, 2014
Online Ressource
Online Ressourcen 39 Formal analysis of model transformations based on triple graph grammars
Hermann, Frank. - Berlin : Technische Universität Berlin, 2014
Online Ressource
Online Ressourcen 40 M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2014
Online Ressource


31 - 40 von 186
<< < > >>


E-Mail-IconAdministration