The Leading eBooks Store Online

3,788,875 members ⚫ 1,234,658 ebooks

New to

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

  • OWL: Experiences and Directions ? Reasoner Evaluationby Mauro Dragoni; María Poveda-Villalón; Ernesto Jimenez-Ruiz

    Springer International Publishing 2017; US$ 39.05

    This book constitutes the thoroughly refereed conference proceedings of the 13International Workshop on OWL: Experiences and Directions, OWLED 2016, and the 5th International Workshop on OWL: Reasoner Evaluation, ORE 2016, held in Bologna, Italy in November 20, 2016. The Workshops were co-located with the 20th International Conference on Knowledge... more...

  • Logic, Language, and Computationby Helle Hvid Hansen; Sarah E. Murray; Mehrnoosh Sadrzadeh; Henk Zeevat

    Springer Berlin Heidelberg 2017; US$ 52.78

    This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. Initially there were 64 submissions, but 29 were actually presented of which 18 full papers have been accepted.  The biennial conference series and the proceedings are... more...

  • Introduction to Mathematica® with Applicationsby Marian Muresan

    Springer International Publishing 2017; US$ 95.01

    Starting with an introduction to the numerous features of Mathematica®, this book continues with more complex material. It provides the reader with lots of examples and illustrations of how the benefits of Mathematica® can be used. Composed of eleven chapters, it includes the following: A chapter on several sorting algorithms Functions (planar... more...

  • Small Dynamic Complexity Classesby Thomas Zeume

    Springer Berlin Heidelberg 2017; US$ 39.05

    "Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database.  It explores the structure of small dynamic descriptive complexity classes and provides new... more...

  • Language and Automata Theory and Applicationsby Frank Drewes; Carlos Martín-Vide; Bianca Truthe

    Springer International Publishing 2017; US$ 60.17

    This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic... more...

  • Numerical Software Verificationby Sergiy Bogomolov; Matthieu Martel; Pavithra Prabhakar

    Springer International Publishing 2017; US$ 39.05

    This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques... more...

  • Agents and Artificial Intelligenceby Jaap van den Herik; Joaquim Filipe

    Springer International Publishing 2017; US$ 52.78

    This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016. The 17 revised full papers were carefully reviewed and selected from 149 initial submissions. The papers are organized in two sections: agents and... more...

  • Applied Logic for Computer Scientistsby Mauricio Ayala-Rincón; Flávio L. C. de Moura

    Springer International Publishing 2017; US$ 42.22

    This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their... more...

  • Controlling Language in Industryby Stephen Crabbe

    Springer International Publishing 2017; US$ 47.46

    This book provides an in-depth study of controlled languages used in technical documents from both a theoretical and practical perspective. It first explores the history of controlled languages employed by the manufacturing industry to shape and constrain the information in technical documents. The author then offers a comparative analysis of existing... more...

  • Martin Davis on Computability, Computational Logic, and Mathematical Foundationsby Eugenio G. Omodeo; Alberto Policriti

    Springer International Publishing 2017; US$ 105.56

    This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis? work and set it in a contemporary context. They analyse, discuss and develop many of the... more...