1.

図書
図書
1. Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
Olivier Danvy, Andrzej Filinski (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2053
所蔵情報: loading…
2.

図書
図書
2. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings (: gw ; : us)
edited by Peter J.L. Wallis
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 180
所蔵情報: loading…
3.

図書
図書
3. A Survey of verification techniques for parallel programs (: gw ; : us)
Howard Barringer
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 191
所蔵情報: loading…
4.

図書
図書
4. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings (: gw ; : us)
edited by Rohit Parikh
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 193
所蔵情報: loading…
5.

図書
図書
5. Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings (: gw ; : us)
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
6.

図書
図書
6. Formal methods and software development : Colloquium on Software Engineering (CSE) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985
シリーズ名: Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
所蔵情報: loading…
7.

図書
図書
7. 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
所蔵情報: loading…
8.

図書
図書
8. 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
所蔵情報: loading…
9.

図書
図書
9. 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
所蔵情報: loading…
10.

図書
図書
10. 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
所蔵情報: loading…
11.

図書
図書
11. 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
所蔵情報: loading…
12.

図書
図書
12. Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
所蔵情報: loading…
13.

図書
図書
13. 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
所蔵情報: loading…
14.

図書
図書
14. 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
シリーズ名: Lecture notes in computer science ; 220
所蔵情報: loading…
15.

図書
図書
15. 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
シリーズ名: Lecture notes in computer science ; 221
所蔵情報: loading…
16.

図書
図書
16. The science of programming (: U.S. : hardcover - : Ger. : softcover)
David Gries
出版情報: New York : Springer-Verlag, c1981
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…