すべての資料

図書

雑誌

詳細検索

タイトル

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

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

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

閉じる

Ravn, Anders P.

ID:DA11581018

同姓同名の著者を検索

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

1

Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings

Zhiming Liu, Anders P. Ravn (eds.)

Springer c2009 Lecture notes in computer science 5799

所蔵館2館
2

Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings

Anders P. Ravn, Hans Rischel (eds.)

Springer c1998 Lecture notes in computer science 1486

所蔵館44館

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

関連著者

ページトップへ