国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
~1940年代
(2)
1950年代
(8)
1960年代
(10)
1970年代
(14)
1980年代
(17)
1990年代
(40)
2000年代
(42)
2010年代
(31)
2020年代
(6)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(164)
雑誌
(2)
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
(1)
電子資料
(1)
映像資料
録音資料
規格・テクニカルリポート類
(4)
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(4)
紙
(168)
マイクロ
(1)
記録メディア
(1)
すべて解除
絞り込み条件
絞り込み条件
検索結果 171 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
The universal computer : the road from Leibniz to Turing : pbk 3rd ed
The universal computer : the road from Leibniz to Turing : pbk 3rd ed
紙
図書
Martin Davis
CRC Press
2018
全国の図書館
著者標目
Davis, Martin
万能コンピュータ : ライプニッツからチューリングへの道すじ チューリング生誕100周年記念版
万能コンピュータ : ライプニッツからチューリングへの道すじ チューリング生誕100周年記念版
紙
図書
マーティン・デイヴィス原著 ; 沼田寛訳
近代科学社
2016.11
全国の図書館
著者標目
Davis, Martin
沼田, 寛
Alan M. Turing : pbk Centenary ed
Alan M. Turing : pbk Centenary ed
紙
図書
Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
Cambridge University Press
2015
全国の図書館
著者標目
Turing, Sara Stoney
Davis, Martin
Turing, John
The universal computer : the road from Leibniz to Turing Turing centenary ed
The universal computer : the road from Leibniz to Turing Turing centenary ed
紙
図書
Martin Davis
CRC Press
c2012
全国の図書館
著者標目
Davis, Martin
From linear operators to computational biology : essays in memory of Jacob T. Schwartz
From linear operators to computational biology : essays in memory of Jacob T. Schwartz
紙
図書
Martin Davis, Edmond Schonberg, editors
Springer
c2013
全国の図書館
著者標目
Schwartz, Jacob T.
Davis, Martin
Schonberg, Edmond
Alan M. Turing : Hardback Centenary ed
Alan M. Turing : Hardback Centenary ed
紙
図書
Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
Cambridge University Press
2012
全国の図書館
著者標目
Turing, Sara Stoney
Davis, Martin
Turing, John
Student housing and the law
Student housing and the law
紙
図書
Martin Davis and Graham Robson
Shelter
c2008
全国の図書館
著者標目
Davis, Martin
Robson, Graham
The Palgrave handbook of psychological perspectives on alcohol consumption
The Palgrave handbook of psychological perspectives on alcohol consumption
紙
図書
Richard Cooke, Dominic Conroy, Emma Louise Davies, Martin S. Hagger, Richard O. de Visser, editors
Palgrave Macmillan
[2021]
<ED31-D3>
国立国会図書館
全国の図書館
Computability, complexity, and languages
Computability, complexity, and languages
デジタル
電子書籍・電子雑誌
図書
1994
インターネットで読める
国立国会図書館
著者標目
Davis, Martin
Sigal, Ron Weyuker, Elaine J.
Shipping law Fourth edition.
Shipping law Fourth edition.
紙
図書
Martin Davies, Anthony Dickey.
Thomson Reuters (Professional) Australia Limited
2016.
<AA8-471-B4>
国立国会図書館
Applied nonstandard analysis : pbk
Applied nonstandard analysis : pbk
紙
図書
Martin Davis
Dover Publications
2005
全国の図書館
著者標目
Davis, Martin
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions : pbk.
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions : pbk.
紙
図書
edited by Martin Davis
Dover Publication
2004
全国の図書館
著者標目
Davis, Martin
Engines of logic : mathematicians and the origin of the computer : pbk
Engines of logic : mathematicians and the origin of the computer : pbk
紙
図書
Martin Davis
W.W. Norton
2001, c2000
全国の図書館
著者標目
Davis, Martin
Chinese Maritime Cases: Selection for Year of 2014. Volume 1
Chinese Maritime Cases: Selection for Year of 2014. Volume 1
紙
図書
Davies, Martin, Lin, Jiang
Springer
2021年
全国の図書館
Engines of logic : Mathematicians and the origin of the computer
Engines of logic : Mathematicians and the origin of the computer
紙
図書
MartinDavis
W. W. Norton & Company
2001
全国の図書館
Sourcebook on contract law 2.ed. (Cavendish sourcebook series)
Sourcebook on contract law 2.ed. (Cavendish sourcebook series)
紙
図書
Oughton, David, Davis, Martin
Cavendish
2000年
全国の図書館
The universal computer : the road from Leibniz to Turing 1st ed
The universal computer : the road from Leibniz to Turing 1st ed
紙
図書
Martin Davis
Norton
c2000
全国の図書館
著者標目
Davis, Martin
Sourcebook on contract law 2nd ed
Sourcebook on contract law 2nd ed
紙
図書
David Oughton, Martin Davis
Cavendish
2000
全国の図書館
著者標目
Oughton, David
Davis, Martin
Differential and integral calculus 3rd ed.
Differential and integral calculus 3rd ed.
紙
図書
by Edmund Landau ; translated from the German by Melvin Hausner and Martin Davis
American Mathematical Society
2001
全国の図書館
著者標目
Landau, Edmund Hausner, Melvin
Davis, Martin
Study skills for international postgraduates : pb 2nd ed
Study skills for international postgraduates : pb 2nd ed
紙
図書
Martin Davies
Bloomsbury Academic
2022
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力