2 Ebook di John V. Tucker
Arnold Beckmann & Ulrich Berger: Logical Approaches to Computational Barriers
Ci E 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 – July 5, 2006 Computability in Europe (Ci E) is an informal network of European scientists working on computability …
PDF
Inglese
DRM
€111.96
Bernhard Moller & John V. Tucker: Prospects for Hardware Foundations
Preface VI I X Table of Contents B. Moller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: …
PDF
Inglese
DRM
€55.98
