Katalog der Deutschen Nationalbibliothek

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

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

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

Aktionen

Administration

Katalog der Deutschen Nationalbibliothek

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

Alle Materialarten > Artikel (11)

Alle Standorte

Aktionen

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