Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings / Eds. J. Derrick, J. Vain. - Berlin : Springer, 2007. xi, 373 p. - (Lecture Notes in Computer Science ; 4574).

Springer • ESTER

Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings / Eds. A. Petrenko, M. Veanes, J. Tretmans, W. Grieskamp. - Berlin : Springer, 2007. xii, 377 p. - (Lecture Notes in Computer Science ; 4581).

Springer • ESTER

Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / Ed. T. Uustalu. - Berlin : Springer, 2006. x, 455 p. - (Lecture Notes in Computer Science ; 4014).

Springer • ESTER • Google books

Suurem pilt

Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, proceedings / Eds. M. Johnson, V. Vene. - Berlin : Springer, 2006. xi, 387 p. - (Lecture Notes in Computer Science ; 4019).

Springer • ESTER

Knowledge-based software engineering : proceedings of the Seventh Joint Conference [JCKBSE'06 : held in August 28-31, 2006 in Tallinn, Estonia] / Eds. E. Tyugu, T. Yamaguchi. - Amsterdam : IOS Press, 2006. xi, 338 p. - (Frontiers in Artificial Intelligence and Applications ; 140).

IOS Press • ESTER

The 14th IEEE International Conference on Automated Software Engineering : October 12-15, 1999, Cocoa Beach, Florida, USA. - Los Alamitos, Calif. : IEEE Computer Society, 1999. xiv, 340 p.

IEEE • Google books

Suurem pilt