すべての資料

図書

雑誌

詳細検索

タイトル

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

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

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

閉じる

Abadi, Martín

ID:DA10346136

同姓同名の著者を検索

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

1

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館
2

Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings

Martín Abadi, Takayasu Ito (eds.)

Springer c1997 Lecture notes in computer science 1281

所蔵館55館
3

A theory of objects

Martín Abadi, Luca Cardelli

Springer c1996 Monographs in computer science

所蔵館35館

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

関連著者

ページトップへ