The Leading eBooks Store Online

3,794,961 members ⚫ 1,236,034 ebooks

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

Most popular at the top

  • The Irish Language in the Digital Ageby Georg Rehm; Hans Uszkoreit

    Springer Berlin Heidelberg 2012; US$ 56.01

    This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development... more...

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

    World Scientific Publishing Company 1993; US$ 79.00 US$ 71.89

    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...

  • Modelling Computing Systemsby Faron Moller; Georg Struth

    Springer London 2013; US$ 47.51

    Reviewing concepts of games and strategies, this book provides a paradigm for understanding computation, explaining the mathematics and modeling of computing systems through exercises and examples. Discusses standard topics, games and winning strategies. more...

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

    CRC Press 2016; US$ 109.95

    Covering the authors? own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods... more...

  • Transactions on Petri Nets and Other Models of Concurrency IXby Maciej Koutny; Serge Haddad; Alex Yakovlev

    Springer Berlin Heidelberg 2014; US$ 49.67

    These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous... more...

  • Visual Basic Design Patternsby Mark Grand; Brad Merrill

    Wiley 2005; US$ 45.00 US$ 39.50

    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... more...

  • Logic Synthesis and Verification Algorithmsby Gary D. Hachtel; Fabio Somenzi

    Springer US 2007; US$ 63.41

    Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the... more...

  • MPEG Video Compression Standardby Chad Fogg; Didier J. LeGall; Joan L. Mitchell; William B. Pennebaker

    Springer US 2007; US$ 217.64

    This book initiates a new digital multimedia standards series. The purpose of the series is to make information about digital multimedia standards readilyavailable. Both tutorial and advanced topics will be covered in the series, often in one book. Our hope is that users will find the series helpful in deciding what standards to support and use while... more...

  • Hardware and Software, Verification and Testingby Eyal Bin; Avi Ziv; Shmuel Ur

    Springer Berlin Heidelberg 2007; US$ 60.24

    The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23?26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together... more...

  • Runtime Verificationby Oleg Sokolsky; Serdar Tasiran

    Springer Berlin Heidelberg 2007; US$ 60.24

    Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an... more...