close
1.

図書
図書
1. Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings (: gw ; : us)
edited by David Pitt ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vii, 519 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 240
所蔵情報: loading…
2.

図書
図書
2. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 (: gw ; : us)
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1986  vii, 604 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 244
所蔵情報: loading…
3.

図書
図書
3. ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (: gw ; : us)
edited by B. Robinet and R. Wilhelm
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  374 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: loading…
4.

図書
図書
4. Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 (: gw ; : us)
edited by H. Ganzinger and N.D. Jones
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 324 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 217
所蔵情報: loading…
5.

図書
図書
5. RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan (: gw ; : us)
edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 323 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 220
所蔵情報: loading…
6.

図書
図書
6. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings (: gw ; : us)
edited by Ehud Shapiro
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 720 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 225
所蔵情報: loading…
7.

図書
図書
7. Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 (: gw ; : us)
edited by Eiiti Wada
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 311 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 221
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼