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.

  • Computer Aided Verification

    Computer Aided Verification
    Nicolas Halbwachs, Doron Peled

    This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.

  • Functional Decomposition with Applications to FPGA Synthesis

    Functional Decomposition with Applications to FPGA Synthesis
    Christoph Scholl

    The book presents, in a consistent manner, a comprehensive presentation of a multitude of results stemming from the author's as well as various researchers' work in the field.

  • Logic Programming

    Logic Programming
    Jan Małuszyński

    The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming.

  • Verification Model Checking and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation
    Radhia Cousot

    The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.The 27 revised full papers presented together …

  • Regular Nanofabrics in Emerging Technologies

    Regular Nanofabrics in Emerging Technologies
    M. Haykel Ben Jamaa

    The book presents two technologies as potential candidates for future semiconductor devices and systems and it shows how fabrication issues can be addressed at the design level and vice versa.

  • CIAA 2003 Volume 7

    CIAA 2003, Volume 7
    Jean-Marc Champarnaud, Denis Maurel

    The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002.The 28 revised full papers presented together with an invited paper and 4 short …

  • Principles and Practice of Constraint Programming CP 2002

    Principles and Practice of Constraint Programming – CP 2002
    Pascal Van Hentenryck

    This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.The 38 revised full papers and 6 innovative …

  • Mikrocontroller und Mikroprozessoren

    Mikrocontroller und Mikroprozessoren
    Theo Ungerer

    Das vorliegende Buch gibt zunachst eine Darstellung der grundlegenden Prinzipien der Mikrocontroller und Mikroprozessoren.

  • Advances in Computer Systems Architecture

    Advances in Computer Systems Architecture
    Amos Omondi, Stanislav Sedukhin

    This book constitutes the refereed proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2003, held in Aizu-Wakamatsu, Japan in September 2003.

1 2 3 4 5 Next >