close
1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

図書
図書
22. Discrete structures of computer science
Leon S. Levy
出版情報: New York : Wiley, c1980  310 p. ; 24 cm
所蔵情報: loading…
23.

図書
図書
23. Fundamental structures of computer science (hard. ; pbk.)
William A. Wulf ... [et al.]
出版情報: Reading, Mass. : Addison-Wesley, c1981  xviii, 621 p. ; 24 cm
所蔵情報: loading…
24.

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

図書
図書
25. Foundations of programming (alk. paper)
Jacques Arsac; translated by Fraser Duncan
出版情報: London; Orlando : Academic Press, 1985  xxxii, 265 p.; 24 cm.
シリーズ名: A.P.I.C. studies in data processing ; vol. 23
所蔵情報: loading…
目次情報: 続きを見る
Iterative Programming
Recursive Programming
Recurrent Programming From Recursion to Recurrence
From Recursion to Iteration
Regular Actions
Program Transformations
The Transformation of Subprograms from Recursive to Iterative
Analysis Programming
Bibliography
Index
Iterative Programming
Recursive Programming
Recurrent Programming From Recursion to Recurrence
26.

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

図書
図書
27. Programming principles in computer graphics (: pbk)
L. Ammeraal
出版情報: Chichester [West Sussex] ; New York : Wiley, c1986  viii, 168 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Transformations, Windows and Viewports
Geometric Tools
Using Pixels
Perspective
Hidden-Line Elimination
Hidden-Surface Elimination
Some Applications
Appendices
Bibliography
Index
Transformations, Windows and Viewports
Geometric Tools
Using Pixels
28.

図書
図書
28. Virtual memory management
by Richard William Carr
出版情報: Ann Arbor, Mich. : UMI Research Press, c1984  xiii, 158 p. ; 24 cm
シリーズ名: Computer science / ed. by Harold S. Stone ; Systems programming ; no. 20
所蔵情報: loading…
29.

図書
図書
29. On the construction of programs
edited by R.M. McKeag and A.M. Macnaghten
出版情報: Cambridge ; New York : Cambridge University Press, 1980  422 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
An introduction to Pascal-plus / by D.W. Bustard
A structured compiler / by J. Welsh
A structured operating system / by R.M. McKeag
Modules and visibility in the Ada programming language / by J.D. Ichbiah ... [et al.]
Parallel processing in Ada / by O. Roubine & J.-C. Heliard
Concurrent Pascal / by D. Coleman
A model for communicating sequential processes / by C.A.R. Hoare
Languages for parallel computers / by R.H. Perrott
Algorithms for parallel computers / by M. Clint & R.H. Perrott
Information systems : modelling, sequencing, and transformations / by M.A. Jackson
Specification language / by J.R. Abrial, S.A. Schuman & B. Meyer
An introduction to Pascal-plus / by D.W. Bustard
A structured compiler / by J. Welsh
A structured operating system / by R.M. McKeag
30.

図書
図書
30. Formal differentiation : a program synthesis technique
by Robert A. Paige
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  x, 277 p. ; 24 cm
シリーズ名: Computer science ; Artificial intelligence ; no. 6
所蔵情報: loading…
31.

図書
図書
31. Problem solving and computer programming
Peter Grogono, Sharon H. Nelson
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1982  xvi, 284 p. ; 24 cm
所蔵情報: loading…
32.

図書
図書
32. Microprocessors systems : a 16 bit approach (est.)
William J. Eccles
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1985  xviii, 458 p. ; 24 cm
所蔵情報: loading…
33.

図書
図書
33. Deductive reasoning
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. : Tokyo : Addison-Wesley, c1985  xii, 618 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1
所蔵情報: loading…
34.

図書
図書
34. Diagramming techniques for analysts and programmers
James Martin, Carma McClure
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985  xvi, 396 p. ; 25 cm
所蔵情報: loading…
35.

図書
図書
35. Computers and languages : theory and practice
Anton Nijholt
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988  xiii, 482 p. ; 25 cm
シリーズ名: Studies in computer science and artificial intelligence ; 4
所蔵情報: loading…
36.

図書
図書
36. Structured analysis
by Victor Weinberg ; pref. by Edward Yourdon ; [cover design by Suzanne Behnke]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1980  xiv, 328 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
37.

図書
図書
37. Computer programs for spelling correction : an experiment in program design (: gw ; : us)
James L. Peterson
出版情報: Berlin ; New York : Springer-Verlag, 1980  vi, 213 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 96
所蔵情報: loading…
38.

図書
図書
38. Mathematics for the analysis of algorithms
Daniel H. Greene, Donald E, Knuth
出版情報: Boston : Birkhäuser, c1981  107 p. ; 24 cm
シリーズ名: Progress in computer science ; no. 1
所蔵情報: loading…
39.

図書
図書
39. Logic programming : functions, relations, and equations
Doug DeGroot, Gary Lindstrom
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  vii, 533 p. ; 24 cm
所蔵情報: loading…
40.

図書
図書
40. Data structured program design. [Rev. ed.]
Kirk Hansen
出版情報: Englewood Cliffs, NJ : Prentice-Hall, 1986  xiii, 302 p. ; 25 cm
所蔵情報: loading…
41.

図書
図書
41. Algorithms : the construction, proof, and analysis of programs (: pbk)
Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams
出版情報: Chichester [West Sussex] ; New York : J. Wiley, c1986  ix, 145 p. ; 23 cm
所蔵情報: loading…
42.

図書
図書
42. Program construction and verification (: pbk)
Roland C. Backhouse
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1986  281 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
43.

図書
図書
43. Fairness (: U.S. ; : Ger.)
Nissim Francez
出版情報: New York ; Tokyo : Springer, 1986  xiii, 295 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
44.

図書
図書
44. Computer science Logo style
Brian Harvey
出版情報: Cambridge, Mass. : MIT Press, c1985-c1986  2 v. ; 23 cm
所蔵情報: loading…
45.

図書
図書
45. A relational theory of computing (: gw ; : us)
John G. Sanderson
出版情報: Berlin : Springer-Verlag, 1980  vi, 147 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 82
所蔵情報: loading…
46.

図書
図書
46. Characteristics of program localities
by Alan Wayne Madison
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  xx, 115 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 5
所蔵情報: loading…
47.

図書
図書
47. Control and communication in programs
by Loretta Guarino Reid
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  viii, 163 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 13
所蔵情報: loading…
48.

図書
図書
48. Path selection for symbolic execution systems
by John Lowe Woods
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  viii, 108 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 12
所蔵情報: loading…
49.

図書
図書
49. Induction, recursion, and programming
Mitchell Wand
出版情報: New York : North Holland, c1980  xii, 202 p. ; 24 cm
所蔵情報: loading…
50.

図書
図書
50. Software engineering mathematics : formal methods demystified
Jim Woodcock, Martin Loomes
出版情報: London : Pitman, 1988  [7], 291 p. ; 25 cm
所蔵情報: loading…
51.

図書
図書
51. Programming system methodologies
Carol A. Ziegler
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983  x, 260 p. ; 25 cm
所蔵情報: loading…
52.

図書
図書
52. Scheme and the art of programming
George Springer, Daniel P. Friedman ; foreword by Guy L. Steele
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1989  xxiv, 595 p. ; 24 cm
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
53.

図書
図書
53. Real time programming 1981 : proceedings of the IFAC/IFIP Workshop Kyoto, Japan, 31 August - 2 September 1981
Edited by T. Hasegawa
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon Press, 1982  viii , 138 p. ; 30 cm
シリーズ名: IFAC proceedings series
所蔵情報: loading…
54.

図書
図書
54. Computational complexity of sequential and parallel algorithms
Lydia Kronsjö
出版情報: Chichester : Wiley, 1986, c1985  x, 224 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
55.

図書
図書
55. Logic, algebra, and databases (Halsted, lib. ed. - Ellis Horwood, stud. ed.)
Peter M.D. Gray
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Distributor, Halsted Press, 1984  294 p. ; 25 cm
シリーズ名: Ellis Horwood series in computers and their applications ; 29
所蔵情報: loading…
56.

図書
図書
56. Functional programming : languages, tools and architectures (: Horwood ; : Halsted)
editor, S. Eisenbach
出版情報: Chichester [West Sussex] : E. Horwood , New York : Halsted Press, 1987  174 p. ; 25 cm
シリーズ名: Ellis Horwood books in computing science ; . Series in computers and their applications
所蔵情報: loading…
57.

図書
図書
57. Software engineering. 2nd ed. (: pbk.)
I. Sommerville
出版情報: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley, c1985  xi, 334 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Overview / Part 1：
Introduction / Chapter 1：
FAQs about software engineering / 1.1：
Professional and ethical responsibility / 1.2：
Key points
Further reading
Exercises
Computer-based system engineering / Chapter 2：
Emergent system properties / 2.1：
Systems and their environment / 2.2：
System modelling / 2.3：
The system engineering process / 2.4：
System procurement / 2.5：
Software processes / Chapter 3：
Software process models / 3.1：
Process iteration / 3.2：
Software specification / 3.3：
Software design and implementation / 3.4：
Software validation / 3.5：
Software evolution / 3.6：
Automated process support / 3.7：
Project management / Chapter 4：
Management activities / 4.1：
Project planning / 4.2：
Project scheduling / 4.3：
Risk management / 4.4：
Requirements / Part 2：
Software requirements / Chapter 5：
Functional and non-functional requirements / 5.1：
User requirements / 5.2：
System requirements / 5.3：
The software requirements document / 5.4：
Requirements engineering processes / Chapter 6：
Feasibility studies / 6.1：
Requirements elicitation and analysis / 6.2：
Requirements validation / 6.3：
Requirements management / 6.4：
System models / Chapter 7：
Context models / 7.1：
Behavioural models / 7.2：
Data models / 7.3：
Object models / 7.4：
CASE workbenches / 7.5：
Software prototyping / Chapter 8：
Prototyping in the software process / 8.1：
Rapid prototyping techniques / 8.2：
User interface prototyping / 8.3：
Formal specification / Chapter 9：
Formal specification in the software process / 9.1：
Interface specification / 9.2：
Behavioural specification / 9.3：
Design / Part 3：
Architectural design / Chapter 10：
System structuring / 10.1：
Control models / 10.2：
Modular decomposition / 10.3：
Domain-specific architectures / 10.4：
Distributed systems architectures / Chapter 11：
Multiprocessor architectures / 11.1：
Client-server architectures / 11.2：
Distributed object architectures / 11.3：
CORBA / 11.4：
Object-oriented design / Chapter 12：
Objects and object classes / 12.1：
An object-oriented design process / 12.2：
Design evolution / 12.3：
Real-time software design / Chapter 13：
System design / 13.1：
Real-time executives / 13.2：
Monitoring and control systems / 13.3：
Data acquisition systems / 13.4：
Design with reuse / Chapter 14：
Component-based development / 14.1：
Application families / 14.2：
Design patterns / 14.3：
User interface design / Chapter 15：
User interface design principles / 15.1：
User interaction / 15.2：
Information presentation / 15.3：
User support / 15.4：
Interface evaluation / 15.5：
Critical Systems / Part 4：
Dependability / Chapter 16：
Critical systems / 16.1：
Availability and reliability / 16.2：
Safety / 16.3：
Security / 16.4：
Critical systems specification / Chapter 17：
Software reliability specification / 17.1：
Safety specification / 17.2：
Security specification / 17.3：
Critical systems development / Chapter 18：
Fault minimisation / 18.1：
Fault tolerance / 18.2：
Fault-tolerant architectures / 18.3：
Safe system design / 18.4：
Verification and Validation / Part 5：
Verification and validation / Chapter 19：
Verification and validation planning / 19.1：
Software inspections / 19.2：
Automated static analysis / 19.3：
Cleanroom software development / 19.4：
Software testing / Chapter 20：
Defect testing / 20.1：
Integration testing / 20.2：
Object-oriented testing / 20.3：
Testing workbenches / 20.4：
Critical systems validation / Chapter 21：
Formal methods and critical systems / 21.1：
Reliability validation / 21.2：
Safety assurance / 21.3：
Security assessment / 21.4：
Management / Part 6：
Managing people / Chapter 22：
Limits to thinking / 22.1：
Group working / 22.2：
Choosing and keeping people / 22.3：
The People Capability Maturity Model / 22.4：
Software cost estimation / Chapter 23：
Productivity / 23.1：
Estimation techniques / 23.2：
Algorithmic cost modelling / 23.3：
Project duration and staffing / 23.4：
Quality management / Chapter 24：
Quality assurance and standards / 24.1：
Quality planning / 24.2：
Quality control / 24.3：
Software measurement and metrics / 24.4：
Process improvement / Chapter 25：
Process and product quality / 25.1：
Process analysis and modelling / 25.2：
Process measurement / 25.3：
The SEI Process Capability Maturity Model / 25.4：
Process classification / 25.5：
Evolution / Part 7：
Legacy systems / Chapter 26：
Legacy system structures / 26.1：
Legacy system design / 26.2：
Legacy system assessment / 26.3：
Software change / Chapter 27：
Program evolution dynamics / 27.1：
Software maintenance / 27.2：
Architectural evolution / 27.3：
Software re-engineering / Chapter 28：
Source code translation / 28.1：
Reverse engineering / 28.2：
Program structure improvement / 28.3：
Program modularisation / 28.4：
Data re-engineering / 28.5：
Configuration management / Chapter 29：
Configuration management planning / 29.1：
Change management / 29.2：
Version and release management / 29.3：
System building / 29.4：
CASE tools for configuration management / 29.5：
References
Index
Preface
Overview / Part 1：
Introduction / Chapter 1：
58.

図書
図書
58. Advanced UNIX programming (: pbk.)
Marc J. Rochkind
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985  xv, 265 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
59.

図書
図書
59. Structure and interpretation of computer programs (: MIT Press ; : MIT Press : pbk ; : McGraw-Hill)
Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1985  xx, 542 p. ; 24 cm
シリーズ名: The 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
60.

図書
図書
60. Introduction to functional programming (: pbk)
Richard Bird, Philip Wadler
出版情報: New York ; Tokyo : Prentice Hall, 1988  xv, 293 p. ; 23 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Fundamental Concepts / 1：
Simple Datatypes / 2：
Numbers / 3：
Lists / 4：
Examples / 5：
Trees / 6：
Efficiency / 7：
Abstract Datatypes / 8：
Monads and Interaction / 9：
Case Study / 10：
Fundamental Concepts / 1：
Simple Datatypes / 2：
Numbers / 3：
61.

図書
図書
61. Catalogue of artificial intelligence tools (: us. : pbk ; : gw. : pbk)
edited by Alan Bundy
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  xxv, 150 p. ; 25 cm
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: loading…
62.

図書
図書
62. Software engineering
Marc Thorin
出版情報: London ; Boston : Butterworths, 1985  130 p. ; 22 cm
所蔵情報: loading…
63.

図書
図書
63. Guide to good programming practice (Horwood ; Halsted Press)
editors, B. L. Meek and P. M. Heath
出版情報: Chichester [England] : E. Horwood, 1980 , New York : Halsted Press  181 p. ; 24 cm
シリーズ名: Ellis Horwood books in computing science ; . Series in computers and their applications 3
所蔵情報: loading…
64.

図書
図書
64. Functional programming and its applications : an advanced course
edited by J. Darlington, P. Henderson, D.A. Turner
出版情報: Cambridge ; New York : Cambridge University Press, 1982  306 p. ; 24 cm
所蔵情報: loading…
65.

図書
図書
65. Advanced computer design
J.K. Iliffe
出版情報: London ; Englewoods Cliffs, N.J. : Prentice-Hall International, c1982  ix, 469 p. ; 24 cm
所蔵情報: loading…
66.

図書
図書
66. The preparation of programs for an electronic digital computer : with special reference to the EDSAC and the use of a library of subroutines
by Maurice V. Wilkes, David J. Wheeler, and Stanley Gill ; with a new introduction by Martin Campbell-Kelly
出版情報: Los Angeles : Tomash Publishers, c1982  xxxi, 167 p. ; 24 cm
シリーズ名: The Charles Babbage Institute reprint series for the history of computing ; v. 1
所蔵情報: loading…
67.

図書
図書
67. Coordinated computing : tools and techniques for distributed software
Robert E. Filman, Daniel P. Friedman
出版情報: New York ; Tokyo : McGraw-Hill, c1984  xx, 370 p. ; 25 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
68.

図書
図書
68. Communicating sequential processes (: pbk)
C.A.R. Hoare
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1985  viii, 256 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
Communication / 4：
Sequential Processes / 5：
Shared Resources / 6：
Discussion / 7：
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
69.

図書
図書
69. Program flow analysis : theory and applications
[edited by] Steven S. Muchnick, Neil D. Jones
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981  xvii, 418 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼