The Leading eBooks Store Online

4,034,055 members ⚫ 1,328,001 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

  • Logic: A Very Short Introductionby Graham Priest

    OUP Oxford 2017; US$ 7.99

    Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy — a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs. more...

  • Theoretical Aspects of Computing – ICTAC 2017by Dang Van Hung; Deepak Kapur

    Springer International Publishing 2017; US$ 59.05

    This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on... more...

  • Scalable Uncertainty Managementby Serafín Moral; Olivier Pivert; Daniel Sánchez; Nicolás Marín

    Springer International Publishing 2017; US$ 67.32

    This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.  The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. Managing uncertainty... more...

  • Formal Aspects of Component Softwareby José Proença; Markus Lumpe

    Springer International Publishing 2017; US$ 50.78

    This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based... more...

  • Logic, Rationality, and Interactionby Alexandru Baltag; Jeremy Seligman; Tomoyuki Yamada

    Springer Berlin Heidelberg 2017; US$ 86.22

    This LNCS volume  is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.  The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation,... more...

  • Theoretical Computer Scienceby Dingzhu Du; Lian Li; En Zhu; Kun He

    Springer Singapore 2017; US$ 70.86

    This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of current research in the area of algorithms and complexity,... more...

  • Formal Methods and Software Engineeringby Zhenhua Duan; Luke Ong

    Springer International Publishing 2017; US$ 67.32

    This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.  The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses... more...

  • Topics in Theoretical Computer Scienceby Mohammad Reza Mousavi; Jirí Sgall

    Springer International Publishing 2017; US$ 55.50

    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms... more...

  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIVby Abdelkader Hameurlain; Josef Küng; Roland Wagner; Hendrik Decker

    Springer Berlin Heidelberg 2017; US$ 59.05

    This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications. The volume opens with an invited article on basic postulates for inconsistency measures. Three of the remaining six papers... more...

  • Automated Reasoning with Analytic Tableaux and Related Methodsby Renate A. Schmidt; Cláudia Nalon

    Springer International Publishing 2017; US$ 59.05

    This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.  The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named:... more...