Universal Computer The Road from Leibniz to Turing, Third Edition Davis, Martin Innbundet / 2018 / Engelsk
Correct-Program Technology/Extensibility of Verifiers: Two Papers on Program Verification (Classic Reprint) Davis, Martin Heftet / 2018 / Engelsk
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem: June 1961 (Classic Reprint) Davis, Martin Innbundet / 2019 / Engelsk
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem Davis, Martin Innbundet / 2018 / Engelsk
Universal Computer The Road from Leibniz to Turing, Third Edition Davis, Martin Heftet / 2018 / Engelsk
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem Davis, Martin Innbundet / 2015 / Engelsk
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem: June 1961 (Classic Reprint) Davis, Martin Heftet / 2019 / Engelsk
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem Davis, Martin Heftet / 2017 / Engelsk
Correct-Program Technology/Extensibility of Verifiers: Two Papers on Program Verification (Classic Reprint) Davis, Martin Innbundet / 2018 / Engelsk
Astrolocality Astrology: A Guide to What it is and How to Use it Davis, Martin Heftet / 2014 / Engelsk
Formal Notion of Program-Based Test Data Adequacy: October, 1982 (Classic Reprint) Davis, Martin D. Heftet / 2018 / Engelsk
Formal Notion of Program-Based Test Data Adequacy: October, 1982 (Classic Reprint) Davis, Martin D. Innbundet / 2018 / Engelsk
Die Löwen-Liga: Verkaufen will gelernt sein Davis, Martin Sänger; Peter Buchenau; Zach Digital bok / 2018 / Tysk
Diary of a Shropshire Farmer A Young Yeoman's Life and Travels 1835-37 Davis, Peter Heftet / 2011 / Engelsk
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Davis, Martin Innbundet / 2012 / Engelsk
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Davis, Martin Heftet / 2014 / Engelsk
