Logic Design

1287 titles from eBooks.com

New Releases


Ebook Format


The Art of Systems Architecting
CRC Press (2009)

If engineering is the art and science of technical problem solving, systems architecting happens...

PCI-X System Architecture

PCI-X System Architecture is a detailed and comprehensive guide to the PCI-X technology. It...

Pentium Pro and Pentium II System Architecture

Detailed discussion of the Pentium II and Pentium Pro processors, Front Side Bus (FSB) protocol and...

Program Logics for Certified Compilers

This tutorial for graduate students covers practical and theoretical aspects of separation logic...

E-commerce Systems Architecture and Applications
Artech House (2000)

This text presents a survey of the tools and technologies used for building an e-commerce system. It...

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science (2nd ed.)

Modelling and Reasoning about Systems


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

Service-Oriented Architecture: A Planning and Implementation Guide for Business and Technology

Service-Oriented Architecture

A Planning and Implementation Guide for Business and Technology

Wiley (2008)

Praise for Service-Oriented Architecture "This book provides a superb overview of the SOA topic....

Type Theory and Formal Proof: An Introduction

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

Interactive TV Standards: A Guide to MHP, OCAP, and JavaTV

For any digital TV developer or manager, the maze of standards and specifications related to MHP and...

ARM System Developer's Guide: Designing and Optimizing System Software

ARM System Developer's Guide

Designing and Optimizing System Software

Andrew Sloss, Dominic Symes and 1 more...

Over the last ten years, the ARM architecture has become one of the most pervasive architectures in...