すべての資料

図書

雑誌

詳細検索

タイトル

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

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

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

閉じる

De Alfaro, Luca

ID:DA13246772

別名: Alfaro, Luca de

同姓同名の著者を検索

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

1

Foundations of software science and computational structures : 12th International Conference, FOSSACS 2009, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 proceedings

Luca de Alfaro (ed.)

Springer, c2009 Lecture notes in computer science 5504

所蔵館1館
2

CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

Martín Abadi, Luca de Alfaro (eds.)

Springer c2005 Lecture notes in computer science 3653

所蔵館13館
3

Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Luca de Alfaro, Stephen Gilmore (eds.)

Springer c2001 Lecture notes in computer science 2165

所蔵館25館

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

関連著者

ページトップへ