close
1.

電子ブック
ＥＢ
1. Trust Networks for Recommender Systems
by Patricia Victor, Chris Cornelis, Martine de Cock
出版情報: Paris : Atlantis Press, 2011
シリーズ名: Atlantis Computational Intelligence Systems ; 4
オンライン: http://dx.doi.org/10.2991/978-94-91216-08-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
edited by Karem A. Sakallah, Laurent Simon
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6695
オンライン: http://dx.doi.org/10.1007/978-3-642-21581-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
edited by Jurgen Giesl, Reiner Hahnle
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6173
オンライン: http://dx.doi.org/10.1007/978-3-642-14203-1
所蔵情報: loading…