1.

図書
図書
1. Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 : revised papers
Martin Wirsing, Alexander Knapp, Simonetta Balsamo, (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2941
所蔵情報: loading…
2.

図書
図書
2. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3308
所蔵情報: loading…
3.

図書
図書
3. 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…
4.

図書
図書
4. Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
Michael G. Hinchey ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3228 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Tom Maibaum (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1783
所蔵情報: loading…
6.

図書
図書
6. Generative and component-based software engineering : first International Symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers
Krzysztof Czarnecki, Ulrich W. Eisenecker (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1799
所蔵情報: loading…
7.

図書
図書
7. 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…
8.

図書
図書
8. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
Jin Song Dong, Jim Woodcock (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2885
所蔵情報: loading…
9.

図書
図書
9. Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Mauro Pezzè (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2621
所蔵情報: loading…
10.

図書
図書
10. Fundamental approaches to software engineering : 5th International Conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Ralf-Detlef Kutsche, Herbert Weber (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2306
所蔵情報: loading…