Books in category Computers – Logic Design

  • Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
    David Trachtenherz

    David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der …

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

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

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

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

  • Algebra and Coalgebra in Computer Science

    Algebra and Coalgebra in Computer Science
    Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

    This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT.

  • Advances in Computer Systems Architecture

    Advances in Computer Systems Architecture
    Lynn Choi

    All the reviews were carefully examined during the paper selection process, and finally 26 papers were accepted, resulting in an acceptance rate of about 28%.

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

  • Fuzzy Sets Fuzzy Logic Applications

    Fuzzy Sets, Fuzzy Logic, Applications
    George Bojadziev, Maria Bojadziev

    The unique feature of the book is twofold: 1) It is the first introductory course (with examples and exercises) which brings in a systematic way fuzzy sets and fuzzy logic into the educational university and college system. 2) It is …

  • LCPC 97 Volume 9

    LCPC’97, Volume 9
    David Sehr

    This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996.

1 2 3 4 5 Next >