close
1.

図書

図書
edited by M. Paul and B. Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 262 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 167
所蔵情報: loading…
2.

図書

図書
D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert
出版情報: New York ; Tokyo : Springer, c1981  xiii, 510 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert
出版情報: Berlin ; New York : Springer-Verlag, c1985  vi, 573 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 190
所蔵情報: loading…
4.

図書

図書
Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, c1991  vi, 507 p. ; 24 cm
シリーズ名: IFIP state-of-the-art reports
所蔵情報: loading…
目次情報: 続きを見る
International Symposium Proceedings / P.D. Mosses
A Practical Introduction to Denotational Semantics / E. Astesiano
Inductive and Operational Semantics / D. Bjorner
Specification and Transformation
Methodology Aspects of the Vienna Development Method / M. Wirsing
Algebraic Specification
Semantics, Parameterization and Refinement / M. Broy
Formalization of Distributed, Concurrent, Reactive Systems / K.R. Apt ; E.-R. Olderog
Introduction to Program Verification / L. Cardelli
Typeful Programming
International Symposium Proceedings / P.D. Mosses
A Practical Introduction to Denotational Semantics / E. Astesiano
Inductive and Operational Semantics / D. Bjorner
5.

図書

図書
D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert
出版情報: Berlin ; New York : Springer-Verlag, c1981  xiii, 510 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 105
所蔵情報: loading…
目次情報: 続きを見る
Motivations, objectives, and characterization of distributed systems / Gerard LeLann
Distributed system architecture model / Richard W. Watson
Interprocess communication layer / Kenneth J. Thurber
Hardware interconnection technology / Kenneth J. Thurber
Link level / Gerard LeLann
Hierarchy / Donald W. Davies, Richard W. Watson
IPC interface and end-to-end protocols / Richard W. Watson
Distributed control / E. Douglas Jensen
Indentifiers (naming) in distributed systems / Richard W. Watson
Protection / Donald W. Davies
Atomic transactions / Butler W. Lampson
Synchronization / Gerard LeLann
Multiple copy update / Elmar Holler
Applications and protocols / Stephen R. Kimbleton, Pearl Wong, and Butler W. Lampson
Error recovery / Gerard LeLann
Hardware issues / Kenneth J. Thurber
Hardware/software relationships in distributed systems / E. Douglas Jensen
The national software works (NSW) / Elmar Holler
Ethernet, Pup, and Violet / Butler W. Lampson
Conclusion / Kenneth J. Thurber
Motivations, objectives, and characterization of distributed systems / Gerard LeLann
Distributed system architecture model / Richard W. Watson
Interprocess communication layer / Kenneth J. Thurber
6.

図書

図書
Ian Sommerville, Manfred Paul, eds
出版情報: Berlin ; New York : Springer-Verlag, c1993  xii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 717
所蔵情報: loading…
7.

図書

図書
edited by M. Paul
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986  xii, 607 p., [2] p. of plates ; 31 cm
シリーズ名: IFAC proceedings series ; 1986, no. 6
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼