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

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

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 3 件

図書

1. The IOTA programming system : a modular programming environment (: gw ; : us)

edited by R. Nakajima and T. Yuasa

出版情報:	Berlin ; New York : Springer-Verlag, 1983 vii, 217 p. ; 25 cm
シリーズ名:	Lecture notes in computer science ; 160
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. 数理情報学入門 : スコット・プログラム理論

中島玲二著

図書

3. 論理とプログラム意味論

田辺誠, 中島玲二, 長谷川真人著

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