Computer architecture and logic design Books

Assembly languages
Parallel processing
Sidebar Sidebar Sidebar
  • Embedded Microcontroller Interfacing Embedded Microcontroller Interfacing
    Add to Cart The item has been added

    Embedded Microcontroller Interfacing

    Mixed-Signal Embedded Microcontrollers are commonly used in integrating analog components needed to control non-digital electronic systems. They are used in automatically controlled devices and...
    $335.00

    Add to Cart The item has been added
  • High Performance Computing and Applications High Performance Computing and Applications
    Add to Cart The item has been added

    High Performance Computing and Applications

    The Second International Conference on High-Performance Computing and Appli- tions (HPCA 2009) was a follow-up event of the successful HPCA 2004. It was held in Shanghai, a beautiful, active, and...
    $227.00

    Add to Cart The item has been added
  • Introduction to Formal Hardware Verification Introduction to Formal Hardware Verification
    Add to Cart The item has been added

    Introduction to Formal Hardware Verification

    This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams,...
    $107.00

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

    Agent-Oriented Software Engineering IX

    Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and...
    $92.00

    Add to Cart The item has been added
  • Web Services and Formal Methods Web Services and Formal Methods
    Add to Cart The item has been added

    Web Services and Formal Methods

    This volumecontainstheproceedingsofthe 5thInternationalWorkshoponWeb Services and Formal Methods (WS-FM 2008) held during September 4-5, 2008 in Milan, Italy, co-located with the 6th International...
    $122.00

    Add to Cart The item has been added
  • Cooperative Bug Isolation Cooperative Bug Isolation
    Add to Cart The item has been added

    Cooperative Bug Isolation

    This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It constitutes a thoroughly revised and...
    $92.00

    Add to Cart The item has been added
  • Advances in Smalltalk Advances in Smalltalk
    Add to Cart The item has been added

    Advances in Smalltalk

    This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference, ISC 2006, held in Prague, Czech Republic in September 2006. Being a live forum on...
    $122.00

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

    STACS 2007

    This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007. The 56 revised full...
    $227.00

    Add to Cart The item has been added
  • B 2007 B 2007
    Add to Cart The item has been added

    B 2007

    This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications...
    $122.00

    Add to Cart The item has been added
  • Applications and Theory of Petri Nets Applications and Theory of Petri Nets
    Add to Cart The item has been added

    Applications and Theory of Petri Nets

    This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences...
    $122.00

    Add to Cart The item has been added
  • Concurrency, Graphs and Models Concurrency, Graphs and Models
    Add to Cart The item has been added

    Concurrency, Graphs and Models

    This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re?ection, with gratitude and admiration, on Ugo's...
    $227.00

    Add to Cart The item has been added
  • FM 2008 FM 2008
    Add to Cart The item has been added

    FM 2008

    This volume contains the proceedings of Formal Methods 2008, the 15th Inter- ? nationalSymposiumonFormalMethods,organizedbyAbo AkademiUniversity, Turku, Finland, during May 26-30, 2008. The series of...
    $92.00

    Add to Cart The item has been added
  • Agent Communication II Agent Communication II
    Add to Cart The item has been added

    Agent Communication II

    This book constitutes the thoroughly refereed post-proceedings of the two International Workshops on Agent Communication, AC 2005 and AC 2006, held in Utrecht, Netherlands in July 2005 and in...
    $92.00

    Add to Cart The item has been added
  • CONCUR 2000 - Concurrency Theory CONCUR 2000 - Concurrency Theory
    Add to Cart The item has been added

    CONCUR 2000 - Concurrency Theory

    This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the...
    $227.00

    Add to Cart The item has been added
  • Automated Deduction - CADE-17 Automated Deduction - CADE-17
    Add to Cart The item has been added

    Automated Deduction - CADE-17

    For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the...
    $122.00

    Add to Cart The item has been added
  • Essentials of Constraint Programming Essentials of Constraint Programming
    Add to Cart The item has been added

    Essentials of Constraint Programming

    The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information...
    $92.00

    Add to Cart The item has been added
  • Parallel Image Processing Parallel Image Processing
    Add to Cart The item has been added

    Parallel Image Processing

    This book introduces the area of image processing and data-parallel processing. It covers a number of standard algorithms in image processing and describes their parallel implementation. The...
    $116.00

    Add to Cart The item has been added
  • Formal Models of Agents Formal Models of Agents
    Add to Cart The item has been added

    Formal Models of Agents

    This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of...
    $122.00

    Add to Cart The item has been added
  • Advances in Computing Science - ASIAN'99 Advances in Computing Science - ASIAN'99
    Add to Cart The item has been added

    Advances in Computing Science - ASIAN'99

    The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with...
    $116.00

    Add to Cart The item has been added
  • Software Engineering - ESEC/FSE '99 Software Engineering - ESEC/FSE '99
    Add to Cart The item has been added

    Software Engineering - ESEC/FSE '99

    For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences...
    $122.00

    Add to Cart The item has been added
  • Dependable Computing - EDDC-3 Dependable Computing - EDDC-3
    Add to Cart The item has been added

    Dependable Computing - EDDC-3

    The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and...
    $122.00

    Add to Cart The item has been added
  • Applied Formal Methods - FM-Trends 98 Applied Formal Methods - FM-Trends 98
    Add to Cart The item has been added

    Applied Formal Methods - FM-Trends 98

    This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the...
    $92.00

    Add to Cart The item has been added
  • Field Programmable Logic and Applications Field Programmable Logic and Applications
    Add to Cart The item has been added

    Field Programmable Logic and Applications

    This book contains the papers presented at the 9th International Workshop on Field ProgrammableLogic and Applications (FPL'99), hosted by the University of Strathclyde in Glasgow, Scotland, August 30...
    $227.00

    Add to Cart The item has been added
  • CONCUR'99. Concurrency Theory CONCUR'99. Concurrency Theory
    Add to Cart The item has been added

    CONCUR'99. Concurrency Theory

    This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) held in Eindhoven, The Netherlands, 24-27 August 1999. ...
    $220.00

    Add to Cart The item has been added
  • Application and Theory of Petri Nets 1999 Application and Theory of Petri Nets 1999
    Add to Cart The item has been added

    Application and Theory of Petri Nets 1999

    This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for the dissemination of...
    $116.00

    Add to Cart The item has been added
  • Interacting Code Motion Transformations Interacting Code Motion Transformations
    Add to Cart The item has been added

    Interacting Code Motion Transformations

    Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are...
    $122.00

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