close
1.

図書
図書
1. Knowledge-based program construction (: pbk)
David R. Barstow
出版情報: New York : North Holland, c1979  xiii, 262 p. ; 24 cm
シリーズ名: Programming languages series ; 6
所蔵情報: loading…
2.

図書
図書
2. Computer programming examples for chemical engineers (pbk)
George Ross
出版情報: Amsterdam ; Tokyo : Elsevier, 1987  xii, 296 p. ; 25 cm
シリーズ名: Computer-aided chemical engineering ; 3
所蔵情報: loading…
3.

図書
図書
3. Principles of functional programming (pbk.)
Hugh Glaser, Chris Hankin and David Till
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1984  xi, 251 p. ; 24 cm
所蔵情報: loading…
4.

図書
図書
4. Introduction to the design and analysis of algorithms
S.E. Goodman, S.T. Hedetniemi
出版情報: New York : McGraw-Hill, c1977  xi, 371 p. ; 21 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
5.

図書
図書
5. Automated reasoning : introduction and applications (pbk.)
Larry Wos ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984  xiv, 482 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Specification of computer programs
Władysław M. Turski, Thomas S.E. Maibaum
出版情報: Woking, England ; Reading, Mass. : Addison-Wesley, c1987  x, 278 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
7.

図書
図書
7. Artificial intelligence and heuristic programming
editors: N. V. Findler [and] Bernard Meltzer
出版情報: New York : American Elsevier Pub. Co., 1971  327 p. ; 24 cm
所蔵情報: loading…
8.

図書
図書
8. Artificial intelligence and heuristic programming
editors, N.V. Findler, Bernard Meltzer
出版情報: Edinburgh : Edinburgh University Press, c1971  327 p. ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. Fundamental algorithms. 3rd ed
Donald E. Knuth
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1997  xix, 650 p. ; 24 cm
シリーズ名: The art of computer programming ; v. 1
所蔵情報: loading…
目次情報: 続きを見る
Basic Concepts / 1：
Algorithms
Mathematical Preliminaries
Mathematical Induction
Numbers, Powers, and Logarithms
Sums and Products
Integer Functions and Elementary Number Theory
Permutations and Factorials
Binomial Coefficients
Harmonic Numbers
Fibonacci Numbers
Generating Functions
Analysis of an Algorithm
Asymptotic Representations
MIX
Description of MIX
The MIX Assembly Language
Applications to Permutations
Some Fundamental Programming Techniques
Subroutines
Coroutines
Interpretive Routines
Input and Output
History and Bibliography
Information Structures / 2：
Introduction
Linear Lists
Stacks, Queues, and Deques
Sequential Allocation
Linked Allocation
Circular Lists
Doubly Linked Lists
Arrays and Orthogonal Lists
Trees
Traversing Binary Trees
Binary Tree Representation of Trees
Other Representations of Trees
Basic Mathematical Properties of Trees
Lists and Garbage Collection
Multilinked Structures
Dynamic Storage Allocation
Answers to Exercises
Tables of Numerical Quantities / Appendix A：
Fundamental Constants (decimal)
Fundamental Constants (octal)
Harmonic Numbers, Bernoulli Numbers, Fibonacci Numbers / 3：
Index to Notations / Appendix B：
Index and Glossary
Basic Concepts / 1：
Algorithms
Mathematical Preliminaries
10.

図書
図書
10. Functional programming : application and implementation
Peter Henderson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1980  xi, 355 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼