The Leading eBooks Store Online

3,603,993 members ⚫ 1,165,375 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

  • Set Theoryby Daniel W. Cunningham

    Cambridge University Press 2016; US$ 48.00 US$ 39.36

    Set theory can be considered a unifying theory for mathematics. This book covers the fundamentals of the subject. more...

  • Developments in Language Theoryby Srecko Brlek; Christophe Reutenauer

    Springer Berlin Heidelberg 2016; US$ 95.00

    This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016. The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages... more...

  • Computing and Combinatoricsby Thang N. Dinh; My T. Thai

    Springer International Publishing 2016; US$ 119.00

    This book constitutes the refereed proceedings of the 22nd International Conference on Computing and Combinatorics, COCOON 2016, held in Ho Chi Minh City, Vietnam, in August 2016. The 50 revised full papers papers presented in this book were carefully reviewed and selected from various submissions. The papers cover various topics including: Theory... more...

  • Descriptional Complexity of Formal Systemsby Cezar C‚mpeanu; Florin Manea; Jeffrey Shallit

    Springer International Publishing 2016; US$ 94.00

    his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions. Descriptional Complexity is a ?eld in Computer... more...

  • Computer Aided Verificationby Swarat Chaudhuri; Azadeh Farzan

    Springer International Publishing 2016; US$ 107.00

    The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were ... more...

  • Computer Aided Verificationby Swarat Chaudhuri; Azadeh Farzan

    Springer International Publishing 2016; US$ 169.00

    The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized... more...

  • Intelligent Computer Mathematicsby Michael Kohlhase; Moa Johansson; Bruce Miller; Leonardo de Moura; Frank Tompa

    Springer International Publishing 2016; US$ 60.00

    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers are organized in topical sections... more...

  • Objectivity, Realism, and Proofby Francesca Boccuni; Andrea Sereni

    Springer International Publishing 2016; US$ 109.00

    This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here  explore  the semantic and epistemic problems... more...

  • Implementation and Application of Automataby Yo-Sub Han; Kai Salomaa

    Springer International Publishing 2016; US$ 82.00

    This book constitutes the refereed proceedings of the 21st International Conference on Implementation and Application of Automata, CIAA 2016, held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers cover a wide range of topics including characterizations... more...

  • The Congruences of a Finite Latticeby George Grštzer

    Springer International Publishing 2016; US$ 79.99

    This is a self-contained exposition by one of the leading experts in lattice theory, George Grštzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method. Key features: * Insightful discussion of techniques to construct "nice" finite lattices with... more...