close
1.

図書

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

図書

図書
Johann Christoph Freytag
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  xi, 131 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 261
所蔵情報: loading…
3.

図書

図書
Robert E. Filman, Daniel P. Friedman
出版情報: New York ; Tokyo : McGraw-Hill, c1984  xx, 370 p. ; 25 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
4.

図書

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

図書

図書
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984  vii, 248 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
6.

図書

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

図書

図書
Roger C. Schank with Peter G. Childers
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984  xiii, 268 p. ; 25 cm
所蔵情報: loading…
8.

図書

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

図書

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

図書

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

図書

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

図書

図書
John G. Sanderson
出版情報: Berlin : Springer-Verlag, 1980  vi, 147 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 82
所蔵情報: loading…
13.

図書

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

図書

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

図書

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

図書

図書
Robert L. Glass
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1982  xiv, 311 p. ; 24 cm.
所蔵情報: loading…
17.

図書

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

図書

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

図書

図書
Leon S. Levy
出版情報: New York : Wiley, c1980  310 p. ; 24 cm
所蔵情報: loading…
20.

図書

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

図書

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

図書

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

図書

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

図書

図書
James Martin, Carma McClure
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985  xvi, 396 p. ; 25 cm
所蔵情報: loading…
25.

図書

図書
James L. Peterson
出版情報: Berlin ; New York : Springer-Verlag, 1980  vi, 213 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 96
所蔵情報: loading…
26.

図書

図書
edited by J. Darlington, P. Henderson, D.A. Turner
出版情報: Cambridge ; New York : Cambridge University Press, 1982  306 p. ; 24 cm
所蔵情報: loading…
27.

図書

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

図書

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

図書

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

図書

図書
Alan Cohen
出版情報: Chichester [West Sussex] : Wiley, c1983  xiii, 287 p. ; 24 cm
所蔵情報: loading…
31.

図書

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

図書

図書
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
33.

図書

図書
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
34.

図書

図書
editors, David R. Barstow, Howard E. Shrobe, Erik Sandewall
出版情報: New York : McGraw-Hill, c1984  xii, 609 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼