Books in category Computers – Logic Design

  • Field Programmable Logic and Applications The Roadmap to Reconfigurable Computing

    Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing
    Reiner W. Hartenstein, Herbert Grünbacher

    This book is the proceedings volume of the 10th International Conference on Field Programmable Logic and its Applications (FPL), held August 27 30, 2000 in Villach, Austria, which covered areas like reconfigurable logic (RL), reconfigurable …

  • Automata Implementation

    Automata Implementation
    Oliver Boldt, Helmut Jürgensen

    This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Implementing Automata, WIA'99, held in Potsdam, Germany, in July 1999.

  • Logic Based Program Synthesis and Transformation

    Logic Based Program Synthesis and Transformation
    Patricia Hill

    This book constitutes the thoroughly refereed postproceedings of the15th International Symposium on Logic Based Program Synthesis andTransformation, LOPSTR 2005, held in London, UK in September 2005 inconjunction with SAS 2005, the …

  • Theory and Application of Satisfiability Testing

    Theory and Application of Satisfiability Testing
    Karem A. Sakallah, Laurent Simon

    This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.

  • Code

    Code
    Lawrence Lessig

    This second edition, Code Version 2.0, updates the work and was prepared in part through a wiki, a web site allowing readers to edit the text, making this the first reader-edited revision of a popular book.

  • Algebraic Biology

    Algebraic Biology
    Katsuhisa Horimoto

    This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute …

  • Advances in Computer Systems Architecture

    Advances in Computer Systems Architecture
    Pen-Chung Yew, Jingling Xue

    This book constitutes the refereed proceedings of the 9th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2004, held in Beijing, China in September 2004.

  • Advances in Computer Systems Architecture

    Advances in Computer Systems Architecture
    Chris Jesshope, Colin Egan

    This is the 11th in a series of conferences, which started life in Australia, as the computer architecture component of the Australian Computer Science Week.

  • Adiabatic Logic

    Adiabatic Logic
    Philip Teichmann

    Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption.

  • Automata Implementation

    Automata Implementation
    Darrell Raymond, Derick Wood, Sheng Yu

    As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.

1 2 3 4 5 Next >