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. Handbook of discrete and combinatorial mathematics
Kenneth H. Rosen, editor-in-chief, John G. Michaels, project editor ... [et al.]
出版情報: Boca Raton, FL. : CRC Press, c2000
所蔵情報: loading…