すべての資料

図書

雑誌

詳細検索

タイトル

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

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

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

閉じる

Henzinger, T. A. (Thomas A.)

ID:DA10023895

別名: Henzinger, Thomas A.

同姓同名の著者を検索

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

1

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

Springer c2010 Lecture notes in computer science 6246

所蔵館2館
2

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Jacques Duparc, Thomas A. Henzinger (eds.)

Springer c2007 Lecture notes in computer science 4646

所蔵館5館
3

Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Thomas A. Henzinger, Christoph M. Kirsch (eds.)

Springer c2001 Lecture notes in computer science 2211

所蔵館30館
4

Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings

Thomas A. Henzinger, Shankar Sastry (eds.)

Springer-Verlag c1998 Lecture notes in computer science 1386

所蔵館45館
5

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Rajeev Alur, Thomas A. Henzinger, (eds.)

Springer-Verlag c1996 Lecture notes in computer science 1102

所蔵館54館
6

Hybrid systems III : verification and control

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)

Springer c1996 Lecture notes in computer science 1066

所蔵館55館

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

関連著者

ページトップへ