Computer architecture and logic design Books

Assembly languages
Parallel processing
Sidebar Sidebar Sidebar
  • Model Checking Software Model Checking Software
    Add to Cart The item has been added

    Model Checking Software

    Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999),...
    $122.00

    Add to Cart The item has been added
  • Functional and Logic Programming Functional and Logic Programming
    Add to Cart The item has been added

    Functional and Logic Programming

    This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara. FLOPS is a...
    $116.00

    Add to Cart The item has been added
  • Hybrid Systems Hybrid Systems
    Add to Cart The item has been added

    Hybrid Systems

    This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid...
    $184.00

    Add to Cart The item has been added
  • Organic and Pervasive Computing -- ARCS 2004 Organic and Pervasive Computing -- ARCS 2004
    Add to Cart The item has been added

    Organic and Pervasive Computing -- ARCS 2004

    Where is system architecture heading? The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology...
    $122.00

    Add to Cart The item has been added
  • Higher-Level Hardware Synthesis Higher-Level Hardware Synthesis
    Add to Cart The item has been added

    Higher-Level Hardware Synthesis

    In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article published...
    $122.00

    Add to Cart The item has been added
  • CASL Reference Manual CASL Reference Manual
    Add to Cart The item has been added

    CASL Reference Manual

    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language...
    $220.00

    Add to Cart The item has been added
  • Compiler Construction Compiler Construction
    Add to Cart The item has been added

    Compiler Construction

    The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for...
    $122.00

    Add to Cart The item has been added
  • LATIN 2004 LATIN 2004
    Add to Cart The item has been added

    LATIN 2004

    This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5-8, 2004. The LATIN series of symposia was...
    $220.00

    Add to Cart The item has been added
  • STACS 2004 STACS 2004
    Add to Cart The item has been added

    STACS 2004

    The Symposium on Theoretical Aspects of Computer Science (STACS) is alt- nately held in France and in Germany. The conference of March 25-27, 2004 at the Corum, Montpellier was the twenty-?rst in...
    $227.00

    Add to Cart The item has been added
  • Formal Approaches to Software Testing Formal Approaches to Software Testing
    Add to Cart The item has been added

    Formal Approaches to Software Testing

    Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the...
    $92.00

    Add to Cart The item has been added
  • A Theory of Distributed Objects A Theory of Distributed Objects
    Add to Cart The item has been added

    A Theory of Distributed Objects

    Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Presents and analyses many implementation strategies that can readily be used by developers...
    $184.00

    Add to Cart The item has been added
  • Perspectives of Systems Informatics Perspectives of Systems Informatics
    Add to Cart The item has been added

    Perspectives of Systems Informatics

    Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July 9-12, 2003...
    $122.00

    Add to Cart The item has been added
  • CASL User Manual CASL User Manual
    Add to Cart The item has been added

    CASL User Manual

    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language ...
    $92.00

    Add to Cart The item has been added
  • FST TCS 2003 FST TCS 2003
    Add to Cart The item has been added

    FST TCS 2003

    Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and...
    $92.00

    Add to Cart The item has been added
  • Advances in Agent Communication Advances in Agent Communication
    Add to Cart The item has been added

    Advances in Agent Communication

    InthisbookwepresentacollectionofpapersaroundthetopicofAgentCom- nication. The communication between agents has been one of the major topics of research in multi-agent systems. The current work can...
    $122.00

    Add to Cart The item has been added
  • Formal Methods at the Crossroads Formal Methods at the Crossroads
    Add to Cart The item has been added

    Formal Methods at the Crossroads

    This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18-21, 2002. Armando...
    $92.00

    Add to Cart The item has been added
  • SOFSEM 2004 SOFSEM 2004
    Add to Cart The item has been added

    SOFSEM 2004

    The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24-30, 2004, ´ in the Hotel VZ M? e? rin, located about 60 km...
    $116.00

    Add to Cart The item has been added
  • Formal Methods and Software Engineering Formal Methods and Software Engineering
    Add to Cart The item has been added

    Formal Methods and Software Engineering

    This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held...
    $227.00

    Add to Cart The item has been added
  • Theoretical Computer Science Theoretical Computer Science
    Add to Cart The item has been added

    Theoretical Computer Science

    The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on October 13-15 2003. The center is composed of three...
    $92.00

    Add to Cart The item has been added
  • Agent-Oriented Software Engineering IV Agent-Oriented Software Engineering IV
    Add to Cart The item has been added

    Agent-Oriented Software Engineering IV

    The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems...
    $92.00

    Add to Cart The item has been added
  • Post-Silicon Validation and Debug Post-Silicon Validation and Debug
    Add to Cart The item has been added

    Post-Silicon Validation and Debug

    This book provides a comprehensive coverage of System-on-Chip (SoC) post-silicon validation and debug challenges and state-of-the-art solutions with contributions from SoC designers, academic...
    $298.00

    Add to Cart The item has been added
  • Safe, Autonomous and Intelligent Vehicles Safe, Autonomous and Intelligent Vehicles
    Add to Cart The item has been added

    Safe, Autonomous and Intelligent Vehicles

    This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to...
    $216.00

    Add to Cart The item has been added
  • Hardware Protection through Obfuscation Hardware Protection through Obfuscation
    Add to Cart The item has been added

    Hardware Protection through Obfuscation

    This book introduces readers to various threats faced during design and fabrication by today's integrated circuits (ICs) and systems. The authors discuss key issues, including illegal manufacturing...
    $209.00

    Add to Cart The item has been added
  • Green IT Engineering Green IT Engineering
    Add to Cart The item has been added

    Green IT Engineering

    This volume provides a comprehensive state of the art overview of a series of advanced trends and concepts that have recently been proposed in the area of green information technologies engineering...
    $184.00

    Add to Cart The item has been added
  • Analog Integrated Circuit Design Automation Analog Integrated Circuit Design Automation
    Add to Cart The item has been added

    Analog Integrated Circuit Design Automation

    This book introduces readers to a variety of tools for analog layout design automation. After discussing the placement and routing problem in electronic design automation (EDA), the authors overview...
    $220.00

    Add to Cart The item has been added
  • The Dark Side of Silicon The Dark Side of Silicon
    Add to Cart The item has been added

    The Dark Side of Silicon

    This book presents the state-of-the art of one of the main concerns with microprocessors today, a phenomenon known as "dark silicon".  Readers will learn how power constraints (both leakage and...
    $238.00

    Add to Cart The item has been added
  • Digital Storage in Consumer Electronics Digital Storage in Consumer Electronics
    Add to Cart The item has been added

    Digital Storage in Consumer Electronics

    This book provides an introduction to digital storage for consumer electronics. It discusses the various types of digital storage, including emerging non-volatile solid-state storage technologies and...
    $184.00

    Add to Cart The item has been added
  • Smart Camera Design Smart Camera Design
    Add to Cart The item has been added

    Smart Camera Design

    This book describes the algorithms and computer architectures used to create and analyze photographs in modern digital cameras. It also puts the capabilities of digital cameras into context for...
    $238.00

    Add to Cart The item has been added
  • Brain-Machine Interface Brain-Machine Interface
    Add to Cart The item has been added

    Brain-Machine Interface

    This book provides an introduction to the emerging area of "Brain-Machine Interfaces," with emphasis on the operation and practical design aspects. The book will help both electrical & bioengineers...
    $270.00

    Add to Cart The item has been added
  • Advanced Logic Synthesis Advanced Logic Synthesis
    Add to Cart The item has been added

    Advanced Logic Synthesis

    This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives on new technologies and logic synthesis, new data...
    $184.00

    Add to Cart The item has been added
Computer architecture and logic design