Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Categorical Topology
  • DJVU
  • English
  • Year: 1979
  • Author: H. Herrlich, G. Preuß
Graph Transformation: First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Carlo Ghezzi (auth.), Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg (eds.)
Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Antónia Lopes, José Luiz Fiadeiro (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)
Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: H. Ehrig, M. Gajewsky, U. Wolter (auth.), Francesco Parisi Presicce (eds.)
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.)
Graph transformations : 6th international conference, ICGT 2012, Bremen, Germany, September 24 - 29, 2012 ; proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
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.)
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.)
search