The Leading eBooks Store Online

4,003,177 members ⚫ 1,317,278 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

  • Formal Methods for Industrial Critical Systemsby Frédéric Lang; Francesco Flammini

    Springer International Publishing 2014; US$ 51.36

    This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer... more...

  • Formal Methods in Macro-Biologyby François Fages; Carla Piazza

    Springer International Publishing 2014; US$ 51.36

    This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists... more...

  • Formal Techniques for Safety-Critical Systemsby Cyrille Artho; Peter Csaba Ölveczky

    Springer International Publishing 2015; US$ 59.72

    This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related... more...

  • Formal Techniques for Safety-Critical Systemsby Cyrille Artho; Peter Csaba Ölveczky

    Springer International Publishing 2016; US$ 59.72

    This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized... more...

  • Frontiers of Combining Systemsby Carsten Lutz; Silvio Ranise

    Springer International Publishing 2015; US$ 59.72

    This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving... more...

  • Funambol Mobile Open Sourceby Stefano Fornari

    Packt Publishing 2009; US$ 23.99

    Sync your email and other data with mobile devices using Funambol 7.1 more...

  • Functional and Logic Programmingby Oleg Kiselyov; Andy King

    Springer International Publishing 2016; US$ 51.36

    This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing;... more...

  • Fundamentals of Wearable Computers and Augmented Reality, Second Editionby Woodrow Barfield

    CRC Press 2015; US$ 79.95

    Data will not help you if you can’t see it where you need it. Or can’t collect it where you need it. Upon these principles, wearable technology was born. And although smart watches and fitness trackers have become almost ubiquitous, with in-body sensors on the horizon, the future applications of wearable computers hold so much more. A trusted reference... more...

  • GPRSby Gunnar Heine; Holger Sagkob

    Artech House 2003; US$ 99.00

    This innovative new book explains how GPRS (general packet radio service) allows you to expand your GSM networks towards third generation mobile communications to meet the demands of the most-sophisticated mobile data applications. The book concentrates on the interfaces between the known GSM network elements and the new subsystems -- PCU, SGSN, and... more...

  • Game of Life Cellular Automataby Andrew Adamatzky

    Springer London 2010; US$ 203.07

    This illustrated book brings together results of forty years of study into computational, mathematical, physical and engineering aspects of The Game of Life cellular automata. The book includes simple to understand examples of cellular automata dynamics. more...