Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Leipzig

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

Ergebnis der Suche nach: "107905582"
im Bestand: Gesamter Bestand

1 - 10 von 11

	1	M-adhesive transformation systems with nested application conditions Ehrig, Hartmut. - Potsdam : Universität Potsdam, 2020
	2	Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditions Hermann, Frank. - Berlin : Technische Universität Berlin, 2014
	3	Finitary M-adhesive categories Gabriel, Karsten. - Berlin : Technische Universität Berlin, 2014
	4	Formal analysis of model transformations based on triple graph grammars Hermann, Frank. - Berlin : Technische Universität Berlin, 2014
	5	M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2014
	6	Multi-amalgamation of rules with application conditions in M-adhesive categories Golas, Ulrike. - Berlin : Technische Universität Berlin, 2014
	7	Priority Program SoftSpez and the International INT Workshops “Integration of Software Specification Techniques for Applications in Engineering” (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops „Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“) Enthalten in Information technology Bd. 47, 2005, Nr. 1: 45-53
	8	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems Enthalten in Applied categorical structures Bd. 9, Nr. 1, date:1.2001: 83-110
	9	Applications of Category Theory to the Area of Algebraic Specification in Computer Science Enthalten in Applied categorical structures Bd. 6, Nr. 1, date:3.1998: 1-35
	10	Transformations of structures: An algebraic approach Enthalten in Theory of computing systems Bd. 14, Nr. 1, date:12.1981: 305-334

1 - 10 von 11

Alle Materialarten > Artikel (11)

Alle Standorte > Leipzig (11)

Aktionen

Administration

Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "107905582" im Bestand: Gesamter Bestand

Alle Materialarten > Artikel (11)

Alle Standorte > Leipzig (11)

Aktionen

Ergebnis der Suche nach: "107905582"
im Bestand: Gesamter Bestand