close
1.

図書
図書
1. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings (: gw ; : us)
J.C.M. Baeten, J.F. Groote, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  ix, 540 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 527
所蔵情報: loading…
2.

図書
図書
2. Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands (: paper ; : case ; : microfiche)
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991  xvii, 417 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings (: gw ; : us)
J.C.M. Baeten, J.W. Klop (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990  vii, 536 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 458
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼