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. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
Manfred Broy, Bernhard Rumpe (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1526
所蔵情報: loading…
6.

図書
図書
6. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
David O'Hallaron (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1511
所蔵情報: loading…
7.

図書
図書
7. Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings
Armando Martín Haeberer (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1548
所蔵情報: loading…
8.

図書
図書
8. Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings
Michael Johnson (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1349
所蔵情報: loading…
9.

図書
図書
9. Software engineering - ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997 : proceedings
Mehdi Jazayeri, Helmut Schauer (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1301
所蔵情報: loading…
10.

図書
図書
10. Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings (: gw)
V.S. Alagar, Maurice Nivat, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 936
所蔵情報: loading…