close
1.

図書
図書
1. Algorithms, their complexity and efficiency
Lydia I. Kronsjö
出版情報: Chichester ; New York : John Wiley, c1979
シリーズ名: Wiley series in computing
所蔵情報: loading…
2.

図書
図書
2. Standardized development of computer software ([pt. 1] ; pt. 2)
Robert C. Tausworthe
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1977-1979
所蔵情報: loading…
目次情報:
pt. 2: standards
pt. 2: standards
3.

図書
図書
3. Combinatorial complexes : a mathematical theory of algorithms
Peter H. Sellers
出版情報: Dordrecht ; Boston : D. Reidel Pub. Co., c1979
シリーズ名: Mathematics and its applications ; v. 2
所蔵情報: loading…
4.

図書
図書
4. Introduction to computing : structured problem solving using WATFIV-S
V. A. Dyck, J. D. Lawson, J. A. Smith
出版情報: Reston, Va. : Reston Pub. Co., c1979
所蔵情報: loading…
5.

図書
図書
5. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 (: gw ; : us)
edited by E. K. Blum, M. Paul and S. Takasu
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 75
所蔵情報: loading…
6.

図書
図書
6. First-order dynamic logic (: gw ; : us)
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: loading…
7.

図書
図書
7. Computers and intractability : a guide to the theory of NP-completeness (: pbk)
Michael R. Garey, David S. Johnson
出版情報: San Francisco ; New York : W. H. Freeman, c1979
シリーズ名: A series of books in the mathematical sciences
所蔵情報: loading…
8.

図書
図書
8. Logic for problem solving (: pbk)
Robert Kowalski
出版情報: New York : Elsevier North Holland, c1979
シリーズ名: Elsevier computer science library ; . Artificial intelligence series ; 7
所蔵情報: loading…
9.

図書
図書
9. Fundamentals of the computing sciences
Kurt Maly, Allen R. Hanson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1978
所蔵情報: loading…
10.

図書
図書
10. The design of well-structured and correct programs
Suad Alagić, Michael A. Arbib
出版情報: New York : Springer-Verlag, c1978
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…