すべての資料

図書

雑誌

詳細検索

タイトル

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

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

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

閉じる

Cassez, Franck

ID:DA1331042X

同姓同名の著者を検索

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

1

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Franck Cassez, Claude Jard (eds.)

Springer c2008 Lecture notes in computer science 5215

所蔵館1館
2

Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Franck Cassez ... [et al.] (eds.)

Springer c2001 Lecture notes in computer science 2067

所蔵館26館

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

関連著者

ページトップへ