Home Advanced Search

Advanced Search - Page 1

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.)
CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
  • DJVU
  • English-French
  • Year: 1981
  • Author: Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (eds.)
Categorical Methods in Computer Science With Aspects from Topology
  • DJVU
  • English
  • Year: 1989
  • Author: Hartmut Ehrig (auth.), H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß (eds.)
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.)
Kategorien und Automate
  • PDF
  • German
  • Year: 1972
  • Author: Hartmut Ehrig; Michael Pfender
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
  • DJVU
  • English
  • Year: 1985
  • Author: Hartmut Ehrig, Bernd Mahr
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
  • PDF
  • English
  • Year: 2003
  • Author: H. Weber, H. Ehrig, W. Reisig, A. Borusan (auth.), Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (eds.)
Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Kunio Aizawa, Akira Nakamura (auth.), Hans Jürgen Schneider, Hartmut Ehrig (eds.)
Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Kunio Aizawa, Akira Nakamura (auth.), Hans Jürgen Schneider, Hartmut Ehrig (eds.)
TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
  • PDF
  • English
  • Year: 1987
  • Author: Ingo Wegener (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)
search