close
1.

図書

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

図書

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

図書

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

図書

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

図書

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