Home Advanced Search

Advanced Search - Page 1

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

DJVU
English
Year: 1985
Author: Hartmut Ehrig, Bernd Mahr

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

PDF
English
Year: 1985
Author: Hartmut Ehrig, Bernd Mahr

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

PDF
English
Year: 1990
Author: Hartmut Ehrig, Bernd Mahr

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

PDF
English
Year: 1995
Author: Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)

Mathematisch-strukturelle Grundlagen der Informatik

PDF
German
Year: 2001
Author: Prof. Dr. Hartmut Ehrig, Prof. Dr. Bernd Mahr, Dr. Martin Große-Rhode, Dr. Ing. Felix Cornelius, Dr. Philip Zeitz (auth.)

Kategorien und Automate

PDF
German
Year: 1972
Author: Hartmut Ehrig; Michael Pfender

Fundamentals of algebraic graph transformation

PDF
English
Year: 2006
Author: Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Graph-Grammars and Their Application to Computer Science and Biology: International Workshop Bad Honnef, October 30 – November 3, 1978

PDF
English
Year: 1979
Author: Hartmut Ehrig (auth.), Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg (eds.)

Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

PDF
English
Year: 2016
Author: Rachid Echahed; Mark Minas; Ehrig, Hartmut

Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)

DJVU
English
Year: 1985
Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)