1.

図書
図書
1. Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 (: gw ; : us)
Eiiti Wada (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 264
所蔵情報: 図書館
2.

図書
図書
2. Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings (: gw ; : us)
Thomas Ottmann, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 267
所蔵情報: 図書館
3.

図書
図書
3. From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)
Dominique Snyers, André Thayse
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 271
所蔵情報: 図書館
4.

図書
図書
4. Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings (: gw ; : us)
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: 図書館
5.

図書
図書
5. A connotational theory of program structure (: gw ; : us)
James S. Royer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 273
所蔵情報: 図書館
6.

図書
図書
6. ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings (: gw ; : us)
J. Bézivin ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 276
所蔵情報: 図書館
7.

図書
図書
7. 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
シリーズ名: Lecture notes in computer science ; 240
所蔵情報: 図書館
8.

図書
図書
8. 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 : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 244
所蔵情報: 図書館
9.

図書
図書
9. 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
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: 図書館
10.

図書
図書
10. 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
シリーズ名: Lecture notes in computer science ; 217
所蔵情報: 図書館