国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(1)
2000年代
(9)
2010年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(11)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(11)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 11 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
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)
紙
図書
Springer
c2011.
<M17-11-2470>
国立国会図書館
LCC
Q340
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)
紙
図書
Springer
c2008.
<M17-08-2097>
国立国会図書館
LCC
Q340
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)
紙
図書
Springer
c2007.
<M17-07-2929>
国立国会図書館
LCC
Q340
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)
紙
図書
Springer
c2006.
<M17-06-2595>
国立国会図書館
LCC
Q340
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)
紙
図書
Springer
c2004.
<M17-04-3093>
国立国会図書館
LCC
Q340
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.)
Springer
c2009
全国の図書館
LCC
Q340
Constraint-based verification
Constraint-based verification
紙
図書
Jun Yuan, Carl Pixley, Adnan Aziz
Springer
c2006
全国の図書館
LCC
Q340
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.)
Springer
c2005
全国の図書館
LCC
Q341
Q340
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.)
Springer
c2003
全国の図書館
LCC
Q341
Q340
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.)
Springer
c2001
全国の図書館
LCC
Q341
Q340
Constraint-based reasoning
Constraint-based reasoning
紙
図書
edited by Eugene C. Freuder and Alan K. Mackworth
MIT Press
1994, c1992
全国の図書館
LCC
Q340
検索結果は以上です。
書誌情報を一括出力