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. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3085
所蔵情報: loading…
3.

図書
図書
3. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
Dexter Kozen (ed.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3125
所蔵情報: loading…
4.

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

図書
図書
5. Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings
Walid Taha (ed.)
出版情報: Berlin ; Tokyo : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1924
所蔵情報: loading…
6.

図書
図書
6. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
Jens Palsberg (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1824
所蔵情報: loading…
7.

図書
図書
7. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Roland Backhouse, José Nuno Oliveira (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1837
所蔵情報: loading…
8.

図書
図書
8. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Leo Bachmair (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1833
所蔵情報: loading…
9.

図書
図書
9. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Eerke A. Boiten, Bernhard Möller (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2386
所蔵情報: loading…
10.

図書
図書
10. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Sophie Tison (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2378
所蔵情報: loading…