The Leading eBooks Store Online

4,011,120 members ⚫ 1,318,789 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
Mobile computing

  • Computational Logic in Multi-Agent Systemsby Nils Bulling; Leendert van der Torre; Serena Villata; Wojtek Jamroga; Wamberto Vasconcelos

    Springer International Publishing 2014; US$ 51.32

    This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on... more...

  • Computer Aided Verificationby Armin Biere; Roderick Bloem

    Springer International Publishing 2014; US$ 107.43

    This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short... more...

  • Computer Aided Verificationby Daniel Kroening; Corina S. Pasareanu

    Springer International Publishing 2015; US$ 83.55

    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were... more...

  • Computer Safety, Reliability, and Securityby Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmeier

    Springer International Publishing 2014; US$ 68.03

    This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with... more...

  • Computer Safety, Reliability, and Securityby Floor Koornneef; Coen van Gulijk

    Springer International Publishing 2015; US$ 68.03

    This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015. The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop... more...

  • Concrete Semanticsby Tobias Nipkow; Gerwin Klein

    Springer International Publishing 2014; US$ 63.26

    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications... more...

  • Context-Aware Mobile Computingby Geri Gay

    Morgan & Claypool Publishers 2009; US$ 25.00

    The integration of ubiquitous mobile computing resources into physical spaces can potentially affect the development, maintenance, and transformation of communities and social interactions and relations within a particular context or location. Ubiquitous mobile computing allows users to engage in activities in diverse physical locations, to access... more...

  • Context-Aware Pervasive Systemsby Seng Loke

    CRC Press 2006; US$ 109.95

    The concept of aware systems is among the most exciting trends in computing today, fueled by recent developments in pervasive computing, including new computers worn by users, embedded devices, smart appliances, sensors, and varieties of wireless networking technology. Context-Aware Pervasive Systems: The Architecture of a New Breed of Applications... more...

  • Context Management for Distributed and Dynamic Context-Aware Computingby Ricardo Couto Antunes da Rocha; Markus Endler

    Springer London 2012; US$ 41.77

    Research in context-aware computing has produced a number of middleware systems for context management. However, development of ubiquitous context-aware applications is still a challenge because most current middleware systems are still focused on isolated and static context-aware environments. Context-aware environments are inherently dynamic as... more...

  • Contextual Computingby Robert Porzel

    Springer Berlin Heidelberg 2010; US$ 143.24

    This book uses the latest in knowledge representation and human-computer interaction to address the problem of contextual computing in artificial intelligence. It uses high-level context to solve some challenging problems in natural language understanding. more...