close
1.

電子ブック
ＥＢ
1. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics : Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
edited by Thomas Stutzle, Mauro Birattari, Holger H. Hoos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5752
オンライン: http://dx.doi.org/10.1007/978-3-642-03751-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
edited by Holger H. Hoos, David G. Mitchell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3542
オンライン: http://dx.doi.org/10.1007/11527695
所蔵情報: loading…