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 : 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…
3.

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

図書
図書
4. Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings (: pbk)
Andrew D. Gordon, (ed.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; 6012 . Advanced research in computing and software science . LNCS sublibrary : SL 1 . Theoretical computer science and general issues
所蔵情報: loading…