close
1.

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

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

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

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

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

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

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

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