close
1.

図書
図書
1. Encyclopedia of information systems (: set - v. 4)
editor-in-chief, Hossein Bidgoli
出版情報: Amsterdam ; Tokyo : Academic Press, c2003
所蔵情報: loading…
2.

図書
図書
2. DC-2001 Dublin Core and Metadata Applications 2001 : proceedings of the International Conference on Dublin Core and Metadata Applications 2001, National Institute of Informatics, October 24-26, 2001, Tokyo, Japan
edited by Keizo Oyama and Hironobu Gotoda
出版情報: Tokyo, Japan : National Institute of informatics, 2001.10
所蔵情報: loading…
3.

視聴覚資料
ＡＶ
3. Internet fair 2001 Japan : インパク : 未来社会への胎動 (:set ; DVD-VIDEO ; DVD-ROM)
総務省大臣官房新千年紀記念行事推進室企画・制作
出版情報: [東京] : [総務省大臣官房新千年紀記念行事推進室], [2001?]
所蔵情報: loading…
4.

図書
図書
4. Applications of evolutionary computing : EvoWorkshops 2005 : EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, March 30 - April 1, 2005 : proceedings
Franz Rothlauf et al. (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3449
所蔵情報: loading…
5.

図書
図書
5. Evolutionary Multi-Criterion Optimization : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007 : proceedings
Shigeru Obayashi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4403
所蔵情報: loading…
6.

コンピュータファイル
コンピュータファイル
6. 情報処理学会創立45周年記念DVD (: セット - DVD 8)
情報処理学会
出版情報: 東京 : 情報処理学会, 2006.3
所蔵情報: loading…
7.

図書
図書
7. Controlled self-organisation using learning classifier systems
by Urban Maximilian Richter
出版情報: Karlsruhe : KIT Scientific Publishing, 2009
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. ディジタル情報流通システム : コンテンツ･著作権･ビジネスモデル (: electronic bk)
画像電子学会編
出版情報: Boulder : NetLibrary, 2007
本文リンク: http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=217055
所蔵情報: loading…
9.

図書
図書
9. 情報科学概論
田中琢真著
出版情報: 東京 : 学術図書出版社, 2019.2
シリーズ名: データサイエンス大系
所蔵情報: loading…
10.

図書
図書
10. デジタル・ヒューマニティーズの可能性
情報処理学会 [編]
出版情報: 東京 : 情報処理学会, 2009.12
シリーズ名: 情報処理学会シンポジウムシリーズ ; vol.2009, no.16 . 人文科学とコンピュータシンポジウム論文集||ジンブン カガク ト コンピュータ シンポジウム ロンブンシュウ
所蔵情報: loading…
11.

図書
図書
11. Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday
Stefano Aguzzoli ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4460 . Lecture notes in artificial intelligence
所蔵情報: loading…
12.

図書
図書
12. Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
出版情報: Cambridge, Mass. : MIT Press, 2000
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
13.

図書
図書
13. Petri net algebra
Eike Best, Raymond Devillers, Maciej Koutny
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
14.

図書
図書
14. Automated deduction in classical and non-classical logics : selected papers
Ricardo Caferra, Gernot Salzer (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1761 . Lecture notes in artificial intelligence
所蔵情報: loading…
15.

図書
図書
15. Typed lambda calculi and applications : 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007 : proceedings
Simona Ronchi Della Rocca (ed.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4583
所蔵情報: loading…
16.

図書
図書
16. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Frank Pfenning (ed.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4098
所蔵情報: loading…
17.

図書
図書
17. Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings
Franz Baader (ed.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4533
所蔵情報: loading…
18.

図書
図書
18. Handbook of automated reasoning (Elsevier: set - MIT: v. 2)
editors, Alan Robinson and Andrei Voronkov
出版情報: Amsterdam ; New York : Elsevier , Cambridge, Mass. : MIT Press, c2001
所蔵情報: loading…
19.

図書
図書
19. Principles of data mining (: hc)
David Hand, Heikki Mannila, Padhraic Smyth
出版情報: Cambridge, Mass. : MIT Press, c2001
シリーズ名: Adaptive computation and machine learning
所蔵情報: loading…
20.

図書
図書
20. Numbers, information and complexity
edited by Ingo Althöfer ... [et al.]
出版情報: Boston : Kluwer Academic, c2000
所蔵情報: loading…