1.

図書
図書
1. Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman
出版情報: Cambridge : Cambridge University Press, 1999
シリーズ名: Cambridge tracts in theoretical computer science ; 48
所蔵情報: 図書館
2.

図書
図書
2. Survivable networks : algorithms for diverse routing
by Ramesh Bhandari
出版情報: Boston : Kluwer Academic Publishers, c1999
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 477
所蔵情報: 研究室
3.

図書
図書
3. Combinatorial algorithms : generation, enumeration, and search
Donald L. Kreher, Douglas R. Stinson
出版情報: Boca Raton, Fla. : CRC Press, c1999
シリーズ名: Discrete mathematics and its applications
所蔵情報: 研究室
4.

図書
図書
4. State-space search : algorithms, complexity, and applications
Weixiong Zhang
出版情報: New York : Springer, c1999
所蔵情報: 研究室
5.

図書
図書
5. Stochastic linear programming algorithms : a comparison based on a model management system
János Mayer
出版情報: Amsterdam : Gordon & Breach, c1998
シリーズ名: Optimization theory and applications ; 1
所蔵情報: 研究室
6.

図書
図書
6. Gabor analysis and algorithms : theory and applications
edited by Hans G. Feichtinger, Thomas Strohmer
出版情報: Boston : Birkhäuser, 1998
シリーズ名: Applied and numerical harmonic analysis / series editor John J. Benedetto
所蔵情報: 研究室
7.

図書
図書
7. Algorithmic algebraic number theory (: pbk)
M. Pohst, H. Zassenhaus
出版情報: Cambridge : Cambridge University Press, 1997, c1989
シリーズ名: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 30
所蔵情報: 図書館, 研究室
8.

図書
図書
8. Handbook of genetic algorithms
edited by Lawrence Davis
出版情報: London : International Thomson Computer Press, c1996
所蔵情報: 図書館
9.

電子ブック
ＥＢ
9. Algorithmic Number Theory : Second International Symposium, ANTS-II Talence, France, May 18–23, 1996 Proceedings
edited by Henri Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1122
オンライン: http://dx.doi.org/10.1007/3-540-61581-4
10.

電子ブック
ＥＢ
10. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
edited by Jacques Calmet, Carla Limongelli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1128
オンライン: http://dx.doi.org/10.1007/3-540-61697-7