群馬大学図書館 OPAC

IRDB

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 資料ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. Advanced topics in types and programming languages

Benjamin C. Pierce, editor

図書

2. Types and programming languages (: hc)

Benjamin C. Pierce