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 programming

  • Non-Deterministic Concurrent Logic Programming in Pandoraby R. Bahgat

    World Scientific Publishing Company 1993; US$ 128.00

    This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating... more...

  • Logic Synthesis for Compositional Microprogram Control Unitsby Alexander Barkalov; Larysa Titarenko

    Springer 2008; US$ 189.00

    The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units is to adapt their structures to the particular properties... more...

  • Quantitative Logic and Soft Computing 2010by Bing-Yuan Cao; Shuili Chen; Guojun Wang; Sicong Guo

    Springer 2010; US$ 609.00

    This book is the proceedings of the 2nd International Conference on Quantitative Logic and Soft Computing (QL & SC 2010) from Oct. 22-25, 2010 in Xiamen, China. Only high-quality papers are included. The 2nd International Conference on Quantitative Logic and Soft Computing (QL & SC 2010), built on the success of previous conferences, the QL & QS 2009... more...

  • Logic And Declarative Languageby M. Downward

    Taylor and Francis 2004; US$ 62.95

    Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the... more...

  • A Combined Data and Power Management Infrastructureby Jens Eickhoff

    Springer 2013; US$ 129.00

    This book describes the development and design of a unique combined data and power management infrastructure The use in small satellites gives some particular requirements to the systems like potential hardware failure robustness and handling of different types of external analog and digital interfaces. These requirements lead to a functional merge... more...

  • Visual Basic Design Patternsby Mark Grand; Brad Merrill

    Wiley 2005; US$ 45.00

    Design Patterns are a type of pattern used in the initial design phase of an object-oriented development project Documents 46 Visual Basic .NET design patterns, including 20 that have never before been published Features case studies that demonstrate how to use design patterns effectively in the real world-and even explains where not to use design... more...

  • Logic Programmingby Patricia M. Hill; David S. Warren

    Springer 2009; US$ 105.00

    This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69... more...

  • Mathematical Aspects of Logic Programming Semanticsby Pascal Hitzler; Anthony Seda

    CRC Press 2010; US$ 109.95

    ? Much of the material has been generated by [the authors?] own collaboration over the past decade, but they also integrate research results by others. A major feature is that they significantly transcend the tools and methods from the order theory traditionally used in this context, to include non-traditional methods from mathematical analysis depending... more...

  • A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applicationsby Naeem Khalid Janjua

    Springer 2014; US$ 189.00

    This book reports on the development and validation of a generic defeasible logic programming framework for carrying out argumentative reasoning in Semantic Web applications (GF@SWA). The proposed methodology is unique in providing a solution for representing incomplete and/or contradictory information coming from different sources, and reasoning with... more...

  • Answer Set Programming for Continuous Domainsby Jeroen Janssen; Steven Schockaert; Dirk Vermeir

    Springer 2012; US$ 139.00

    "Answer set programming (ASP)" is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for modeling problems with continuous domains.... more...