1.

図書
図書
1. Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Mooly Sagiv (ed.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3444
所蔵情報: loading…
2.

図書
図書
2. Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings (pbk.)
David Schmidt (ed.)
出版情報: Berlin ;Tokyo : Springer, 2004
シリーズ名: Lecture notes in computer science ; 2986
所蔵情報: loading…
3.

図書
図書
3. Programming languages and systems : 9th European Symposium on Programming, ESOP 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
Gert Smolka (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1782
所蔵情報: loading…
4.

図書
図書
4. Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Pierpaolo Degano (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2618
所蔵情報: loading…
5.

図書
図書
5. 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
所蔵情報: loading…
6.

図書
図書
6. 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
所蔵情報: loading…
7.

図書
図書
7. Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, : proceedings
Rocco De Nicola (ed.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4421
所蔵情報: loading…