Computer architecture and logic design

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

A design-oriented text for advanced computer architecture courses, covering parallelism, complexity, power, reliability and performance.

This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.

This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

This book introduces students to the full gamut of different parallel programming styles and their relationship to hardware architecture.

The established textbook on the Ada language for 40 years, now covering the 2016 ISO Corrigendum and introducing Ada 2022.

A principled, high-level view of computer performance and how to exploit it.

This book describes the architecture of microprocessors from simple in-order short pipeline designs to out-of-order superscalars.

This book describes the architecture of microprocessors from simple in-order short pipeline designs to out-of-order superscalars.

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

This 2007 volume includes surveys, tutorials, and selected research papers on advances in logic.

This book explains how to specify, design, and test a complete digital system using Verilog.

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

In this introductory text, the fundamental algorithms of numerical linear algebra are developed in a parallel context.

This book describes how a computer works and explains how the various hardware components are organized and interconnected to provide a platform upon which programs can be executed.