close
1.

図書

図書
edited by Bruce Shriver and Peter Wegner
出版情報: Cambridge, Mass. : MIT Press, c1987  585 p. ; 24 cm
シリーズ名: MIT Press series in computer systems
所蔵情報: loading…
2.

図書

図書
Peter Wegner
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1980  xi, 211 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
3.

図書

図書
Peter Wegner
出版情報: London : Griffin, c1963  219 p. ; 22 cm
シリーズ名: Griffin's statistical monographs & courses ; no. 11
所蔵情報: loading…
4.

図書

図書
Peter Wegner
出版情報: New York : McGraw-Hill, c1968  xx, 401 p. ; 23 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
5.

図書

図書
ed. by Peter Wegner
出版情報: London : Academic Press, 1964  x, 316 p. ; 24 cm
シリーズ名: A.P.I.C. studies in data processing ; no. 4
所蔵情報: loading…
6.

電子ブック

EB
Peter Wegner, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM
所蔵情報: loading…
7.

図書

図書
edited by Peter Wegner, associate editors, Jack Dennis, Michael Hammer, D. Teichroew
出版情報: Cambridge, Mass. : MIT Press, c1979  xiii, 869 p. ; 23 cm
シリーズ名: MIT Press series in computer science ; v. 2
所蔵情報: loading…
8.

図書

図書
edited by Gul Agha, Peter Wegner, and Akinori Yonezawa
出版情報: Cambridge, Mass. : MIT Press, c1993  xii, 532 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Summary of Papers
Language Issues / I:
Abstraction and Modularity Mechanisms for Concurrent Computing / Gul Agha ; Svend Frolund ; WooYoung Kim ; Rajendra Panwar ; Anna Patterson ; Daniel M. Sturman1:
Tradeoffs between Reasoning and Modeling / Peter Wegner2:
A Survey of Logic Programming-Based Object-Oriented Language / Andrew J. Davison3:
Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages / Satoshi Matsuoka ; Akinori Yonezama4:
Composing Active Objects / Oscar Nierstrasz5:
Programming Constructs / II:
Supporting Modularity in Highly-Parallel Programs / Andrew A. Chien6:
Multiple Concurrency Control Policies in an Object-Oriented Programming System / Gail E. Kaiser ; Wenwey Hseush ; Steven S. Popovich ; Shyhtsun F. Wu7:
Ports for Objects in Concurrent Logic Programs / Sverker Janson ; Johan Montelius ; Seif Haridi8:
Language Design / III:
Specifying Concurrent Languages and Systems with ?-GRAMMARS / Simon M. Kaplan ; Joseph P. Loyall ; Steven K. Goering9:
Interaction / 10:
Abstract Machines / Jean-Marc Andreoli ; Paolo Ciancarini ; Remo Pareschi
CC++: A Declarative Concurrent Object-Oriented Programming Notation / K. Mani Chandy ; Carl Kesselman11:
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language / Jose Meseguer12:
Operating Systems / IV:
CHOICES: A Parallel Object-Oriented Operating System / Roy H. Campbell ; Nayeem Islam13:
Performance Monitoring / V:
Monitoring Concurrent Object-Based Programs / Bruce A. Delagi ; Nakul P. Saraiya ; Sayuri Nishimura15:
Contributors
Name Index
Subject Index
Preface
Summary of Papers
Language Issues / I:
9.

図書

図書
M. Tokoro, O. Nierstrasz, P. Wegner, eds
出版情報: Berlin ; New York : Springer-Verlag, c1992  x, 264 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 612
所蔵情報: loading…
10.

電子ブック

EB
Dina; Smolka, Scott A.; Wegner, Peter Goldin, Dina Q. Goldin, Scott A. Smolka, Peter Wegner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I:
Turing, Computing and Communication / Robin Milner
Computing and Interaction / Farhad Arbab
Principles of Interactive Computation / Dina Goldin ; Peter Wegner
Theory / Part II:
A Theory of System Interaction: Components, Interfaces, and Services / Manfred Broy
Verification of Open Systems / Orna Kupferman ; Moshe Y. Vardi
A Theory of Interactive Computation / Jan van Leeuwen ; Jiri Wiedermann
Online Algorithms / Susanne Albers
Interactive Algorithms 2005 with Added Appendix / Yuri Gurevich
Computability Logic: A Formal Theory of Interaction / Giorgi Japaridze
Applications / Part III:
Human-Computer Interaction / Michel Beaudouin-Lafon
Modeling Web Interactions and Errors / Shriram Krishnamurthi ; Robert Bruce Findler ; Paul Graunke ; Matthias Felleisen
Composition of Interacting Computations
From Information-Centric to Experiential Environments / Rahul Singh ; Ramesh Jain
Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach / Chris Barrett ; Stephen Eubank ; Madhav Marathe
New Directions / Part IV:
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science / Andrea Omicini ; Alessandro Ricci ; Mirko Viroli
Coordination / Peter J. Denning ; Thomas W. Malone
Social Interaction, Knowledge, and Social Software / Eric Pacuit ; Rohit Parikh
Interaction, Computation, and Education / Lynn Andrea Stein
List of Contributors
Introduction / Part I:
Turing, Computing and Communication / Robin Milner
Computing and Interaction / Farhad Arbab
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼