Logic Design

1530 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

PCI-X System Architecture
Addison-Wesley Longman (2001)
US$19.95

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)
US$14.95

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)
US$72.00

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

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

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)
US$52.00

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)
US$52.99

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)
US$72.00

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)
US$51.59

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)
US$92.95

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)
US$128.00

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