Logic Design

1535 titles from eBooks.com

New Releases


Ebook Format


PCI-X System Architecture
Addison-Wesley Longman (2001)

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

Pentium Pro and Pentium II System Architecture
Addison-Wesley Longman (1998)

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

Program Logics for Certified Compilers
Cambridge University Press (2014)

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

Cambridge University Press (2004)

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 (2006)

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

Type Theory and Formal Proof: An Introduction
Cambridge University Press (2014)

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
Taylor and Francis (2012)

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...
Elsevier Science (2004)

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

Handbook of Practical Logic and Automated Reasoning
Cambridge University Press (2009)

A one-stop reference, self-contained, with theoretical topics presented in conjunction with...