Home Advanced Search

Advanced Search - Page 1

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.)
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
  • DJVU
  • English
  • Year: 1987
  • Author: Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)
Institution-independent Model Theory
  • PDF
  • English
  • Year: 2008
  • Author: Razvan Diaconescu
Institution-independent Model Theory
  • PDF
  • English
  • Year: 2008
  • Author: Razvan Diaconescu
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 and Biology: International Workshop Bad Honnef, October 30 – November 3, 1978
  • DJVU
  • English
  • Year: 1979
  • Author: Hartmut Ehrig (auth.), Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg (eds.)
Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics
  • PDF
  • English
  • Year: 2005
  • Author: Joseph A Goguen (auth.), Kecheng Liu (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-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.)
Graph-Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
  • DJVU
  • English
  • Year: 1987
  • Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld (eds.)
search