Jump to main content

yr 〜
yr

Search results 173

The universal computer : the road from Leibniz to Turing : pbk 3rd ed

The universal computer : the road from Leibniz to Turing : pbk 3rd ed
Paper図書
Martin DavisCRC Press2018
Other Libraries in Japan

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

万能コンピュータ : ライプニッツからチューリングへの道すじ チューリング生誕100周年記念版
Paper図書
マーティン・デイヴィス原著 ; 沼田寛訳近代科学社2016.11.
Other Libraries in Japan

Alan M. Turing : pbk Centenary ed

Alan M. Turing : pbk Centenary ed
Paper図書
Sara Turing ; with a foreword by Martin Davis and an afterword by John TuringCambridge University Press2015
Other Libraries in Japan

The universal computer : the road from Leibniz to Turing Turing centenary ed

The universal computer : the road from Leibniz to Turing Turing centenary ed
Paper図書
Martin DavisCRC Pressc2012
Other Libraries in Japan

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
Paper図書
Martin Davis, Edmond Schonberg, editorsSpringerc2013
Other Libraries in Japan

Alan M. Turing : Hardback Centenary ed

Alan M. Turing : Hardback Centenary ed
Paper図書
Sara Turing ; with a foreword by Martin Davis and an afterword by John TuringCambridge University Press2012
Other Libraries in Japan

The Palgrave handbook of psychological perspectives on alcohol consumption

The Palgrave handbook of psychological perspectives on alcohol consumption
Paper図書
Richard Cooke, Dominic Conroy, Emma Louise Davies, Martin S. Hagger, Richard O. de Visser, editorsPalgrave Macmillan[2021]<ED31-D3>
National Diet LibraryOther Libraries in Japan

Student housing and the law

Student housing and the law
Paper図書
Martin Davis and Graham RobsonShelterc2008
Other Libraries in Japan

Computability, complexity, and languages

Computability, complexity, and languages
Digital電子書籍・電子雑誌図書
1994
Available onlineNational Diet Library

Shipping law Fourth edition.

Shipping law Fourth edition.
Paper図書
Martin Davies, Anthony Dickey.Thomson Reuters (Professional) Australia Limited2016.<AA8-471-B4>
National Diet Library

Applied nonstandard analysis : pbk

Applied nonstandard analysis : pbk
Paper図書
Martin DavisDover Publications2005
Other Libraries in Japan

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.
Paper図書
edited by Martin DavisDover Publication2004
Other Libraries in Japan

Ｃｈｉｎｅｓｅ　Ｍａｒｉｔｉｍｅ　Ｃａｓｅｓ：　Ｓｅｌｅｃｔｉｏｎ　ｆｏｒ　Ｙｅａｒ　ｏｆ　２０１４．　　Ｖｏｌｕｍｅ　１

Ｃｈｉｎｅｓｅ　Ｍａｒｉｔｉｍｅ　Ｃａｓｅｓ：　Ｓｅｌｅｃｔｉｏｎ　ｆｏｒ　Ｙｅａｒ　ｏｆ　２０１４．　　Ｖｏｌｕｍｅ　１
Paper図書
Ｄａｖｉｅｓ，　Ｍａｒｔｉｎ, Ｌｉｎ，　ＪｉａｎｇＳｐｒｉｎｇｅｒ2021年
Other Libraries in Japan

Engines of logic : mathematicians and the origin of the computer : pbk

Engines of logic : mathematicians and the origin of the computer : pbk
Paper図書
Martin DavisW.W. Norton2001, c2000
Other Libraries in Japan

Engines of logic : Mathematicians and the origin of the computer

Engines of logic : Mathematicians and the origin of the computer
Paper図書
MartinDavisW. W. Norton & Company2001
Other Libraries in Japan

Ｓｏｕｒｃｅｂｏｏｋ　ｏｎ　ｃｏｎｔｒａｃｔ　ｌａｗ　２．ｅｄ． (Ｃａｖｅｎｄｉｓｈ　ｓｏｕｒｃｅｂｏｏｋ　ｓｅｒｉｅｓ)

Ｓｏｕｒｃｅｂｏｏｋ　ｏｎ　ｃｏｎｔｒａｃｔ　ｌａｗ　２．ｅｄ． (Ｃａｖｅｎｄｉｓｈ　ｓｏｕｒｃｅｂｏｏｋ　ｓｅｒｉｅｓ)
Paper図書
Ｏｕｇｈｔｏｎ，　Ｄａｖｉｄ, Ｄａｖｉｓ，　ＭａｒｔｉｎＣａｖｅｎｄｉｓｈ2000年
Other Libraries in Japan

The universal computer : the road from Leibniz to Turing 1st ed

The universal computer : the road from Leibniz to Turing 1st ed
Paper図書
Martin DavisNortonc2000
Other Libraries in Japan

Sourcebook on contract law 2nd ed

Sourcebook on contract law 2nd ed
Paper図書
David Oughton, Martin DavisCavendish2000
Other Libraries in Japan

Torts : pbk 10th ed

Torts : pbk 10th ed
Paper図書
Martin Davies, Ian Malkin, Tania VoonLexisNexis2024
Other Libraries in Japan

Differential and integral calculus 3rd ed.

Differential and integral calculus 3rd ed.
Paper図書
by Edmund Landau ; translated from the German by Melvin Hausner and Martin DavisAmerican Mathematical Society2001
Other Libraries in Japan
RSS