1.

図書
図書
1. Abstraction and specification in program development (: MIT Press ; : McGraw-Hill)
Barbara Liskov and John Guttag
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1986
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
2.

図書
図書
2. Annual review of computer science (v. 1 - v. 4)
Joseph F. Traub, editor ; Barbara J. Grosz, associate editor, Butler W. Lampson, associate editor, Nils J. Nilsson, associate editor
出版情報: Palo Alto, Calif. : Annual Review Inc., c1986-<c1990 >
所蔵情報: loading…
3.

図書
図書
3. Actors : a model of concurrent computation in distributed systems
Gul A. Agha
出版情報: Cambridge, Mass. : MIT Press, c1986
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. The design of the UNIX operating system (: pbk)
Maurice J. Bach
出版情報: Englewood Cliffs : Prentice-Hall, c1986 , London : Prentice-Hall International, c1986
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
5.

図書
図書
5. The C++ programming language
Bjarne Stroustrup
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1986
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
6.

図書
図書
6. Discrete thoughts : essays on mathematics, science, and philosophy (: us ; : gw)
Mark Kac, Gian-Carlo Rota, and Jacob T. Schwartz ; [edited by Harry Newman]
出版情報: Boston : Birkhäuser, c1986
シリーズ名: Scientists of our time
所蔵情報: loading…
7.

図書
図書
7. Combinatorics : set systems, hypergraphs, families of vectors and combinatorial probability (: hard cover ; : pbk.)
Béla Bollobás
出版情報: Cambridge [Cambridgeshire] : Cambridge University Press, 1986
所蔵情報: loading…
8.

図書
図書
8. Constructive combinatorics (: us ; : gw)
Dennis Stanton, Dennis White
出版情報: New York : Springer-Verlag, c1986
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…