close
1.

図書
図書
1. Theory and practice of parallel programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings (: gw)
Takayasu Ito, Akinori Yonezawa (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  viii, 483 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 907
2.

図書
図書
2. Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings (: gw ; : us)
Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  193 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 924
3.

図書
図書
3. Metalevel architectures and separation of crosscutting concerns : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
Akinori Yonezawa, Satoshi Matsuoka (eds.)
出版情報: Berlin : Springer, c2001  xi, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2192
4.

図書
図書
4. Object technologies for advanced software : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings (: us ; : gw)
Shojiro Nishio, Akinori Yonezawa (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  543 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 742
5.

図書
図書
5. 算法表現論
木村泉, 米澤明憲 [著]
出版情報: 東京 : 岩波書店, 1982.5  xi, 282p ; 22cm
シリーズ名: 岩波講座情報科学 ; 12
6.

図書
図書
6. Concepts and characteristics of knowledge-based systems : selected and reviewed papers from the IFIP TC 10/WG 10.1 workshop, Mount Fuji, Japan, 9-12 November, 1987
edited by Mario Tokoro, Yuichiro Anzai, Akinori Yonezawa
出版情報: Amsterdam, Netherlands ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U. S. and Canada, Elsevier Science Pub. Co., 1989  xiii, 511 p. ; 24 cm
7.

図書
図書
7. 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
目次情報: 続きを見る
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：
8.

図書
図書
8. モデルと表現
米澤明憲, 柴山悦哉 [著]
出版情報: 東京 : 岩波書店, 1992.4  xx, 316p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 17
9.

図書
図書
9. 岩波情報科学辞典
長尾真 [ほか] 編
出版情報: 東京 : 岩波書店, 1990.5  62, 1172p, 図版 [2] p ; 23cm
10.

図書
図書
10. オブジェクト指向コンピューティング (1 ; 2 ; 3)
田中, 克己(1951-) ; 西尾, 章治郎(1951-) ; 米沢, 明憲(1947-) ; 松岡, 聡(1963-) ; 尾内, 理紀夫
出版情報: 東京 : 近代科学社, 1993.7-1995.12  3冊 ; 26cm
シリーズ名: レクチャーノート/ソフトウェア学 ; 4,6,11
目次情報:
1:日本ソフトウェア科学会WOOC'92 / 田中克己, 西尾章治郎編
2:日本ソフトウェア科学会WOOC'93 / 米沢明憲, 松岡聡[ほか]編
3:日本ソフトウェア科学会WOOC'95 / 尾内理紀夫編
1:日本ソフトウェア科学会WOOC'92 / 田中克己, 西尾章治郎編
2:日本ソフトウェア科学会WOOC'93 / 米沢明憲, 松岡聡[ほか]編
3:日本ソフトウェア科学会WOOC'95 / 尾内理紀夫編
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼