close
1.

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

図書
図書
2. Programming with Ada : an introduction by means of graduated examples
Peter Wegner
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1980  xi, 211 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
3.

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

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

図書
図書
5. Introduction to system programming : proceedings of a Symposium held at the London School of Economics, July, 1962
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.

電子ブック
ＥＢ
6. OOPWORK '86: Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Peter Wegner, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM
所蔵情報: loading…
7.

図書
図書
7. Research directions in software technology
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.

図書
図書
8. Research directions in concurrent object-oriented programming
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.

図書
図書
9. Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings (: gw ; : us)
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.

電子ブック
ＥＢ
10. Interactive Computation
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼