Computer architecture and logic design

We are living in the digital age: from ordering products & services to studying and booking travel, digital solutions are everywhere we go and in everything we do.

We are living in the digital age: from ordering products & services to studying and booking travel, digital solutions are everywhere we go and in everything we do.

With the availability of free and open source C/C++ compilers today, you might wonder why someone would be interested in assembler language.

En el libro Vamos de excursión,se presentan dos divertidas historias escritas en lectura fácil.

In der Vergangenheit konnten Anwendungen automatisch von neueren Prozessoren mit höheren Taktfrequenzen profitieren.

Die effiziente Entwicklung neuer, differenzierender fachlicher Prozesse in heterogenen Systemlandschaften ist seit jeher eine der größten Herausforderungen für Unternehmen.

This authoritative and practical introduction to solution architecture is suitable for new entrants to the field but also of benefit to experienced professionals wishing to consolidate their knowledge and skills.

This authoritative and practical introduction to solution architecture is suitable for new entrants to the field but also of benefit to experienced professionals wishing to consolidate their knowledge and skills.

We are living in the digital age.

A comprehensive guide for students and practitioners to parallel computing models, processes, metrics, and implementation in MPI and OpenMP.

A comprehensive guide for students and practitioners to parallel computing models, processes, metrics, and implementation in MPI and OpenMP.

Proceedings of the conference ''Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel''s Legacy'', held in 1996.

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

Digital Systems Engineering presents a comprehensive treatment of speed, reliability and power.

Digital Systems Engineering presents a comprehensive treatment of speed, reliability and power.

A collection of essays celebrating the influence of Alan Turing''s work in logic, computer science and related areas.

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

This book provides an accessible and at the same time scientifically rigorous introduction to the principles of logical reasoning.

This textbook is a complete teaching tool for turning students into logic designers, assuming no prior knowledge of discrete mathematics.

Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

This textbook is a complete teaching tool for turning students into logic designers, assuming no prior knowledge of discrete mathematics.

Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

This book provides an accessible and at the same time scientifically rigorous introduction to the principles of logical reasoning.

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

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

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

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions.

Written for students taking their first course in computer systems architecture, this is an introductory textbook that meets syllabus requirements in a simple manner without being a weighty tome.

A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.

The first comprehensive account of the concept and practices of deduction covering philosophy, history, cognition and mathematical practice.

The first comprehensive account of the concept and practices of deduction covering philosophy, history, cognition and mathematical practice.

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

Focuses on the novel issues raised for IP law by 3D printing for the major IP systems around the world.

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

We are living in the digital age.

Focuses on the novel issues raised for IP law by 3D printing for the major IP systems around the world.

Learn how to use estimation techniques to solve real-world IC design problems and accelerate design processes with this practical guide.

Learn how to use estimation techniques to solve real-world IC design problems and accelerate design processes with this practical guide.

Focuses on the interplay between algorithm design and the underlying computational models.

This book formalizes commonsense knowledge to enable artificial intelligence to understand and engage with the mental lives of people.

This book formalizes commonsense knowledge to enable artificial intelligence to understand and engage with the mental lives of people.

Provides students with a system-level perspective and the tools they need to analyze and design complete digital systems using VHDL.

Provides students with a system-level perspective and the tools they need to analyze and design complete digital systems using VHDL.

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