Home Advanced Search

Advanced Search - Page 1

Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig
  • PDF
  • English
  • Year: 2018
  • Author: Reiko Heckel,Gabriele Taentzer (eds.)
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Andrej Bauer, Matija Pretnar (auth.), Reiko Heckel, Stefan Milius (eds.)
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Andrej Bauer, Matija Pretnar (auth.), Reiko Heckel, Stefan Milius (eds.)
Test and Analysis of Web Services
  • PDF
  • English
  • Year: 2007
  • Author: Luciano Baresi
Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Perdita Stevens (auth.), Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (eds.)
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (eds.)
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (eds.)