Algebra and Coalgebra in Computer Science [E-Book] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /  

Haveraaen, Magne
2007

Formal Methods in Software and Systems Modeling [E-Book] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday  

Kreowski, Hans-Jörg.
2005

Graph Transformations [E-Book] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings  

Corradini, Andrea
2006

Recent Trends in Algebraic Development Techniques [E-Book] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /  

Corradini, Andrea
2009

Trustworthy Global Computing [E-Book] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /  

Bruni, Roberto
2007