The Leading eBooks Store Online

3,972,089 members ⚫ 1,310,169 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

  • Artificial General Intelligenceby Tom Everitt; Ben Goertzel; Alexey Potapov

    Springer International Publishing 2017; US$ 50.55

    This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017.  The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions. They cover topics such as architectures;... more...

  • Static Analysisby Francesco Ranzato

    Springer International Publishing 2017; US$ 67.01

    This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational... more...

  • Theories of the Logosby Ermanno Bencivenga

    Springer International Publishing 2017; US$ 94.05

    This book offers insight into the nature of meaningful discourse. It presents an argument of great intellectual scope written by an author with more than four decades of experience. Readers will gain a deeper understanding into three theories of the logos: analytic, dialectical, and oceanic. The author first introduces and contrasts these three theories.... more...

  • Concise Guide to Formal Methodsby Gerard O'Regan

    Springer International Publishing 2017; US$ 55.25

    This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics;... more...

  • The Great Formal Machinery Worksby Jan von Plato

    Princeton University Press 2017; US$ 35.00 US$ 31.85

    The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital... more...

  • Algebraic and Stochastic Coding Theoryby Dave K. Kythe; Prem K. Kythe

    CRC Press 2017; US$ 108.95

    Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough knowledge of digital arithmetic, Boolean and modern algebra, and probability theory. It explains the underlying principles of coding theory and offers a clear, detailed description of each... more...

  • Logic-Based Program Synthesis and Transformationby Manuel V Hermenegildo; Pedro Lopez-Garcia

    Springer International Publishing 2017; US$ 58.78

    This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions.... more...

  • Developments in Language Theoryby Émilie Charlier; Julien Leroy; Michel Rigo

    Springer International Publishing 2017; US$ 58.78

    This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in August 2017.The 24 full papers and 6 (abstract of)  invited papers were carefully reviewed and selected from 47 submissions. The papers cover the following topics and areas: combinatorial... more...

  • Inductive Logic Programmingby James Cussens; Alessandra Russo

    Springer International Publishing 2017; US$ 43.49

    This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions. The papers represent well the current breath of ILP research topics such... more...

  • Numerical Software Verificationby Alessandro Abate; Sylvie Boldo

    Springer International Publishing 2017; US$ 43.49

    This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers... more...