本文に飛ぶ

年 〜
年

検索結果 14 件

Practice and theory of automated timetabling 6 : 6th international conference, PATAT 2006 : Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers. : Aug 2006, Brno, Czech Republic. (Lecture Notes in Computer Science ; 3867)

Practice and theory of automated timetabling 6 : 6th international conference, PATAT 2006 : Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers. : Aug 2006, Brno, Czech Republic. (Lecture Notes in Computer Science ; 3867)
紙図書
Springerc2007.<M17-08-700>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Scheduling -- Data processin...

Practice and theory of automated timetabling 5 : 5th international conference, PATAT 2004 : Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers. : Aug 2004, Pittsburgh, PA. (Lecture Notes in Computer Science ; 3616)

Practice and theory of automated timetabling 5 : 5th international conference, PATAT 2004 : Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers. : Aug 2004, Pittsburgh, PA. (Lecture Notes in Computer Science ; 3616)
紙図書
Springerc2005.<M17-06-730>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Scheduling -- Data processin...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)
紙図書
Springerc2010.<M17-11-150>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Combinatorial optimization -...

Practice and theory of automated timetabling 4 : 4th international conference, PATAT 2002 : Gent, Belgium, August 21-23, 2002 : selected revised papers. : Aug 2002, Gent, Belgium. (Lecture Notes in Computer Science ; 2740)

Practice and theory of automated timetabling 4 : 4th international conference, PATAT 2002 : Gent, Belgium, August 21-23, 2002 : selected revised papers. : Aug 2002, Gent, Belgium. (Lecture Notes in Computer Science ; 2740)
紙図書
Springer-Verlagc2003.<M17-04-1046>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Scheduling -- Data processin...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 8th international conference, CPAIOR 2011 : Berlin, Germany, May 23-27, 2011 : proceedings. : May 2011, Berlin, Germany. (Lecture Notes in Computer Science ; 6697)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 8th international conference, CPAIOR 2011 : Berlin, Germany, May 23-27, 2011 : proceedings. : May 2011, Berlin, Germany. (Lecture Notes in Computer Science ; 6697)
紙図書
Springerc2011.<M17-11-2470>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Constraint programming (Comp...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008 : Paris, France, May 20-23, 2008 : proceedings. : May 2008, Paris, France. (Lecture Notes in Computer Science ; 5015)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008 : Paris, France, May 20-23, 2008 : proceedings. : May 2008, Paris, France. (Lecture Notes in Computer Science ; 5015)
紙図書
Springerc2008.<M17-08-2097>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Constraint programming (Comp...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006 : Cork, Ireland, May 31-June 2, 2006 : proceedings. : May 2006, Cork, Ireland. (Lecture Notes in Computer Science ; 3990)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006 : Cork, Ireland, May 31-June 2, 2006 : proceedings. : May 2006, Cork, Ireland. (Lecture Notes in Computer Science ; 3990)
紙図書
Springerc2006.<M17-06-2595>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Constraint programming (Comp...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th international conference, CPAIOR 2007 : Brussels, Belgium, May 23-26, 2007 : proceedings. : 4th international conference on integration of artificial intelligence, constraint programming, and operations research techniques for combinatorial optimization problems : May 2007, Brussels, Belgium. (Lecture Notes in Computer Science ; 4510)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th international conference, CPAIOR 2007 : Brussels, Belgium, May 23-26, 2007 : proceedings. : 4th international conference on integration of artificial intelligence, constraint programming, and operations research techniques for combinatorial optimization problems : May 2007, Brussels, Belgium. (Lecture Notes in Computer Science ; 4510)
紙図書
Springerc2007.<M17-07-2929>
国立国会図書館
  • 件名...-- Congresses. Constraints (Artificial intelligence) -- Congresses. Operations research -- Techn...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004 : Nice, France, April 20-22, 2004 : proceedings. : Apr 2004, Nice, France. (Lecture Notes in Computer Science ; 3011)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004 : Nice, France, April 20-22, 2004 : proceedings. : Apr 2004, Nice, France. (Lecture Notes in Computer Science ; 3011)
紙図書
Springerc2004.<M17-04-3093>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- Congresses. Constraint programming (Comp...

Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers

Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers
紙図書
Edmund K. Burke, Hana Rudová (eds.)Springerc2007
全国の図書館
  • 件名Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...
  • 件名（識別子）Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings : pbk

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings : pbk
紙図書
Willem-Jan van Hoeve, John N. Hooker (eds.)Springerc2009
全国の図書館
  • 件名Constraints (Artificial intelligence) -- Congresses Combinatorial optimization --...
  • 件名（識別子）Constraints (Artificial intelligence) -- Congresses Combinatorial optimization --...

Practice and theory of automated timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers

Practice and theory of automated timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers
紙図書
Edmund Burke, Michael Trick (eds.)Springerc2005
全国の図書館
  • 件名... -- Congresses Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...
  • 件名（識別子）... -- Congresses Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...

Practice and theory of automated timetabling IV : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002 : selected revised papers

Practice and theory of automated timetabling IV : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002 : selected revised papers
紙図書
Edmund Burke, Patrick De Causmaecker (eds.)Springerc2003
全国の図書館
  • 件名... -- Congresses Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...
  • 件名（識別子）... -- Congresses Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...

Practice and theory of automated timetabling III : third International Conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers

Practice and theory of automated timetabling III : third International Conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers
紙図書
Edmund Burke, Wilhelm Erben (eds.)Springerc2001
全国の図書館
  • 件名... -- Congresses Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...
  • 件名（識別子）... -- Congresses Constraints (Artificial intelligence) -- Congresses Scheduling -- Data processing...

検索結果は以上です。

RSS