close
1.

電子ブック
ＥＢ
1. Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
edited by Javier Larrosa, Barry O’Sullivan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6384
オンライン: http://dx.doi.org/10.1007/978-3-642-19486-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Principles and Practice of Constraint Programming – CP 2011 : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
edited by Jimmy Lee
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6876
オンライン: http://dx.doi.org/10.1007/978-3-642-23786-7
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Principles and Practice of Constraint Programming – CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
edited by David Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6308
オンライン: http://dx.doi.org/10.1007/978-3-642-15396-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
edited by Anuj Dawar, Helmut Veith
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6247
オンライン: http://dx.doi.org/10.1007/978-3-642-15205-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems
by Gabriele Puppis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5955
オンライン: http://dx.doi.org/10.1007/978-3-642-11881-4
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
edited by Angelo Oddi, Francois Fages, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5655
オンライン: http://dx.doi.org/10.1007/978-3-642-03251-6
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Francois Fages, Francesca Rossi, Sylvain Soliman
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5129
オンライン: http://dx.doi.org/10.1007/978-3-540-89812-2
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Recent Advances in Constraints (vol. # 3419) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
Fages, Francois ; Petcu, Adrian ; Faltings, Boi ; Rossi, Francesca ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3419
オンライン: http://dx.doi.org/10.1007/b106890
所蔵情報: loading…