Books in category Computers – Logic Design

  • Automata Implementation

    Automata Implementation
    Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi

    This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Implementing Automata, WIA'98, held in Rouen, France, in September 1998.

  • Digital Logic Design Using Verilog

    Digital Logic Design Using Verilog
    Vaibbhav Taraate

    This book is organized in such a way that that it can describe a number of RTL design scenarios, from simple to complex. The book constructs the logic design story from the fundamentals of logic design to advanced RTL design concepts.

  • 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 …

  • Separation Logic for High level Synthesis

    Separation Logic for High-level Synthesis
    Felix Winterstein

    This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial …

  • Logical Foundations of Artificial Intelligence

    Logical Foundations of Artificial Intelligence
    Michael R. Genesereth, Nils J. Nilsson

    Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.

  • Logic Synthesis for Asynchronous Controllers and Interfaces

    Logic Synthesis for Asynchronous Controllers and Interfaces
    Jordi Cortadella, Michael Kishinevsky, A. Kondratyev, Luciano Lavagno, Alex Yakovlev

    This book is the result of a long friendship, of a broad international co operation, and of a bold dream.

  • 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.

  • Handbook of Research on Soft Computing and Nature Inspired Algorithms

    Handbook of Research on Soft Computing and Nature-Inspired Algorithms
    Shandilya, Shishir K., Shandilya, Smita, Deep, Kusum, Nagar, Atulya K.

    The Handbook of Research on Soft Computing and Nature-Inspired Algorithms is an essential source for the latest scholarly research on applications of nature-inspired computing and soft computational systems.

  • ASIC SoC Functional Design Verification

    ASIC/SoC Functional Design Verification
    Ashok B. Mehta

    This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon.

  • Lecture Notes on Empirical Software Engineering

    Lecture Notes on Empirical Software Engineering
    Natalia Juristo, Ana M. Moreno

    This book aims to spread the idea of the importance of empirical knowledge in software development from a highly practical viewpoint.

1 2 3 4 5 Next >