close
1.

図書
図書
1. Application of Petri nets to communication networks : advances in Petri nets
Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  vii, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1605
所蔵情報: loading…
2.

図書
図書
2. Interactive distributed multimedia systems and telecommunication services : 6th International Workshop IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings
Michel Diaz, Philippe Owezarski, Patrick Sénac (eds.)
出版情報: Berlin ; New York : Springer, c1999  xi, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1718
所蔵情報: loading…
3.

図書
図書
3. Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings (: us ; : gw)
Giorgio de Michelis, Michel Diaz (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  viii, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 935
所蔵情報: loading…
4.

図書
図書
4. Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
edited by Michel Diaz, Roland Groz
出版情報: Amsterdam ; New York : North-Holland, 1993  xvi, 508 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 10
所蔵情報: loading…
5.

図書
図書
5. Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985
edited by Michel Diaz
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986  xi, 544 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼