1.

図書
図書
1. Algorithmic randomness and complexity
Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York : Springer Science+Business Media, c2010
シリーズ名: Theory and applications of computability
所蔵情報: loading…
2.

図書
図書
2. Graphs and cubes
Sergei Ovchinnikov
出版情報: New York, N.Y. : Springer, c2011
シリーズ名: Universitext
所蔵情報: loading…
3.

図書
図書
3. Logic and structure. 5th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
4.

図書
図書
4. Introduction to mathematical methods in bioinformatics (: pbk)
Alexander Isaev
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Universitext
所蔵情報: loading…
5.

図書
図書
5. Phase transitions and critical phenomena (v. 2 - v. 20)
edited by C. Domb and M.S. Green
出版情報: London ; Tokyo : Academic Press, 1972-2001
所蔵情報: loading…
6.

図書
図書
6. Non-standard inferences in description logics
Ralf Küsters
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2100 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. フォック空間と量子場 (上 ; 下)
新井朝雄著
出版情報: 東京 : 日本評論社, 2000.8
シリーズ名: 数理物理シリーズ
所蔵情報: loading…
8.

図書
図書
8. 数論入門
山本芳彦著
出版情報: 東京 : 岩波書店, 2003.11
シリーズ名: 現代数学への入門
所蔵情報: loading…
9.

図書
図書
9. 教室からの教育改革 : 同時代との対話
稲垣忠彦著
出版情報: 東京 : 評論社, 2000.9
シリーズ名: 評論社の教育選書 ; 31
所蔵情報: loading…
10.

図書
図書
10. 実践としての統計学
佐伯胖, 松原望編
出版情報: 東京 : 東京大学出版会, 2000.1
所蔵情報: loading…