Home Advanced Search

Advanced Search - Page 1

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.)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
  • DJVU
  • English
  • Year: 1985
  • Author: Hartmut Ehrig, Bernd Mahr
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (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.)
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Silvano Dal Zilio, Andrew D. Gordon (auth.), Mogens Nielsen, Branislav Rovan (eds.)
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael I. Schwartzbach (auth.), Laurie Hendren (eds.)
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael I. Schwartzbach (auth.), Laurie Hendren (eds.)
Kategorien und Automate
  • PDF
  • German
  • Year: 1972
  • Author: Hartmut Ehrig; Michael Pfender
Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Margaret-Anne D. Storey (auth.), Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (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.)
search