本文に飛ぶ

年 〜
年

検索結果 32 件

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 -- ...

Intelligent autonomous control of spacecraft with multiple constraints : [hbk.]

Intelligent autonomous control of spacecraft with multiple constraints : [hbk.]
紙図書
Qinglei Hu, Xiaodong Shao, Lei GuoSpringer2023
全国の図書館
  • 件名...uter software) Constraints (Artificial intelligence)
  • 件名（識別子）...uter software) Constraints (Artificial intelligence)

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 -- ...

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 ...

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 -- ...

Complexity of constraints : an overview of current research themes. : Dagstuhl seminar on "complexity of constraints" : international Dagstuhl-seminar on complexity of constraints : Oct 2006, Wadern, Germany. (Lecture Notes in Computer Science ; 5250. State-of-the-Art Survey)

Complexity of constraints : an overview of current research themes. : Dagstuhl seminar on "complexity of constraints" : international Dagstuhl-seminar on complexity of constraints : Oct 2006, Wadern, Germany. (Lecture Notes in Computer Science ; 5250. State-of-the-Art Survey)
紙図書
Springerc2008.<M17-09-797>
国立国会図書館
  • 件名...-- Congresses. Constraints (Artificial intelligence) -- Research -- Congresses. Co...

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 pro...

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 pro...

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 pro...

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 res...

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 pro...

Complexity of infinite-domain constraint satisfaction

Complexity of infinite-domain constraint satisfaction
紙図書
Manuel BodirskyAssociation for Symbolic Logic2021
全国の図書館
  • 件名...puter science) Constraints (Artificial intelligence) -- Mathematics Linear program...
  • 件名（識別子）...puter science) Constraints (Artificial intelligence) -- Mathematics Linear program...

Constraint reasoning for differential models

Constraint reasoning for differential models
紙図書
Jorge CruzIOS Pressc2005
全国の図書館
  • 件名Constraints (Artificial intelligence) Differential equations Interv...
  • 件名（識別子）Constraints (Artificial intelligence) Differential equations Interv...

Constraint-based verification

Constraint-based verification
紙図書
Jun Yuan, Carl Pixley, Adnan AzizSpringerc2006
全国の図書館
  • 件名Constraints (Artificial intelligence) Digital electronics -- Testin...
  • 件名（識別子）Constraints (Artificial intelligence) Digital electronics -- Testin...

Constraint - based scheduling : applying constraint programming to scheduling problems

Constraint - based scheduling : applying constraint programming to scheduling problems
紙図書
Philippe Baptiste, Claude Le Pape, Wim NuijtenKluwer Academicc2001
全国の図書館
  • 件名Production scheduling Constraints (Artificial intelligence)
  • 件名（識別子）Production scheduling Constraints (Artificial intelligence)

Complexity classifications of Boolean constraint satisfaction problems

Complexity classifications of Boolean constraint satisfaction problems
紙図書
Nadia Creignou, Sanjeev Khanna, Madhu SudanSociety for Industrial and Applied Mathematicsc2001
全国の図書館
  • 件名Computational complexity Constraints (Artificial intelligence) Boolean algebra
  • 件名（識別子）Computational complexity Constraints (Artificial intelligence) Boolean algebra

The constraints management handbook

The constraints management handbook
紙図書
James F. Cox, III, Michael S. Spencer ; foreword by Eliyahu M. GoldrattSt. Lucie Pressc1998
全国の図書館
  • 件名Production management Constraints (Artificial intelligence) Production planning
  • 件名（識別子）Production management Constraints (Artificial intelligence) Production planning

Foundations of Constraint Satisfaction

Foundations of Constraint Satisfaction
紙図書
Edward Tsang ; [edited by Thom Fruehwirth]Books on Demandc1996
全国の図書館
  • 件名Constraints (Artificial intelligence)
  • 件名（識別子）Constraints (Artificial intelligence)

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 -- D...
  • 件名（識別子）Constraints (Artificial intelligence) -- Congresses Scheduling -- D...

The theory of constraints and its implications for management accounting

The theory of constraints and its implications for management accounting
紙図書
by Eric Noreen, Debra Smith, James T. Mackey ; [foreword by Eliyahu M. Goldratt]The North River Pressc1995
全国の図書館
  • 件名Managerial accounting Constraints (Artificial intelligence)
  • 件名（識別子）Managerial accounting Constraints (Artificial intelligence)
RSS