close
1.

図書
図書
1. Proceedings of the 1987 International Conference on Parallel Processing, August 17-21, 1987
editor, Sartaj K. Sahni ; sponsored by Department of Electrical Engineering, Penn State University
出版情報: University Park : Pennsylvania State University Press, c1987  xx, 923 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986, proceedings (: gw ; : us)
Marisa Venturini Zilli (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 230 p. ; 25 cm.
シリーズ名: Lecture notes in computer science ; 280
所蔵情報: loading…
目次情報: 続きを見る
Testing Equivalences for Event Structures / P. America ; J. de Bakker:
Designing Equivalent Semantic Models for Process Creation / E. Astesiano ; G. Reggio:
An Outline of the SMoLCS Approach / M. Broy ; T. Streicher:
Views of Distributed Systems / P. Degano ; R. De Nicola ; U. Montanari:
CCS is an (Augmented) Contact Free C/E System / J.-Y. Girard:
Linear Logic and Parallelism / A. Labella ; A. Pettorossi:
Universal Models in Categories for Process Synchronization / G. Mirkowska ; A. Salwicki:
On Axiomatic Definition of Max-Model of Concurrency
Participants
Testing Equivalences for Event Structures / P. America ; J. de Bakker:
Designing Equivalent Semantic Models for Process Creation / E. Astesiano ; G. Reggio:
An Outline of the SMoLCS Approach / M. Broy ; T. Streicher:
3.

図書
図書
3. PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings (v. 1 : gw - v. 2 : us)
edited by J.W. de Bakker, A.J. Nijman and P.C. Treleaven
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 258-259
所蔵情報: loading…
4.

図書
図書
4. WOPPLOT 86 : parallel processing : logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986 (: gw ; : us)
J.D. Becker and I. Eisele (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1987  vi, 226 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 253
所蔵情報: loading…
5.

図書
図書
5. Highly parallel computers : proceedings of the IFIP WG 10.3 Working Conference on Highly Parallel Computers for Numerical and Signal Processing Applications, Sophia Antipolis, France, 24-26 March, 1986
edited by Gerard L. Reijns, Michael H. Barton
出版情報: Amsterdam ; Tokyo : North-Holland, 1987  xi, 271 p. ; 23 cm
所蔵情報: loading…
6.

図書
図書
6. Parallel computations and their impact on mechanics : presented at the Winter Annual Meeting of the American Society of Mechanical Engineers, Boston, Massachusetts, December 13-18, 1987
sponsored by the Applied Mechanics Division, the Pressure Vessels and Piping Division, the Computer Engineering Division, ASME ; edited by Ahmed K. Noor
出版情報: New York, NY : American Society of Mechanical Engineers, c1987  xii, 402 p. ; 27 cm
シリーズ名: AMD ; vol. 86
所蔵情報: loading…
7.

図書
図書
7. Parallel algorithms and architectures : International Workshop, Suhl, GDR, May 25-30, 1987, proceedings (: gw ; : us)
A. Albrecht, H. Jung, K. Mehlhorn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  205 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 269
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼