1.

図書
図書
1. 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…
2.

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

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

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

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

図書
図書
6. Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
Thierry Coquand ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1956
所蔵情報: loading…