close
1.

図書
図書
1. Logics and models of concurrent systems (: Germany ; : U.S.)
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…
2.

図書
図書
2. New advances in distributed computer systems : proceedings of the NATO Advanced Study Institute held at Bonas, France, June 15-26, 1981
edited by Kenneth G. Beauchamp
出版情報: Dordrecht, Holland ; Boston : D. Reidel Pub. Co. , Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1981
シリーズ名: NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 80
所蔵情報: loading…