すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

Yi, Wang

ID:DA13091596

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Formal modeling and analysis of timed systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

Paul Pettersson, Wang Yi (eds.)

Springer c2005 Lecture notes in computer science 3829

所蔵館9館
2

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tiziana Margaria, Wang Yi (eds.)

Springer c2001 Lecture notes in computer science 2031

所蔵館31館

この著者を外部サイトでさがす

関連著者

ページトップへ