Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings Nivat Maurice Heftet / 1998 / Engelsk
Algebraic Methodology and Software Technology 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings Alagar, V.S. Heftet / 1995 / Engelsk
CAAP '88 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings Dauchet Max Heftet / 1988 / Engelsk
Algebraic Methodology and Software Technology 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings Wirsing Martin Heftet / 1996 / Engelsk
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 2: Colloquium on Software Engineering (CSE) Ehrig Hartmut Heftet / 1985 / Engelsk
Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993 Nivat Maurice Heftet / 1993 / Engelsk
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) Ehrig Hartmut Heftet / 1985 / Engelsk
Parallel Image Analysis Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings Nakamura Akira Heftet / 1992 / Engelsk
