Ugo Montanari - Böcker

Foundations of Information Technology in the Era of Network and Mobile Computing

IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada

Foundations of Information Technology in the Era of Network and Mobile Computing

IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada

Models of Computation

Models of Computation

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)

System Development and Ada

CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Graph Transformations

Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Principles and Practice of Constraint Programming - CP '95

First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings

CONCUR '96: Concurrency Theory

7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings

Automata, Languages and Programming

27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Algebra and Coalgebra in Computer Science

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers