close
1.

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

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

図書
図書
3. Scientific and engineering problem-solving with the computer
William Ralph Bennett, Jr
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1976  xix, 457 p. ; 29 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
4.

図書
図書
4. Data structures : theory and practice
[by] A.T. Berztiss
出版情報: New York : Academic Press, c1971  xiii, 442 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
5.

図書
図書
5. Data structures : theory and practice. 2nd ed
A. T. Berztiss
出版情報: New York : Academic Press, c1975  xv, 586 p. ; 24 cm
シリーズ名: Computer science and applied mathematics : a series of monographs and textbooks
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Discrete Structures in Mathematics / Part I：
Set Theory / Chapter 1.：
Basic Definitions / 1a.：
Indexed Sets / 1b.：
Complement of a Set / 1c.：
Algebra of Sets / 1d.：
Algebra of Sets as an Axiomatic Theory / 1e.：
Venn Diagrams / 1f.：
The Ordered Pair and Related Concepts / 1g.：
Permutations and Combinations / 1h.：
Notes
Exercises
Functions and Relations / Chapter 2.：
Functions / 2a.：
Boolean Functions and Forms / 2b.：
Applications of Boolean Functions / 2c.：
Relations / 2d.：
The Equivalence Relation / 2e.：
Ordering Relations / 2f.：
Lattices / 2g.：
Abstract Algebras / 2h.：
Graph Theory / Chapter 3.：
Diagrams and Graphs / 3a.：
Basic Definitions in the Theory of Digraphs / 3b.：
Digraphs, Matrices, and Relations / 3c.：
Connectedness in a Digraph / 3d.：
Trees / 3e.：
Linear Formulas of Digraphs / 3f.：
Isomorphism of Digraphs / 3g.：
Planar Graphs / 3h.：
Algebras and Strings / Chapter 4.：
Algebraic Structures / 4a.：
Group Codes / 4b.：
Algebra of Strings / 4c.：
Markov Algorithms / 4d.：
Languages and Grammars / 4e.：
Languages and Automata / 4f.：
Applications of Structures / Part II：
Trees as Grammatic Markers / Chapter 5.：
Pushdown Stores / 5b.：
Traversal of B-Trees / 5c.：
Subtree Isomorphism / 5d.：
Prefix, Postfix, and Infix Formulas / 5e.：
Sort Trees and Dictionaries / 5f.：
Decision Trees and Decision Tables / 5g.：
Paths and Cycles in Digraphs / Chapter 6：
Shortest Path Problems / 6a.：
Cycles / 6b.：
A Scheduling Problem / 6c.：
Critical Path Scheduling / 6d.：
Digraphs of Programs / Chapter 7.：
Flowchart Digraphs / 7a.：
Detection of Programming Errors / 7b.：
Segmentation of Programs / 7c.：
Automatic Flowcharting / 7d.：
Other Applications of Graphs / Chapter 8.：
Flow Problems / 8a.：
Graphs in Chemistry / 8b.：
Graphs in Information Retrieval / 8c.：
Computer Representation of Structures / Part III：
Arrays / Chapter 9.：
Storage Media and Their Properties / 9a.：
Storage of Arrays / 9b.：
Sparse Matrices / 9c.：
Storage Allocation at Execution Time / 9d.：
Lists and List Structures / Chapter 10.：
Lists--Introductory Concepts / 10a.：
Sparse Matrices and Cross-Lists / 10b.：
Formats of List Elements / 10c.：
List Structures / 10d.：
Threaded and Symmetric Lists / 10e.：
Representation of Digraphs as List Structures / 10f.：
Variable Length List Elements / 10g.：
Management of List Stores / 10h.：
PL/1-Type Data Structures / 10i.：
Organization of Files / Chapter 11.：
Records and Files / 11a.：
Indexed Files / 11b.：
Scatter Storage Techniques / 11c.：
Sorting / 11d.：
Magnetic Tape Files / 11e.：
Tape Sorting / 11f.：
Files and Disks / 11g.：
Application Studies / Chapter 12.：
Precedence Grammars / 12a.：
Radix Sorting / 12b.：
Symbolic Differentiation / 12c.：
K-Trees and Cycles / 12d.：
Scheduling Networks / 12e.：
Solutions to Selected Exercises
Bibliography
Index
Preface
Acknowledgments
Discrete Structures in Mathematics / Part I：
6.

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

図書
図書
7. Designing systems programs
Richard L. Gauthier, Stephen D. Ponto
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1970  xiv, 274 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
8.

図書
図書
8. High-level language computer architecture
edited by Yaohan Chu ; contributors, Howard M. Bloom ... [et al.]
出版情報: New York : Academic Press, 1975  xii, 273 p. ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. Managing a programming project
[by] Philip W. Metzger
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, [1973]  xvi, 201 p. ; 24 cm
所蔵情報: loading…
10.

図書
図書
10. Computer semantics : studies of algorithms, processors, and languages
John A.N. Lee
出版情報: New York : Van Nostrand Reinhold, c1972  xvi, 397 p. ; 24 cm
シリーズ名: Computer science series
所蔵情報: loading…
11.

図書
図書
11. 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…
12.

図書
図書
12. Algorithms+data structures=programs
Niklaus Wirth
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1976  xvii, 366 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
13.

図書
図書
13. A discipline of programming
Edsger W. Dijkstra
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1976  xvii, 217 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
14.

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

図書
図書
15. APL programming and computer techniques
[by] Harry Katzan, Jr
出版情報: New York : Van Nostrand Reinhold, c1970  xiii, 329 p ; 24 cm
シリーズ名: Computer science series
所蔵情報: loading…
16.

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

図書
図書
17. Increasing programmer productivity through logic development
Gloria Harrington Swann
出版情報: New York : Petrocelli Books, c1978  116 p. ; 22 cm
所蔵情報: loading…
18.

図書
図書
18. The design and analysis of computer algorithms
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
出版情報: Reading, MA : Addison-Wesley, 1974  x, 470 p. ; 24 cm
シリーズ名: Addison-Wesley series in computer science and information processing
所蔵情報: loading…
19.

図書
図書
19. Computer algorithms : introduction to design and analysis
Sara Baase
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1978  xvii, 286 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
20.

図書
図書
20. Fundamental algorithms. 2nd ed (: hard ; : pbk)
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, c1973  xxi, 634 p. ; 24 cm
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; 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
21.

図書
図書
21. PL/I programming in technological applications
Gabriel F. Groner
出版情報: New York : Wiley-Interscience, 1971  x, 230 p ; 29 cm
所蔵情報: loading…
22.

図書
図書
22. Computer programming: techniques, analysis, and mathematics
[by] Richard V. Andree, Josephine P. Andree [and] David D. Andree
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, [1973]  xvii, 549 p. ; 25 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
23.

図書
図書
23. Systems programming. International student ed.
John J. Donovan
出版情報: Tokyo ; Auckland : McGraw-Hill Kogakusha, c1972  xviii, 488 p. ; 21 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
24.

図書
図書
24. Problem solving by digital computers with PL/I programming
Andrew Vazsonyi
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, [1970]  xii, 530, x, viii p ; 26 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
25.

図書
図書
25. Information processing and computer programming : an introduction (: pbk)
[by] Harold C. Hill
出版情報: Los Angeles : Melville Pub. Co, [1973]  xiv, 408 p ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. Design of on-line computer systems
Edward Yourdon
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972  xv, 608 p. ; 25 cm
所蔵情報: loading…
27.

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

図書
図書
28. Techniques of program structure and design
Edward Yourdon
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1975  xv, 364 p. ; 24 cm
所蔵情報: loading…
29.

図書
図書
29. The logical design of operating systems
Alan C. Shaw
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1974  xiii, 306 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
30.

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

図書
図書
31. Mathematics for data processing
by Salvatore DeAngelo and Paul Jorgensen
出版情報: New York : McGraw-Hill, c1970  xii, 488 p. ; 23 cm
所蔵情報: loading…
32.

図書
図書
32. Discrete computational structures
[by] Robert R. Korfhage
出版情報: New York : Academic Press, c1974  xiii, 381 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
33.

図書
図書
33. Computer data processing and programming
[by] Thomas R. Gildersleeve
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, [1970]  xii, 170 p ; 25 cm
所蔵情報: loading…
34.

図書
図書
34. Structured design : fundamentals of a discipline of computer program and systems design
Edward Yourdon, Larry L. Constantine
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1979  xix, 473 p. ; 24 cm
所蔵情報: loading…
35.

図書
図書
35. Fundamentals of the computing sciences
Kurt Maly, Allen R. Hanson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1978  xxi, 488 p. ; 24 cm
所蔵情報: loading…
36.

図書
図書
36. The individual programmer
J.D. Aron
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1974  xxii, 264 p. ; 25 cm
シリーズ名: The systems programming series ; . The program development process ; pt. 1
所蔵情報: loading…
37.

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

図書
図書
38. Systems programming
John J. Donovan
出版情報: New York : McGraw-Hill, c1972  xviii, 488 p ; 24 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
39.

図書
図書
39. Introduction to operating system design
A. N. Habermann
出版情報: Chicago : Science Research Associates, c1976  x, 372 p. ; 25 cm
シリーズ名: The SRA computer science series
所蔵情報: loading…
40.

図書
図書
40. Principles of software engineering and design
Marvin V. Zelkowitz, Alan C. Shaw, John D. Gannon
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1979  xii, 338 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
41.

図書
図書
41. Systematic programming : an introduction
Niklaus Wirth
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1973  xiv, 169 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
42.

図書
図書
42. Programs from decision tables (: American Elsevier ; : Macdonald)
E. Humby
出版情報: London : Macdonald and Co. , New York : American Elsevier, c1973  [6], 91 p. ; 23 cm
シリーズ名: Computer monographs ; 19
所蔵情報: loading…
43.

図書
図書
43. Computational structures : an introduction to non-numerical computing (: u.s. ; : u.k.)
Patrick A.V. Hall
出版情報: London : Macdonald and Jane's , New York : American Elsevier, 1975  xv, 193 p. ; 23 cm
シリーズ名: Computer monographs ; 23
所蔵情報: loading…
44.

図書
図書
44. Implementing software for non-numeric applications
W. M. Waite
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1973  xv, 510 p ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
45.

図書
図書
45. Computing: fundamentals and applications
[by] Taylor L. Booth [and] Yi-tzuu Chien
出版情報: Santa Barbara, Calif. : Hamilton, c1974  xix, 497 p. ; 24 cm
所蔵情報: loading…
46.

図書
図書
46. Computer organization and programming. 2 ed.
by C. William Gear
出版情報: New York ; Tokyo : McGraw-Hill, c1974  xiv, 455 p. ; 23 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
47.

図書
図書
47. Informal introduction to ALGOL 68
by C.H. Lindsey and S.G. van der Meulen
出版情報: Amsterdam : North-Holland Pub., 1971  viii, 368 p., fold. l ; 23 cm
所蔵情報: loading…
48.

図書
図書
48. Mes premières constructions de programmes (: gw ; : us)
A. Gerbier, [avec la collaboration de Pierre Bacchus et al.]
出版情報: Berlin ; New York : Springer-Verlag, 1977  xii, 256 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 55
所蔵情報: loading…
49.

図書
図書
49. Fundamental concepts of programming systems
Jeffrey D. Ullman
出版情報: Reading, Mass. : Addison-Wesley, c1976  ix, 328 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science and information processing
所蔵情報: loading…
50.

図書
図書
50. Applied computation theory : analysis, design, modeling
Raymond T. Yeh, editor
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1976  xiii, 624 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
51.

図書
図書
51. 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  viii, 629 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 75
所蔵情報: loading…
52.

図書
図書
52. Introduction to computing : structured problem solving using WATFIV-S
V. A. Dyck, J. D. Lawson, J. A. Smith
出版情報: Reston, Va. : Reston Pub. Co., c1979  xx, 604 p. ; 24 cm
所蔵情報: loading…
53.

図書
図書
53. Introduction to computer organization and data structures
Harold S. Stone
出版情報: New York : McGraw-Hill, c1972  321 p. ; 24 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
54.

図書
図書
54. Fundamentals of computer algorithms
Ellis Horowitz, Sartaj Sahni
出版情報: Rockville, Md. : Computer Science Press, c1978  xiv, 626 p. ; 24 cm
シリーズ名: Computer software engineering series
所蔵情報: loading…
55.

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

図書
図書
56. Executive programs and operating systems (: uk ; : us)
edited by G. Cuttle & P.B. Robinson
出版情報: London : Macdonald, 1970 , New York : American Elsevier  [10], 116 p. ; 23 cm
シリーズ名: Computer monographs ; 10
所蔵情報: loading…
57.

図書
図書
57. Sorting and searching. [2nd printing]
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, c1973  xi, 723 p., [1] folded leaf of plate ; 24 cm
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 3
所蔵情報: loading…
目次情報: 続きを見る
Sorting / 5：
Combinatorial Properties of Permutations
Inversions
Permutations of a Multiset
Runs
Tableaux and Involutions
Internal sorting
Sorting by Insertion
Sorting by Exchanging
Sorting by Selection
Sorting by Merging
Sorting by Distribution
Optimum Sorting
Minimum-Comparison Sorting
Minimum-Comparison Merging
Minimum-Comparison Selection
Networks for Sorting
External Sorting
Multiway Merging and Replacement Selection
The Polyphase Merge
The Cascade Merge
Reading Tape Backwards
The Oscillating Sort
Practical Considerations for Tape Merging
External Radix Sorting
Two-Tape Sorting
Disks and Drums
Summary, History, and Bibliography
Searching / 6：
Sequential Searching
Searching by Comparison of Keys
Searching an Ordered Table
Binary Tree Searching
Balanced Trees
Multiway Trees
Digital Searching
Hashing
Retrieval on Secondary Keys
Answers to Exercises
Tables of Numerical Quantities / Appendix A：
Fundamental Constants (decimal)
Fundamental Constants (octal)
Harmonic Numbers, Bernoulli Numbers, Fibonacci Numbers
Index to Notations / Appendix B：
Index and Glossary
Sorting / 5：
Combinatorial Properties of Permutations
Inversions
58.

図書
図書
58. Programs and machines : an introduction to the theory of computation
Richard Bird
出版情報: London ; New York : Wiley, c1976  x, 214 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
59.

図書
図書
59. Introduction to programming and computer science. International student ed
Anthony Ralston
出版情報: New York ; Tokyo : McGraw-Hill, c1971  xxiii, 513 p. ; 23 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
60.

図書
図書
60. PL/I for scientific programmers
C. T. Fike
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1970  xiii, 241 p ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
61.

図書
図書
61. Data-structures and programming
Malcolm C. Harrison
出版情報: Glenview, Ill. : Scott, Foresman, c1973  322 p. ; 24 cm
所蔵情報: loading…
62.

図書
図書
62. Structured programming and problem solving with ALGOL W
Richard B. Kieburtz
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, [1975]  xiv, 365 p. ; 29 cm
所蔵情報: loading…
63.

図書
図書
63. Digital networks and computer systems
[by] Taylor L. Booth
出版情報: New York : John Wiley, c1971  xiii, 451 p. ; 24 cm
所蔵情報: loading…
64.

図書
図書
64. Flowcharts
Ned Chapin
出版情報: Princeton : Auerbach, [1971]  179 p. ; 24 cm
所蔵情報: loading…
65.

図書
図書
65. Computing: an introduction to procedures and procedure-followers
[by] Fred M. Tonge [and] Julian Feldman
出版情報: New York : McGraw-Hill, c1975  xii, 303 p. ; 25 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
66.

図書
図書
66. Introduction to data structures and non-numeric computation
[by] Peter C. Brillinger [and] Doron J. Cohen
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972  629 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
67.

図書
図書
67. COBOL programming
[by] Nancy B. Stern [and] Robert A. Stern
出版情報: New York : Wiley, c1970  xi, 351 p ; 27 cm
所蔵情報: loading…
68.

図書
図書
68. Data base systems : Courant Computer Science Symposium 6, May 24-25, 1971
edited by Randall Rustin
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972  184 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
69.

図書
図書
69. Computer programming : a total language approach
Dale W. Washburn
出版情報: New York : Holt, Rinehart and Winston, c1970  xix, 490 p. ; 25 cm
所蔵情報: loading…
70.

図書
図書
70. Elements of computer programming. 2nd ed
[by] Kenneth P. Swallow [and] Wilson T. Price
出版情報: New York : Holt, Rinehart and Winston, [1970]  xv, 456 p. ; 24 cm
所蔵情報: loading…
71.

図書
図書
71. Mathematical theory of computation
Zohar Manna
出版情報: New York ; Tokyo : McGraw-Hill, c1974  x, 448 p. ; 24 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
72.

図書
図書
72. Techniques in computer programming
Philip M. Sherman
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1970  xiii, 348 p. ; 25 cm
所蔵情報: loading…
73.

図書
図書
73. Computer approaches to mathematical problems
Jurg Nievergelt, J. Craig Farrar, Edward M. Reingold
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1974  xiii, 257 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
74.

図書
図書
74. 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  x, 338 p. ; 24 cm
シリーズ名: A series of books in the mathematical sciences
所蔵情報: loading…
75.

図書
図書
75. Principles of program design
M. A. Jackson
出版情報: London ; New York : Academic Press, 1975  xii, 299 p. ; 24 cm
シリーズ名: A.P.I.C. studies in data processing ; no. 12
所蔵情報: loading…
76.

図書
図書
76. Complexity of sequential and parallel numerical algorithms : proceedings
edited by J. F. Traub
出版情報: New York : Academic Press, 1973  ix, 300 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼