Search records | 東京工業大学附属図書館蔵書検索

同じキーワードで他のサイトを検索できます。

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 図書 ID / 書誌 ID：

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 2 件

図書

1. Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

Stefano Berardi, Mario Coppo, (eds.)

出版情報:	Berlin ; New York : Springer, c1996 x, 296 p. ; 24 cm
シリーズ名:	Lecture notes in computer science ; 1158
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)

出版情報:	Berlin ; Tokyo : Springer, c2004 x, 408 p. ; 24 cm
シリーズ名:	Lecture notes in computer science ; 3085
子書誌情報:	loading…
所蔵情報:	loading…

文献の複写および貸借の依頼を行う