The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Logic Design

Most popular at the top

  • Practical Foundations for Programming Languagesby Robert Harper

    Cambridge University Press 2012; US$ 72.00

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

  • Proceedings of the 7th and 8th Asian Logic Conferencesby Rod Downey; Mariko Yasugi; Decheng Ding; Ting Shih Ping; Qiu Yu Hui

    World Scientific Publishing Company 2003; US$ 227.00

    The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this... more...

  • A Half-Century of Automata Theoryby A. Salomaa; D. Wood; S. Yu

    World Scientific Publishing Company 2001; US$ 92.00

    This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of automata theory are reminisced about and future directions are suggested. Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a... more...

  • Type Theory and Formal Proofby Rob Nederpelt; Herman Geuvers

    Cambridge University Press 2014; US$ 64.00

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

  • Multicore and GPU Programmingby Gerassimos Barlas

    Elsevier Science 2014; US$ 99.95

    Multicore and GPU Programming offers broad coverage of the key parallel computing skillsets: multicore CPU programming and manycore "massively parallel" computing. Using threads, OpenMP, MPI, and CUDA, it teaches the design and development of software capable of taking advantage of today?s computing platforms incorporating CPU and GPU hardware and... more...

  • Computer Design and Architectureby Sajjan G. Shiva

    Marcel Dekker Inc 2000; US$ 86.95

    An introduction to the design of a computer system - depicting, step by step, the arrangement of a simple but complete hypothetical computer. It integrates four categories of digital systems architecture - logic design, computer organization, computer hardware and computer system architecture. more...

  • The Computer Engineering Handbookby Vojin G. Oklobdzija

    CRC Press 2001; US$ 179.95

    SECTION 1: FABRICATION & TECHNOLOGY Trends and Projections for the Future of Scaling and Future Integration Trends, Hiroshi Iwai and Shun-ichiro Ohmi, Tokyo Institute. of Technology, CMOS VLSI Circuits, Eugene John,University of Texas Pan American Pass-Transistor CMOS Circuits, Shunzo Yamashita , Hitachi Synthesis of CMOS Pass-Transistor Logic,... more...

  • High-Performance Embedded Computingby Wayne Wolf

    Elsevier Science 2010; US$ 85.95

    Over the past several years, embedded systems have emerged as an integral though unseen part of many consumer, industrial, and military devices. The explosive growth of these systems has resulted in embedded computing becoming an increasingly important discipline. The need for designers of high-performance, application-specific computing systems has... more...

  • Cisco AVVID and IP Telephony Design & Implementationby Syngress

    Elsevier Science 2001; US$ 72.95

    Corporate demand for AVVID solutions is rapidly increasing - engineers will need this book Cisco AVVID (Architecture for Voice, Video and Integrated Data), the latest development from Cisco Systems, is redefining the way businesses communicate. AVVID allows businesses to transmit voice, data, and video over a single integrated architecture called a... more...

  • Coherent Systemsby Karl Schlechta

    Elsevier Science 2004; US$ 225.00

    One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or... more...