岐阜大学図書館蔵書検索（OPAC）

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

電子ブック

ＥＢ

1. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu. 1st ed. 1994

edited by Neil Jones, Masami Hagiya, Masahiko Sato

出版情報:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名:	Lecture Notes in Computer Science ; 792
子書誌情報:	loading…
オンライン:	https://doi.org/10.1007/BFb0032390

電子ブック

ＥＢ

2. Theoretical Aspects of Computer Software : International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings. 1st ed. 1994

edited by Masami Hagiya, John C. Mitchell

出版情報:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名:	Lecture Notes in Computer Science ; 789
子書誌情報:	loading…
オンライン:	https://doi.org/10.1007/3-540-57887-0