The Leading eBooks Store Online

3,693,353 members ⚫ 1,195,028 ebooks

New to

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

  • Type Theory and Formal Proofby Rob Nederpelt; Herman Geuvers

    Cambridge University Press 2014; US$ 64.00 US$ 52.48

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

  • Logical Foundations of Artificial Intelligenceby Michael R. Genesereth; Nils J. Nilsson

    Elsevier Science 2012; US$ 72.95

    Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic. The first section of the book introduces... more...

  • StarLAN Technology Reportby Architecture Technology Corpor

    Elsevier Science 2013; US$ 31.95

    Please note this is a Short Discount publication. This report provides an insight into the technology and operation of both the 1 Mbps and 10 Mbps StarLAN [IEEE 10BASE?T] and details various vendor offerings of StarLAN products. Section I deals with StarLAN operation and Section II covers StarLAN products that were felt significant to this area. more...

  • Token Ring Technology Reportby Architecture Technology Corpor

    Elsevier Science 2013; US$ 31.95

    Please note this is a Short Discount publication. This report provides an overview of the IBM Token?Ring technology and products built by IBM and compatible vendors. It consists of two sections: 1. A summary of the design trade?offs for the IBM Token?Ring. 2. A summary of the products of the major token?ring compatible vendors broken down by... more...

  • Bridge Technology Reportby Architecture Technology Corpor

    Elsevier Science 2013; US$ 31.95

    Please note this is a Short Discount publication. As LANs have proliferated, new technologies and system concepts have come to the fore. One of the key issues is how to interconnect networks. One means of interconnection is to use a 'bridge'. Other competing technologies are repeaters, routers, and gateways. Bridges permit traffic isolation,... 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...

  • Der Mikroprozessor 6809by Jörg Zschocke

    Vieweg+Teubner Verlag 2013; US$ 39.34

    Der MC6809 von Motorola wird von Kennern als "der Größte unter den Kleinen" be­ zeichnet. Obwohl er unter den 8-Bit-Prozessoren sicher zu den leistungsfähigsten gehört, blieb er relativ unbekannt. Das vorliegende Buch soll ein wenig dazu beitragen, diesen Zu­ stand zu ändern. Bei der Gestaltung des Textes stand die anwendungsorientierte Information... more...

  • Mastering ROS for Robotics Programmingby Lentin Joseph

    Packt Publishing 2015; US$ 43.99

    Design, build and simulate complex robots using Robot Operating System and master its out-of-the-box functionalities About This Book: Develop complex robotic applications using ROS for interfacing robot manipulators and mobile robots with the help of high end robotic sensors; Gain insights into autonomous navigation in mobile robot and motion planning... more...

  • High Performance Integer Arithmetic Circuit Design on FPGAby Ayan Palchaudhuri; Rajat Subhra Chakraborty

    Springer India 2015; US$ 76.20

    This book describes the optimized implementations of several arithmetic datapath, controlpath and pseudorandom sequence generator circuits for realization of high performance arithmetic circuits targeted towards a specific family of the high-end Field Programmable Gate Arrays (FPGAs). It explores regular, modular, cascadable and bit-sliced architectures... more...

  • Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllersby Leticia Cervantes; Oscar Castillo

    Springer International Publishing 2015; US$ 46.80

    Thisbook focuses on the fields of fuzzy logic, granular computing and alsoconsidering the control area. These areas can work together to solve variouscontrol problems, the idea is that this combination of areas would enable evenmore complex problem solving and better results. Inthis book we test the proposed method using two benchmark problems: the... more...