close
1.

図書
図書
1. A Little Smalltalk (: pbk)
Timothy Budd
出版情報: Reading, Mass. : Addison-Wesley, c1987  xv, 280 p. ; 24 cm
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

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

図書
図書
4. Algorithmic language and program development (: New York ; : Berlin)
F.L. Bauer, H. Wössner, in collaboration with H. Partsch and P. Pepper
出版情報: Berlin ; New York : Springer-Verlag, 1982  xvi, 497 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
5.

図書
図書
5. 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…
6.

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

図書
図書
7. 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：
8.

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

図書
図書
9. Writing a UNIX device driver (: pbk)
Janet I. Egan and Thomas J. Teixeira
出版情報: New York : Wiley, c1988  viii, 357 p. ; 26 cm
所蔵情報: loading…
10.

図書
図書
10. Tutorial on software design techniques. 4th ed (: pbk ; : microfiche)
[edited by] Peter Freeman, Anthony I. Wasserman
出版情報: [Silver Spring, MD] : IEEE Computer Society Press , [Los Angeles, CA] : Order from IEEE Computer Society, c1983  ix, 719 p. ; 28 cm
所蔵情報: loading…
11.

図書
図書
11. Advanced programming : design and structure using Pascal
Lawrence H. Miller
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1986  xv, 574 p. ; 25 cm
所蔵情報: loading…
12.

図書
図書
12. P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us)
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984  vii, 248 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
13.

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

図書
図書
14. 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…
15.

図書
図書
15. 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…
16.

図書
図書
16. System simulation : programming styles and languages
Wolfgang Kreutzer
出版情報: Sydney ; Tokyo : Addison-Wesley, c1986  xi, 366 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
17.

図書
図書
17. 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…
18.

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

図書
図書
19. 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…
20.

図書
図書
20. Algorithms and applications on vector and parallel computers
edited by H.J.J. te Riele, Th.J. Dekker, H.A. van der Vorst
出版情報: Amsterdam ; Tokyo : North-Holland, 1987  xi, 457 p. ; 25 cm
シリーズ名: Special topics in supercomputing ; v. 3
所蔵情報: loading…
21.

図書
図書
21. 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…
22.

図書
図書
22. The IOTA programming system : a modular programming environment (: gw ; : us)
edited by R. Nakajima and T. Yuasa
出版情報: Berlin ; New York : Springer-Verlag, 1983  vii, 217 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 160
所蔵情報: loading…
23.

図書
図書
23. 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…
24.

図書
図書
24. 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…
25.

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

図書
図書
26. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us)
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 300 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: loading…
27.

図書
図書
27. 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…
28.

図書
図書
28. File design and programming
W. Wesley Peterson and Art Lew
出版情報: New York : Wiley, c1986  xv, 381 p. ; 25 cm
所蔵情報: loading…
29.

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

図書
図書
30. Algorithms : their complexity and efficiency. 2nd ed.
Lydia Kronsjö
出版情報: Chichester ; New York : Wiley, c1987  xiii, 363 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
31.

図書
図書
31. Translating relational queries into iterative programs (: gw ; : us)
Johann Christoph Freytag
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xi, 131 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 261
所蔵情報: loading…
32.

図書
図書
32. The cognitive computer : on language, learning, and artificial intelligence (: [hbk] ; : pbk)
Roger C. Schank with Peter G. Childers
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984  xiii, 268 p. ; 25 cm
所蔵情報: loading…
33.

図書
図書
33. Structured computer organization. 4th ed (:uk ; :us)
Andrew S. Tanenbaum ; with contributions from James R. Goodman
出版情報: London : Prentice Hall International , Upper Saddle River, N.J. : Prentice Hall, c1999  xviii, 669 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Computer Systems Organization / 2：
The Digital Logic Level / 3：
The Microarchitecture Level / 4：
The Instruction Set Architecture Level / 5：
The Operating System Machine Level / 6：
The Assembly Language Level / 7：
Parallel Computer Architectures / 8：
Reading List and Bibliography / 9：
Binary Numbers / Appendix A：
Floating-Point Numbers / Appendix B：
Preface
Structured Computer Organization / 1.1：
Languages, Levels, and Virtual Machines / 1.1.1：
Contemporary Multilevel Machines / 1.1.2：
Evolution of Multilevel Machines / 1.1.3：
Milestones in Computer Architecture / 1.2：
The Zeroth Generation-Mechanical Computers (1642-1945) / 1.2.1：
The First Generation-Vacuum Tubes (1945-1955) / 1.2.2：
The Second Generation-Transistors (1955-1965) / 1.2.3：
The Third Generation-Integrated Circuits (1965-1980) / 1.2.4：
The Fourth Generation-Very Large Scale Integration (1980-?) / 1.2.5：
The Fifth Generation-Invisible Computers / 1.2.6：
The Computer Zoo / 1.3：
Technological and Economic Forces / 1.3.1：
The Computer Spectrum / 1.3.2：
Disposable Computers / 1.3.3：
Microcontrollers / 1.3.4：
Game Computers / 1.3.5：
Personal Computers / 1.3.6：
Servers / 1.3.7：
Collections of Workstations / 1.3.8：
Mainframes / 1.3.9：
Example Computer Families / 1.4：
Introduction to the Pentium 4 / 1.4.1：
Introduction to the UltraSPARC III / 1.4.2：
Introduction to the 8051 / 1.4.3：
Metric Units / 1.5：
Outline of This Book / 1.6：
Processors / 2.1：
CPU Organization / 2.1.1：
Instruction Execution / 2.1.2：
RISC versus CISC / 2.1.3：
Design Principles for Modern Computers / 2.1.4：
Instruction-Level Parallelism / 2.1.5：
Processor-Level Parallelism / 2.1.6：
Primary Memory / 2.2：
Bits / 2.2.1：
Memory Addresses / 2.2.2：
Byte Ordering / 2.2.3：
Error-Correcting Codes / 2.2.4：
Cache Memory / 2.2.5：
Memory Packaging and Types / 2.2.6：
Secondary Memory / 2.3：
Memory Hierarchies / 2.3.1：
Magnetic Disks / 2.3.2：
Floppy Disks / 2.3.3：
IDE Disks / 2.3.4：
SCSI Disks / 2.3.5：
RAID / 2.3.6：
CD-ROMs / 2.3.7：
CD-Recordables / 2.3.8：
CD-Rewritables / 2.3.9：
DVD / 2.3.10：
Blu-Ray / 2.3.11：
Input/Output / 2.4：
Buses / 2.4.1：
Terminals / 2.4.2：
Mice / 2.4.3：
Printers / 2.4.4：
Telecommunications Equipment / 2.4.5：
Digital Cameras / 2.4.6：
Character Codes / 2.4.7：
Summary / 2.5：
Gates and Boolean Algebra / 3.1：
Gates / 3.1.1：
Boolean Algebra / 3.1.2：
Implementation of Boolean Functions / 3.1.3：
Circuit Equivalence / 3.1.4：
Basic Digital Logic Circuits / 3.2：
Integrated Circuits / 3.2.1：
Combinational Circuits / 3.2.2：
Arithmetic Circuits / 3.2.3：
Clocks / 3.2.4：
Memory / 3.3：
Latches / 3.3.1：
Flip-Flops / 3.3.2：
Registers / 3.3.3：
Memory Organization / 3.3.4：
Memory Chips / 3.3.5：
RAMs and ROMs / 3.3.6：
CPU Chips and Buses / 3.4：
CPU Chips / 3.4.1：
Computer Buses / 3.4.2：
Bus Width / 3.4.3：
Bus Clocking / 3.4.4：
Bus Arbitration / 3.4.5：
Bus Operations / 3.4.6：
Example CPU Chips / 3.5：
The Pentium 4 / 3.5.1：
The UltraSPARC III / 3.5.2：
The 8051 / 3.5.3：
Example Buses / 3.6：
The ISA Bus / 3.6.1：
The PCI Bus / 3.6.2：
PCI Express / 3.6.3：
The Universal Serial Bus / 3.6.4：
Interfacing / 3.7：
I/O Chips / 3.7.1：
Address Decoding / 3.7.2：
An Example Microarchitecture / 3.8：
The Data Path / 4.1.1：
Microinstructions / 4.1.2：
Microinstruction Control: The Mic-1 / 4.1.3：
An Example Isa: IJVM / 4.2：
Stacks / 4.2.1：
The IJVM Memory Model / 4.2.2：
The IJVM Instruction Set / 4.2.3：
Compiling Java to IJVM / 4.2.4：
An Example Implementation / 4.3：
Microinstructions and Notation / 4.3.1：
Implementation of IJVM Using the Mic-1 / 4.3.2：
Design of the Microarchitecture Level / 4.4：
Speed versus Cost / 4.4.1：
Reducing the Execution Path Length / 4.4.2：
A Design with Prefetching: The Mic-2 / 4.4.3：
A Pipelined Design: The Mic-3 / 4.4.4：
A Seven-Stage Pipeline: The Mic-4 / 4.4.5：
Improving Performance / 4.5：
Branch Prediction / 4.5.1：
Out-of-Order Execution and Register Renaming / 4.5.3：
Speculative Execution / 4.5.4：
Examples of the Microarchitecture Level / 4.6：
The Microarchitecture of the Pentium 4 CPU / 4.6.1：
The Microarchitecture of the UltraSPARC-III Cu CPU / 4.6.2：
The Microarchitecture of the 8051 CPU / 4.6.3：
Comparison of the Pentium, Ultrasparc, and 8051 / 4.7：
Overview of the ISA Level / 4.8：
Properties of the ISA Level / 5.1.1：
Memory Models / 5.1.2：
Instructions / 5.1.3：
Overview of the Pentium 4 ISA Level / 5.1.5：
Overview of the UltraSPARC III ISA Level / 5.1.6：
Overview of the 8051 ISA Level / 5.1.7：
Data Types / 5.2：
Numeric Data Types / 5.2.1：
Nonnumeric Data Types / 5.2.2：
Data Types on the Pentium 4 / 5.2.3：
Data Types on the UltraSPARC III / 5.2.4：
Data Types on the 8051 / 5.2.5：
Instruction Formats / 5.3：
Design Criteria for Instruction Formats / 5.3.1：
Expanding Opcodes / 5.3.2：
The Pentium 4 Instruction Formats / 5.3.3：
The UltraSPARC III Instruction Formats / 5.3.4：
The 8051 Instruction Formats / 5.3.5：
Addressing / 5.4：
Addressing Modes / 5.4.1：
Immediate Addressing / 5.4.2：
Direct Addressing / 5.4.3：
Register Addressing / 5.4.4：
Register Indirect Addressing / 5.4.5：
Indexed Addressing / 5.4.6：
Based-Indexed Addressing / 5.4.7：
Stack Addressing / 5.4.8：
Addressing Modes for Branch Instructions / 5.4.9：
Orthogonality of Opcodes and Addressing Modes / 5.4.10：
The Pentium 4 Addressing Modes / 5.4.11：
The UltraSPARC III Addressing Modes / 5.4.12：
The 8051 Addressing Modes / 5.4.13：
Discussion of Addressing Modes / 5.4.14：
Instruction Types / 5.5：
Data Movement Instructions / 5.5.1：
Dyadic Operations / 5.5.2：
Monadic Operations / 5.5.3：
Comparisons and Conditional Branches / 5.5.4：
Procedure Call Instructions / 5.5.5：
Loop Control / 5.5.6：
The Pentium 4 Instructions / 5.5.7：
The UltraSPARC III Instructions / 5.5.9：
The 8051 Instructions / 5.5.10：
Comparison of Instruction Sets / 5.5.11：
Flow of Control / 5.6：
Sequential Flow of Control and Branches / 5.6.1：
Procedures / 5.6.2：
Coroutines / 5.6.3：
Traps / 5.6.5：
Interrupts
A Detailed Example: The Towers of Hanoi / 5.7：
The Towers of Hanoi in Pentium 4 Assembly Language / 5.7.1：
The Towers of Hanoi in UltraSPARC III Assembly Language / 5.7.2：
The IA-64 Architecture and the Itanium 2 / 5.8：
The Problem with the Pentium 4 / 5.8.1：
The IA-64 Model: Explicitly Parallel Instruction Computing / 5.8.2：
Reducing Memory References / 5.8.3：
Instruction Scheduling / 5.8.4：
Reducing Conditional Branches: Predication / 5.8.5：
Speculative Loads / 5.8.6：
Virtual Memory / 5.9：
Paging / 6.1.1：
Implementation of Paging / 6.1.2：
Demand Paging and the Working Set Model / 6.1.3：
Page Replacement Policy / 6.1.4：
Page Size and Fragmentation / 6.1.5：
Segmentation / 6.1.6：
Implementation of Segmentation / 6.1.7：
Virtual Memory on the Pentium 4 / 6.1.8：
Virtual Memory on the UltraSPARC III / 6.1.9：
Virtual Memory and Caching / 6.1.10：
Virtual I/O Instructions / 6.2：
Files / 6.2.1：
Implementation of Virtual I/O Instructions / 6.2.2：
Directory Management Instructions / 6.2.3：
Virtual Instructions for Parallel Processing / 6.3：
Process Creation / 6.3.1：
Race Conditions / 6.3.2：
Process Synchronization Using Semaphores / 6.3.3：
Example Operating Systems / 6.4：
Examples of Virtual Memory / 6.4.1：
Examples of Virtual I/O / 6.4.3：
Examples of Process Management / 6.4.4：
Introduction to Assembly Language / 6.5：
What Is an Assembly Language? / 7.1.1：
Why Use Assembly Language? / 7.1.2：
Format of an Assembly Language Statement / 7.1.3：
Pseudoinstructions / 7.1.4：
Macros / 7.2：
Macro Definition, Call, and Expansion / 7.2.1：
Macros with Parameters / 7.2.2：
Advanced Features / 7.2.3：
Implementation of a Macro Facility in an Assembler / 7.2.4：
The Assembly Process / 7.3：
Two-Pass Assemblers / 7.3.1：
Pass One / 7.3.2：
Pass Two / 7.3.3：
The Symbol Table / 7.3.4：
Linking and Loading / 7.4：
Tasks Performed by the Linker / 7.4.1：
Structure of an Object Module / 7.4.2：
Binding Time and Dynamic Relocation / 7.4.3：
Dynamic Linking / 7.4.4：
On-Chip Paralellism / 7.5：
On-Chip Multithreading / 8.1.1：
Single-Chip Multiprocessors / 8.1.3：
Coprocessors / 8.2：
Network Processors / 8.2.1：
Media Processors / 8.2.2：
Cryptoprocessors / 8.2.3：
Shared-Memory Multiprocessors / 8.3：
Multiprocessors vs. Multicomputers / 8.3.1：
Memory Semantics / 8.3.2：
UMA Symmetric Multiprocessor Architectures / 8.3.3：
NUMA Multiprocessors / 8.3.4：
COMA Multiprocessors / 8.3.5：
Message-Passing Multicomputers / 8.4：
Interconnection Networks / 8.4.1：
MPPs-Massively Parallel Processors / 8.4.2：
Cluster Computing / 8.4.3：
Communication Software for Multicomputers / 8.4.4：
Scheduling / 8.4.5：
Application-Level Shared Memory / 8.4.6：
Performance / 8.4.7：
Grid Computing / 8.5：
Suggestions for Further Reading / 8.6：
Introduction and General Works / 9.1.1：
Binary and Floating-Point Numbers / 9.1.2：
Assembly Language Programming / 9.1.10：
Alphabetical Bibliography / 9.2：
Finte-Precision Numbers / A：
Radix Number Systems / A.2：
Conversion From One Radix to Another / A.3：
Negative Binary Numbers / A.4：
Binary Arithmetic / A.5：
Principles of Floating Point / B：
IEEE Floating-Point Standard 754 / B.2：
Overview / C：
Assembly Language / C.1.1：
A Small Assembly Language Program / C.1.2：
The 8088 Processor / C.2：
The Processor Cycle / C.2.1：
The General Registers / C.2.2：
Pointer Registers / C.2.3：
Memory and Addressing / C.3：
Memory Organization and Segments / C.3.1：
The 8088 Instruction Set / C.3.2：
Move, Copy and Arithmetic / C.4.1：
Logical, Bit and Shift Operations / C.4.2：
Loop and Repetitive String Operations / C.4.3：
Jump and Call Instructions / C.4.4：
Subroutine Calls / C.4.5：
System Calls and System Subroutines / C.4.6：
Final Remarks on the Instruction Set / C.4.7：
The Assembler / C.5：
The ACK-Based Tutorial Assembler as88 / C.5.1：
Some Differences with Other 8088 Assemblers / C.5.3：
The Tracer / C.6：
Tracer Commands / C.6.1：
Getting Started / C.7：
Examples / C.8：
Hello World Example / C.8.1：
General Registers Example / C.8.2：
Call Command and Pointer Registers / C.8.3：
Debugging an Array Print Program / C.8.4：
Introduction / 1：
Computer Systems Organization / 2：
The Digital Logic Level / 3：
34.

図書
図書
34. GECCO-99 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Eighth International Conference on Genetic Algorithms (ICGA-99) and the Fourth Annual Genetic Programming Conference (GP-99), July 13-17, 1999, Orlando, Florida (v. 1 ; v. 2)
edited by Wolfgang Banzhaf ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c1999  2 v. (xvi, 1876 p.) ; 28 cm
所蔵情報: loading…
35.

図書
図書
35. Система автоматизации программирования
под ред. Н.П. Трифонова и М.Р. Шура-Бура
出版情報: Москва : Гос. изд-во физико-математической лит-ры, 1961  187 p. ; 20 cm
シリーズ名: Библиотека прикладного анализа и вычислительной математики
所蔵情報: loading…
36.

図書
図書
36. GECCO-2000 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the ninth International Conference on Genetic Algorithms (ICGA-2000) and the fifth Annual Genetic Programming Conference (GP-2000), July 10-12, 2000, Las Vegas, Nevada
edited by Darrell Whitley ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c2000  xv, 1088 p. ; 28 cm
所蔵情報: loading…
37.

図書
図書
37. Interactive programming environments
editors, David R. Barstow, Howard E. Shrobe, Erik Sandewall
出版情報: New York : McGraw-Hill, c1984  xii, 609 p. ; 24 cm
所蔵情報: loading…
38.

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

図書
図書
39. Efficiency in program synthesis
by Elaine Kant
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  viii, 162 p. ; 23 cm
シリーズ名: Computer science ; Artificial intelligence ; no. 8
所蔵情報: loading…
40.

図書
図書
40. Mathematical methods in program development
edited by Manfred Broy, Birgit Schieder
出版情報: Berlin : Springer, 1997  viii, 528 p. ; 25 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; v. 158
所蔵情報: loading…
41.

図書
図書
41. The computational beauty of nature : computer explorations of fractals, chaos, complex systems, and adaptation (: hardcover ; : pbk)
Gary William Flake
出版情報: Cambridge, Mass : The MIT Press, c1998  xviii, 493 p. ; 24 cm
シリーズ名: Bradford book
所蔵情報: loading…
目次情報: 続きを見る
Preface
How to Read This Book
Dealing with Difficult Subjects
Personal Motivation
Acknowledgments
Introduction / 1：
Simplicity and Complexity / 1.1：
The Convergence of the Sciences / 1.2：
The Silicon Laboratory / 1.3：
Computation / I：
Number Systems and Infinity / 2：
Introduction to Number Properties / 2.1：
Counting Numbers / 2.2：
Rational Numbers / 2.3：
Irrational Numbers / 2.4：
Further Reading / 2.5：
Computability and Incomputability / 3：
Godelization / 3.1：
Models of Computation / 3.2：
Lisp and Stutter / 3.3：
Equivalence and Time Complexity / 3.4：
Universal Computation and Decision Problems / 3.5：
Incomputability / 3.6：
Number Sets Revisited / 3.7：
Postscript: Computation / 3.8：
Godel's Incompleteness Result / 4.1：
Incompleteness versus Incomputability / 4.2：
Discrete versus Continuous / 4.3：
Incomputability versus Computability / 4.4：
Fractals / 4.5：
Self-Similarity and Fractal Geometry / 5：
The Cantor Set / 5.1：
The Koch Curve / 5.2：
The Peano Curve / 5.3：
Fractional Dimensions / 5.4：
Random Fractals in Nature and Brownian Motion / 5.5：
Further Exploration / 5.6：
L-Systems and Fractal Growth / 5.7：
Production Systems / 6.1：
Turtle Graphics / 6.2：
Affine Transformation Fractals / 6.3：
A Review of Linear Algebra / 7.1：
Composing Affine Linear Operations / 7.2：
The Multiple Reduction Copy Machine Algorithm / 7.3：
Iterated Functional Systems / 7.4：
The Mandelbrot Set and Julia Sets / 7.5：
Iterative Dynamical Systems / 8.1：
Complex Numbers / 8.2：
The Mandelbrot Set / 8.3：
The M-Set and Computability / 8.4：
The M-Set as the Master Julia Set / 8.5：
Other Mysteries of the M-Set / 8.6：
Postscript: Fractals / 8.7：
Algorithmic Regularity as Simplicity / 9.1：
Stochastic Irregularity as Simplicity / 9.2：
Effective Complexity / 9.3：
Chaos / 9.4：
Nonlinear Dynamics in Simple Maps / 10：
The Logistic Map / 10.1：
Stability and Instability / 10.2：
Bifurcations and Universality / 10.3：
Prediction, Layered Pastry, and Information Loss / 10.4：
The Shadowing Lemma / 10.5：
Characteristics of Chaos / 10.6：
Strange Attractors / 10.7：
The Henon Attractor / 11.1：
A Brief Introduction to Calculus / 11.2：
The Lorenz Attractor / 11.3：
The Mackey-Glass System / 11.4：
Producer-Consumer Dynamics / 11.5：
Producer-Consumer Interactions / 12.1：
Predator-Prey Systems / 12.2：
Generalized Lotka-Volterra Systems / 12.3：
Individual-Based Ecology / 12.4：
Unifying Themes / 12.5：
Controlling Chaos / 12.6：
Taylor Expansions / 13.1：
Vector Calculus / 13.2：
Inner and Outer Vector Product / 13.3：
Eigenvectors, Eigenvalues, and Basis / 13.4：
OGY Control / 13.5：
Controlling the Henon Map / 13.6：
Postscript: Chaos / 13.7：
Chaos and Randomness / 14.1：
Randomness and Incomputability / 14.2：
Incomputability and Chaos / 14.3：
Complex Systems / 14.4：
Cellular Automata / 15：
One-Dimensional CA / 15.1：
Wolfram's CA Classification / 15.2：
Langton's Lambda Parameter / 15.3：
Conway's Game of Life / 15.4：
Natural CA-like Phenomena / 15.5：
Autonomous Agents and Self-Organization / 15.6：
Termites / 16.1：
Virtual Ants / 16.2：
Flocks, Herds, and Schools / 16.3：
Competition and Cooperation / 16.4：
Game Theory and Zero-Sum Games / 17.1：
Nonzero-Sum Games and Dilemmas / 17.2：
Iterated Prisoner's Dilemma / 17.3：
Stable Strategies and Other Considerations / 17.4：
Ecological and Spatial Worlds / 17.5：
Final Thoughts / 17.6：
Natural and Analog Computation / 17.7：
Artificial Neural Networks / 18.1：
Associative Memory and Hebbian Learning / 18.2：
Recalling Letters / 18.3：
Hopfield Networks and Cost Optimization / 18.4：
Postscript: Complex Systems / 18.5：
Phase Transitions in Networks / 19.1：
Phase Transitions in Computation / 19.2：
Phase Transitions and Criticality / 19.3：
Adaptation / 19.4：
Genetics and Evolution / 20：
Biological Adaptation / 20.1：
Heredity as Motivation for Simulated Evolution / 20.2：
Details of a Genetic Algorithm / 20.3：
A Sampling of GA Encodings / 20.4：
Schemata and Implicit Parallelism / 20.5：
Other Evolutionary Inspirations / 20.6：
Classifier Systems / 20.7：
Feedback and Control / 21.1：
Production, Expert, and Classifier Systems / 21.2：
The Zeroth Level Classifier System / 21.3：
Experiments with ZCS / 21.4：
Neural Networks and Learning / 21.5：
Pattern Classification and the Perceptron / 22.1：
Linear Inseparability / 22.2：
Multilayer Perceptrons / 22.3：
Backpropagation / 22.4：
Function Approximation / 22.5：
Internal Representations / 22.6：
Other Applications / 22.7：
Postscript: Adaptation / 22.8：
Models and Search Methods / 23.1：
Search Methods and Environments / 23.2：
Environments and Models / 23.3：
Adaptation and Computation / 23.4：
Epilogue / 23.5：
Duality and Dichotomy / 24：
Web of Connections / 24.1：
Interfaces to Hierarchies / 24.2：
Limitations on Knowledge / 24.3：
Source Code Notes
Glossary
Bibliography
Index
Preface
How to Read This Book
Dealing with Difficult Subjects
42.

図書
図書
42. Software engineering : a practitioner's approach. 4th ed., International ed.
Roger S. Pressman
出版情報: New York : McGraw-Hill, 1997  xxvii, 852 p. ; 24 cm
シリーズ名: McGraw-Hill international editions ; . Software engineering series
McGraw-Hill computer science series ; . Software engineering and database
所蔵情報: loading…
目次情報: 続きを見る
The Product and the Process / Part 1：
The Product / Chapter 1：
The Evolving Role of Software / 1.1：
Software / 1.2：
Software: A Crisis on the Horizon / 1.3：
Software Myths / 1.4：
Summary / 1.5：
References
Problems and Points To Ponder
Further Readings and Information Sheets
The Process / Chapter 2：
Software Engineering - A Layered Technology / 2.1：
The Software Process / 2.2：
Software Process Models / 2.3：
The Linear Sequential Model / 2.4：
The Prototyping Model / 2.5：
The RAD Model / 2.6：
Evolutionary Software Process Models / 2.7：
Component-Based Development / 2.8：
The Formal Methods Model / 2.9：
Fourth Generation techniques / 2.10：
Process Technology / 2.11：
Product and Process / 2.12：
Further Readings and Information Resources / 2.13：
Managing Software Projects / Part 2：
Project Management Concepts / Chapter 3：
The Management Spectrum / 3.1：
People / 3.2：
The Project / 3.3：
The W5HH Principle / 3.6：
Critical Practices / 3.7：
Further Readings and Information Sources / 3.8：
Software Process and Project Metrics / Chapter 4：
Measures, Metrics and Indicators / 4.1：
Metrics in the Process and Project Domains / 4.2：
Software Measurement / 4.3：
Reconciling Different Metric Approaches / 4.4：
Metrics for Software Quality / 4.5：
Integrating Metrics Within the Software Engineering Process / 4.6：
The Development of Metrics and GQM / 4.7：
Managing Variation - Statistical Process Control / 4.8：
Metrics for Small Organisations / 4.9：
Establishing a Software Metrics Program / 4.10：
Further Reading and Information Sources / 4.11：
Software Project Planning / Chapter 5：
Observations on Estimating / 5.1：
Project Planning Objectives / 5.2：
Software Scope / 5.3：
Resources / 5.4：
Software Project Estimation / 5.5：
Decomposition Techniques / 5.6：
Empirical Estimation Models / 5.7：
The Make-Buy Decision / 5.8：
Automated Estimation Tools / 5.9：
Risk Analysis and Management / 5.10：
Reactive vs. Proactive Risk Strategies / 6.1：
Software Risks / 6.2：
Risk Identification / 6.3：
Risk Projection / 6.4：
Risk Refinement / 6.5：
Risk Mitigation, Monitoring and Management / 6.6：
Safety Risks and Hazards / 6.7：
The RMMM Plan / 6.8：
Problems and Points to Ponder / 6.9：
Project Scheduling and Tracking / Chapter 7：
Basic Concepts / 7.1：
The Relationship Between People and Effort / 7.2：
Defining a Set Task for the Software Project / 7.3：
Selecting Software Engineering Tasks / 7.4：
Refinement of Major Tasks / 7.5：
Defining a Task Network / 7.6：
Scheduling / 7.7：
Earned Value Analysis / 7.8：
Error Tracking / 7.9：
The Project plan / 7.10：
Software Quality Assurance / 7.11：
Quality Concepts / 8.1：
The Quality Movement / 8.2：
Software Reviews / 8.3：
Formal Technical Reviews / 8.5：
Statistical Quality Assurance / 8.6：
Software Reliability / 8.7：
Mistake Proofing for Software / 8.8：
The ISO 9000 Quality standards / 8.9：
The SQA Plan / 8.10：
Software Configuration Management / 8.11：
The SCM Process / 9.1：
Identification of Objects in the Software Configuration / 9.3：
Version Control / 9.4：
Change Control / 9.5：
Configuration Audit / 9.6：
Status Reporting / 9.7：
Conventional Methods for Software Engineering / 9.8：
Systems Engineering / Chapter 10：
Computer-Based Systems / 10.1：
The System Engineering Hierarchy / 10.2：
Business process Engineering: An Overview / 10.3：
Product Engineering: An Overview / 10.4：
Requirements Engineering / 10.5：
System Modelling / 10.6：
Analysis Concepts and Principles / 10.7：
Requirements Analysis / 11.1：
Requirement s Elicitation for software / 11.2：
Analysis Principles / 11.3：
Software Prototyping / 11.4：
Specification / 11.5：
Specification review / 11.6：
Analysis Modelling / 11.7：
a Brief History / 12.1：
The Elements of the Analysis Model / 12.2：
Data Modelling / 12.3：
Functional modelling and Information Flow / 12.4：
Behavioural Modelling / 12.5：
The Mechanics of Structured Analysis / 12.6：
The Data Dictionary / 12.7：
An Overview of Other Classical Analysis Methods / 12.8：
Design Concepts and Principles / 12.9：
Software Design and Software Engineering / 13.1：
The Design Process / 13.2：
Design Principles / 13.3：
Design Concepts / 13.4：
Effective Modular Design / 13.5：
Design Heuristics for Effective Modularity / 13.6：
The Design Model / 13.7：
Design Documentation / 13.8：
Architectural Design / 13.9：
Software Architecture / 14.1：
Data Design / 14.2：
Architectural Styles / 14.3：
Analysing Alternative Architectural Designs / 14.4：
Mapping Requirements into a Software Architecture / 14.5：
Transform Mapping / 14.6：
Transaction Mapping / 14.7：
Refining the Architectural Design / 14.8：
Using Interface DESIGN / 14.9：
The Golden Rules / 15.1：
User Interface Design / 15.2：
Task Analysis and Modelling / 15.3：
Interface Design Activities / 15.4：
Implementation Tools / 15.5：
Design Evaluation / 15.6：
Component Level DESIGN / 15.7：
Structured Programming / 16.1：
Comparison of Design Notation / 16.2：
Software Testing TECHNIQUES / 16.3：
Software Testing Fundamental / 17.1：
Test Case Design / 17.2：
White-Box Testing / 17.3：
Basis Path Testing / 17.4：
Control Structure Testing / 17.5：
Black-Box Testing / 17.6：
Testing for Specialised Environments, Architectures and Applications / 17.7：
Software Testing STRATEGIES / 17.8：
A Strategic Approach to Software Testing / 18.1：
Strategic Issues / 18.2：
Unit Testing / 18.3：
Integration testing / 18.4：
Validation testing / 18.5：
System Testing / 18.6：
The Art of Debugging / 18.7：
Technical Metrics for SOFTWARE / 18.8：
Software Quality / 19.1：
A Framework for Technical Software Metrics / 19.2：
Metrics for the Analysis Model / 19.3：
Metrics for the Design Model / 19.4：
Metrics for Source Code / 19.5：
Metrics for testing / 19.6：
Metrics for Maintenance / 19.7：
OBJECT-Oriented Software ENGINEERING / 19.8：
OBJECT-Oriented Concepts and PRINCIPLES / Chapter 20：
The Object-Oriented Paradigm / 20.1：
Object-Oriented Concepts / 20.2：
Identifying the Elements of an Object Model / 20.3：
Management of Object-Oriented Software Projects / 20.4：
OBJECT-Oriented Analysis / 20.5：
Object-Oriented Analysis / 21.1：
Domain Analysis / 21.2：
Generic Components of the OO Analysis Model / 21.3：
The OOA Process / 21.4：
The Object-Relationship Model / 21.5：
The Object Behaviour Model / 21.6：
OBJECT-Oriented Design / 21.7：
Design for Object-Oriented Systems / 22.1：
The System design process / 22.2：
The Object Design Process / 22.3：
Design Patterns / 22.4：
Object-Oriented Programming / 22.5：
OBJECT-Oriented Testing / 22.6：
Broadening the View of testing / 23.1：
Testing OOA and OOD models / 23.2：
Object-Oriented Testing Strategies / 23.3：
Test Case design for OO Software / 23.4：
Testing Methods Applicable at the Class Level / 23.5：
Inter-Class test Case Design / 23.6：
Technical Metrics for OBJECT-Oriented Systems / 23.7：
The Intent of Object-Oriented Metrics / 24.1：
The Distinguishing Characteristics of Object-Oriented Metrics / 24.2：
Metrics for the OO Design Model / 24.3：
Class-Oriented metrics / 24.4：
Operation-Oriented Metrics / 24.5：
Metrics for Object-Oriented Testing / 24.6：
Metrics for Object-Oriented Projects / 24.7：
Advanced Topics in Software Engineering / 24.8：
Formal Methods / Chapter 25：
Mathematical preliminaries / 25.1：
Applying Mathematical Notation for Formal Specification / 25.3：
Formal Specification Languages / 25.4：
Using Z to Represent Example Software Component / 25.5：
The Ten Commandments of Formal Methods / 25.6：
Formal Methods - The Road Ahead / 25.7：
Cleanroom Software ENGINEERING / 25.8：
The Cleanroom Approach / 26.1：
Functional Specification / 26.2：
Design Refinement and Verification / 26.3：
Cleanroom Testing / 26.4：
COMPONENT-Based Software ENGINEERING / 26.5：
Engineering of Component-Based Systems / 27.1：
The CBSE Process / 27.2：
Domain Engineering / 27.3：
Classifying and Retrieving Components / 27.4：
Economics of CBSE / 27.6：
CLIENT-Server Software / 27.7：
The Structure of Client Server Systems / 28.1：
Software Engineering for C/S Systems / 28.2：
Analysis Modelling Issues / 28.3：
Design for C/S Systems / 28.4：
Testing Issues / 28.5：
The Design of Distributed Systems / 28.6：
Security Engineering / 28.8：
Software Engineering for C/S systems / 28.9：
Testing issues / 28.10：
WEB ENGINEERING / 28.13：
The Attributes of Web-Based Applications / 29.1：
The WebE Process / 29.2：
A Framework for WebE / 29.3：
Formulating/Analysing Web-Based Systems / 29.4：
Design for Web-Based Applications / 29.5：
Testing Web-Based Applications / 29.6：
Management Issues / 29.7：
Reengineering / 29.8：
Business process Reengineering / 30.1：
Software Reengineering / 30.2：
Reverse Engineering / 30.3：
Restructuring / 30.4：
Forward Engineering / 30.5：
The Economics of Reengineering / 30.6：
Computer-Aided Software Engineering / 30.7：
What is CASE? / 31.1：
Building Blocks for CASE / 31.2：
A Taxonomy of CASE Tools / 31.3：
Integrated CASE Environments / 31.4：
The Integration Architecture / 31.5：
The CASE Repository / 31.6：
The Road Ahead / 31.7：
The Importance of software - Revisited / 32.1：
The Scope of Changes / 32.2：
People and the Way they Build Systems / 32.3：
The "New" Software Engineering Process / 32.4：
New Models for Representing Information / 32.5：
Technology as a Driver / 32.6：
A Concluding Comment / 32.7：
The Product and the Process / Part 1：
The Product / Chapter 1：
The Evolving Role of Software / 1.1：
43.

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

図書
図書
44. 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
45.

図書
図書
45. Real-time software
[edited by] Robert L. Glass
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983  vii, 456 p. ; 24 cm.
所蔵情報: loading…
46.

図書
図書
46. Modern programming practices : a report from industry
Robert L. Glass
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1982  xiv, 311 p. ; 24 cm.
所蔵情報: loading…
47.

図書
図書
47. Structure and interpretation of computer programs. 2nd ed (: hbk ; : pbk. : alk. paper)
Harold Abelson and Gerald Jay Sussman, with Julie Sussman
出版情報: Cambridge, Mass. : MIT Press, c1996  xxiii, 657 p ; 24 cm
シリーズ名: MIT electrical engineering and computer science series
所蔵情報: loading…
目次情報: 続きを見る
Contents
Foreword
Preface to the Second Edition
Preface to the First Edition
Acknowledgments
Building Abstractions with Procedures / 1：
The Elements of Programming / 1.1：
Procedures and the Processes They Generate / 1.2：
Formulating Abstractions with Higher-Order Procedures / 1.3：
Building Abstractions with Data / 2：
Introduction to Data Abstraction / 2.1：
Hierarchical Data and the Closure Property / 2.2：
Symbolic Data / 2.3：
Multiple Representations for Abstract Data / 2.4：
Systems with Generic Operations / 2.5：
Modularity, Objects and State / 3：
Assignment and Local State / 3.1：
The Environmental Model of Evaluation / 3.2：
Modeling with Mutable Data / 3.3：
Concurrency: Time Is of the Essence / 3.4：
Streams / 3.5：
Metalinguistic Abstraction / 4：
The Metaciricular Evaluator / 4.1：
Variations on a Scheme--Lazy Evaluation / 4.2：
Variations on a Scheme--Nondeterministic Computing / 4.3：
Logic Programming / 4.4：
Computing with Register Machines / 5：
Designing Register Machines / 5.1：
A Register-Machine Simulator / 5.2：
Storage Allocation and Garbage Collection / 5.3：
The Explicit Control Evaluator / 5.4：
Compilation / 5.5：
References
List of Exercises
Index
Contents
Foreword
Preface to the Second Edition
48.

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

図書
図書
49. Structure, logic, and program design
Alan Cohen
出版情報: Chichester [West Sussex] : Wiley, c1983  xiii, 287 p. ; 24 cm
所蔵情報: loading…
50.

図書
図書
50. 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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼