年 〜
年

検索結果 9 件

万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版

万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版
紙デジタル図書
マーティン・デイヴィス 原著, 沼田寛 訳近代科学社2016.11<M154-L269>
国立国会図書館全国の図書館
  • 著者標目Davis, Martin, 1928- 沼田, 寛, 1948-

The universal computer : the road from Leibniz to Turing / Martin Davis. 1st ed.

The universal computer : the road from Leibniz to Turing / Martin Davis. 1st ed.
紙図書
Nortonc2000.<M157-A12>
国立国会図書館全国の図書館
  • 著者標目Davis, Martin, 1928-

数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理

数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理
紙図書
マーティン・ディヴィス 著, 岩山知三郎 訳コンピュータ・エージ社2003.7<MA41-H7>
国立国会図書館全国の図書館
  • 著者標目Davis, Martin, 1928- 岩山, 知三郎, 1954-

Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. Weyuker. (Computer science and applied mathematics)

Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. Weyuker. (Computer science and applied mathematics)
紙図書
Academic Press1983.<M159-A22>
国立国会図書館
  • 著者標目Davis, Martin, 1928- Weyuker, Elaine J.

超準解析

超準解析
紙デジタル図書
M.デービス 著, 難波完爾 訳培風館1982.11<MA111-82>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目Davis, Martin, 1928- 難波, 完爾, 1939-

A first course in functional analysis. (Notes on mathematics and its applications)

A first course in functional analysis. (Notes on mathematics and its applications)
紙図書
Gordon and Breach[1967, c1966]<MA152-45>
国立国会図書館
  • 著者標目Davis, Martin, 1928-

計算の理論 (現代科学選書)

計算の理論 (現代科学選書)
紙デジタル図書障害者向け資料あり
M.デーヴィス 著, 渡辺茂, 赤摂也 訳岩波書店1966<410.1-cD26k-W>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目Davis, Martin, 1928- 渡辺, 茂, 1918-1992 赤, 摂也, 1926-...

Computability & unsolvability. (McGraw-Hill series in information processing and computers)

Computability & unsolvability. (McGraw-Hill series in information processing and computers)
紙図書
McGraw-Hill1958.<517.5-D263c>
国立国会図書館全国の図書館
  • 著者標目Davis, Martin, 1928-

計算の理論 (現代科学選書)

計算の理論 (現代科学選書)
紙図書
M.デーヴィス著岩波書店1966.10
全国の図書館
  • 著者標目Davis, Martin, 1928- 赤, 攝也(1926-) 渡辺, 茂(1918-1992)

検索結果は以上です。