名古屋工業大学図書館蔵書検索（名工大OPAC）

IRDB

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

電子ブック

ＥＢ

1. DNA Computing and Molecular Programming : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

edited by Luca Cardelli, William Shih

出版情報:	Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名:	Lecture Notes in Computer Science ; 6937
子書誌情報:	loading…
オンライン:	http://dx.doi.org/10.1007/978-3-642-23638-9
所蔵情報:	loading…

図書

2. A theory of objects

Martín Abadi, Luca Cardelli

出版情報:	New York : Springer, c1996
シリーズ名:	Monographs in computer science
子書誌情報:	loading…
所蔵情報:	loading…