国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
~1940年代
(5)
1950年代
(13)
1960年代
(30)
1970年代
(15)
1980年代
(19)
1990年代
(41)
2000年代
(34)
2010年代
(21)
2020年代
(8)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(186)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
(1)
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(2)
紙
(184)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 186 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
紙
図書
Springer
c2011.
<M17-11-3217>
国立国会図書館
Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
紙
図書
Springer
c2010.
<M17-11-152>
国立国会図書館
The art of mathematics, take two : tea time in Cambridge pbk. 1st ed.
The art of mathematics, take two : tea time in Cambridge pbk. 1st ed.
紙
図書
Béla Bollobás
Cambridge University Press
2022
全国の図書館
LCC
QA93
The spirit of mathematics : algebra and all that
The spirit of mathematics : algebra and all that
紙
図書
David Acheson
Oxford University Press
2023
全国の図書館
LCC
QA93
The art of mathematics – take two : tea time in cambridge : hardback
The art of mathematics – take two : tea time in cambridge : hardback
紙
図書
Béla Bollobás
Cambridge University Press
c2022
全国の図書館
LCC
QA93
Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
紙
図書
Springer
c2009.
<M17-10-304>
国立国会図書館
Looking for math in all the wrong places : math in real life
Looking for math in all the wrong places : math in real life
紙
図書
Shai Simonson
MAA Press
c2022
全国の図書館
LCC
QA93
Putting two and two together : selections from the mathologer file :pbk.
Putting two and two together : selections from the mathologer file :pbk.
紙
図書
Burkard Polster, Marty Ross
American Mathematical Society
c2021
全国の図書館
LCC
QA93
Handbook of satisfiability pt. 2 2nd ed
Handbook of satisfiability pt. 2 2nd ed
紙
図書
edited by Armin Biere ... [et al.]
IOS Press
c2021
全国の図書館
Illustrating mathematics : pbk
Illustrating mathematics : pbk
紙
図書
Diana Davis, editor
American Mathematical Society
c2020
全国の図書館
LCC
QA93
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)
紙
図書
Springer
c2006.
<M17-06-2345>
国立国会図書館
Pluses and minuses : how math solves our problems : [pbk.]
Pluses and minuses : how math solves our problems : [pbk.]
紙
図書
Stefan Buijsman ; translated from the Dutch by Andy Brown
Penguin
2020
全国の図書館
LCC
QA93
The maths of life and death : why maths of life is (almost) everything : hb
The maths of life and death : why maths of life is (almost) everything : hb
紙
図書
Kit Yares
Quercus
2019
全国の図書館
LCC
QA93
Problems with a point : exploring math and computer science : hardback
Problems with a point : exploring math and computer science : hardback
紙
図書
William Gasarch, Clyde Kruskal
World Scientific
c2019
全国の図書館
LCC
QA93
The prime number conspiracy : the biggest ideas in math from Quanta : pbk
The prime number conspiracy : the biggest ideas in math from Quanta : pbk
紙
図書
edited by Thomas Lin ; [foreword by James Gleick]
MIT Press
c2018
全国の図書館
LCC
QA93
A readable introduction to real mathematics 2nd ed
A readable introduction to real mathematics 2nd ed
紙
図書
Daniel Rosenthal, David Rosenthal, Peter Rosenthal
Springer
c2018
全国の図書館
LCC
QA93
The calculus of happiness : how a mathematical approach to life adds up to health, wealth, and love
The calculus of happiness : how a mathematical approach to life adds up to health, wealth, and love
紙
図書
Oscar E. Fernandez
Princeton University Press
c2017
全国の図書館
LCC
QA93
A dingo ate my math book : mathematics from Down Under : [pbk.]
A dingo ate my math book : mathematics from Down Under : [pbk.]
紙
図書
Burkard Polster, Marty Ross
American Mathematical Society
c2017
全国の図書館
LCC
QA93
Burn math class : and reinvent mathematics for yourself : hbk
Burn math class : and reinvent mathematics for yourself : hbk
紙
図書
Jason Wilkes
Basic Books, a member of the Perseus Books Group
c2016
全国の図書館
LCC
QA93
A mathematical gallery
A mathematical gallery
紙
図書
Lisl Gaal
American Mathematical Society
c2017
全国の図書館
LCC
QA93
もっと見る(21件目~)
書誌情報を一括出力