1.

図書
図書
1. Inside Macintosh : 日本語版
Apple Computer,Inc.著 ; イントランス訳
出版情報: 東京 : アジソンウェスレイパブリッシャーズジャパン , 東京 : 星雲社(発売), 1988-1992
所蔵情報: loading…
2.

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

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

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

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

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

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

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

図書
図書
9. Formal methods and software development : Colloquium on Software Engineering (CSE)
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…
10.

図書
図書
10. Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985
edited by Wilfried Brauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 194
所蔵情報: loading…