close
1.

図書
図書
1. Proceedings of the Workshop on Interconnection Networks for Parallel and Distributed Processing, April 21-22, 1980
Howard Jay Siegel, editor ; cosponsored by ACM SIGARCH and the IEEE Computer Society, TCCA, TCCC, TCDP, in cooperation with the School of Electrical Engineering, Purdue University
出版情報: [New York, NY] : Institute of Electrical and Electronics Engineers , Long Beach, CA : Available from IEEE Computer Society, c1980  124 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981 : proceedings (: gw ; : us)
edited by Wolfgang Händler
出版情報: Berlin ; New York : Springer-Verlag, 1981  xi, 507 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 111
所蔵情報: loading…
3.

図書
図書
3. 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…
4.

図書
図書
4. 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:
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. Parallel processing techniques for simulation
edited by M.G. Singh, A.Y. Allidina, and B.K. Daniels
出版情報: New York : Plenum Press, c1986  viii, 301 p. ; 26 cm
シリーズ名: Applied information technology
所蔵情報: loading…
8.

図書
図書
8. Optimization, parallel processing and applications : proceedings of the Oberwolfach Conference on Operations Research, February 16-21, 1987 and the Workshop on Advanced Computation Techniques, Parallel Processing and Optimization, held at Karlsruhe, West Germany, February 22-25, 1987 (: us ; : gw)
A. Kurzhanski, K. Neumann, D. Pallaschke (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 292 p. ; 25 cm
シリーズ名: Lecture notes in economics and mathematical systems ; 304
所蔵情報: loading…
9.

図書
図書
9. Parallel computing in science and engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26, 1987 (: gw ; : us)
R. Dierstein, D. Müller-Wichards, H.-M. Wacker (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  185 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 295
DFVLR seminar series
所蔵情報: loading…
目次情報:
Parallel Computer Architectures
Software and Languages
Algorithms and Applications
Parallel Computer Architectures
Software and Languages
Algorithms and Applications
10.

図書
図書
10. 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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼