Bokus

John V. Tucker – författare

Visar alla böcker från författaren John V. Tucker. Handla med fri frakt och snabb leverans.

4 produkter

  1. Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker - Logical Approaches to Computational Barriers, Häftad. Tillgänglighet: Lägg i varukorg

    Logical Approaches to Computational Barriers

    Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

    Av Arnold Beckmann, Ulrich Berger m. fl.

    Häftad, 2006

    1128 kr

    Lägg i varukorg

    CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the …

  2. John V. Tucker, Benedikt Lowe, Ulrich Berger, Arnold Beckmann - Logical Approaches to Computational Barriers, E-bok. Tillgänglighet: Lägg i varukorg

    Logical Approaches to Computational Barriers

    Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

    Av John V. Tucker, Benedikt Lowe m. fl.

    E-bok, 2006

    1459 kr

    Lägg i varukorg

    CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the …

  3. John V. Tucker, Bernhard Moller - Prospects for Hardware Foundations, E-bok. Tillgänglighet: Lägg i varukorg

    Prospects for Hardware Foundations

    ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

    Av John V. Tucker, Bernhard Moller

    E-bok, 2003

    739 kr

    Lägg i varukorg

    Preface VI I X Table of Contents B. Möller 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: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA …

  4. Bernhard Möller, John V. Tucker - Prospects for Hardware Foundations, Häftad. Tillgänglighet: Lägg i varukorg

    Prospects for Hardware Foundations

    ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

    Av Bernhard Möller, John V. Tucker

    Häftad, 1998

    569 kr

    Lägg i varukorg

    This volume is devoted to the theoretical foundations of hardware design. The 12 chapters presented are organized in sections on mathematical foundations of hardware modelling; models of hardware and dynamical systems; and verification and deductive design of systems. The book is a memoir …