close
1.

電子ブック
ＥＢ
1. Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
edited by Ian P. Gent
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5732
オンライン: http://dx.doi.org/10.1007/978-3-642-04244-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Modern Formal Methods and Applications
edited by Hossam A. Gabbar
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-4223-X
所蔵情報: loading…