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

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

電子ブック

ＥＢ

1. Constraints Meet Concurrency

by Jacopo Mauro

出版情報:	Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名:	Atlantis Studies in Computing ; 5
子書誌情報:	loading…
オンライン:	http://dx.doi.org/10.2991/978-94-6239-067-6

電子ブック

ＥＢ

2. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics

by Fabio Mogavero

出版情報:	Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名:	Atlantis Studies in Computing ; 3
子書誌情報:	loading…
オンライン:	http://dx.doi.org/10.2991/978-94-91216-95-4