close
1.

図書

図書
Michel Daydé ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xviii, 732 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3402
所蔵情報: loading…
2.

図書

図書
edited by Tse-yun Feng
出版情報: Berlin : Springer-Verlag, 1975  vi, 433 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 24
所蔵情報: loading…
3.

図書

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

図書

図書
edited by Gilles Kahn
出版情報: Berlin : Springer-Verlag, 1979  vi, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 70
所蔵情報: loading…
5.

図書

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

図書

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

図書

図書
edited by J. Winkowski
出版情報: Berlin ; New York : Springer-Verlag, 1978  ix, 551 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 64
所蔵情報: loading…
8.

図書

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

図書

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

図書

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