1.

図書
図書
1. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Charles Rattray, Savitri Maharaj, Carron Shankland (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3116
所蔵情報: loading…
2.

図書
図書
2. Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Teodor Rus (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1816
所蔵情報: loading…
3.

図書
図書
3. Algebraic methodology and software technology : 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2422
所蔵情報: loading…
4.

図書
図書
4. Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings
Michael Johnson, Varmo Vene (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4019
所蔵情報: loading…