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.)
Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
  • PDF
  • English
  • Year: 1985
  • Author: Christiane Floyd (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)
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-Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
  • PDF
  • English
  • Year: 1987
  • Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld (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.)
CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
  • PDF
  • 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.)
Categorical Methods in Computer Science With Aspects from Topology
  • PDF
  • English
  • Year: 1989
  • Author: Hartmut Ehrig (auth.), H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß (eds.)
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
  • DJVU
  • English
  • Year: 2004
  • Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (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