close
1.

図書

図書
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  viii, 498 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…
2.

図書

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

図書

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

図書

図書
edited by Wolfgang Händler
出版情報: Berlin ; New York : Springer-Verlag, 1981  xi, 507 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 111
所蔵情報: loading…
5.

図書

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

図書

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

図書

図書
edited by G.L. Reijns and E.L. Dagless
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  163 p. ; 23 cm
所蔵情報: loading…
8.

図書

図書
A. Albrecht, H. Jung, K. Mehlhorn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  205 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 269
所蔵情報: loading…
9.

図書

図書
edited by Gerard L. Reijns, Michael H. Barton
出版情報: Amsterdam ; Tokyo : North-Holland, 1987  xi, 271 p. ; 23 cm
所蔵情報: loading…
10.

図書

図書
edited by S.D. Brookes, A.W. Roscoe and G. Winskel
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  x, 523 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 197
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼