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.)
Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics
  • PDF
  • English
  • Year: 2005
  • Author: Joseph A Goguen (auth.), Kecheng Liu (eds.)
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (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.)
Software engineering with OBJ: algebraic specification in action
  • DJVU
  • English
  • Year: 2000
  • Author: Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (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.)
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.)
Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Kunio Aizawa, Akira Nakamura (auth.), Hans Jürgen Schneider, Hartmut Ehrig (eds.)
Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Kunio Aizawa, Akira Nakamura (auth.), Hans Jürgen Schneider, Hartmut Ehrig (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.)
search