1.

図書
図書
1. Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Andrew D. Gordon (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2620
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: 図書館
4.

図書
図書
4. Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: 図書館
5.

図書
図書
5. Compiler construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: 図書館
6.

図書
図書
6. 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 (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2306
所蔵情報: 図書館
7.

図書
図書
7. Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
David Sands (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2028
所蔵情報: 図書館
8.

図書
図書
8. Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Heinrich Hussmann (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2029
所蔵情報: 図書館
9.

図書
図書
9. Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Reinhard Wilhelm (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2027
所蔵情報: 図書館
10.

図書
図書
10. Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Furio Honsell, Marino Miculan (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2030
所蔵情報: 図書館
11.

図書
図書
11. Compiler construction : 9th International Conference, CC 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
David A. Watt (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1781
所蔵情報: 図書館