The Leading eBooks Store Online

3,725,826 members ⚫ 1,209,635 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

  • Hybrid Systems Biologyby Alessandro Abate; David ?afránek

    Springer International Publishing 2016; US$ 45.45

    This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop... more...

  • Advances in Pervasive Computingby J. H. Abawajy

    Emerald Group Publishing Limited 2009; US$ 199.00

    Although the pervasive computing revolution has already begun to affect our lives in ways we do not even notice, there are many challenges ahead to fully realize the objectives of pervasive computing. Among the myriad of tools expected to support these are: resource location framework, data management (e.g., replica control) framework, communication... more...

  • Game of Life Cellular Automataby Andrew Adamatzky

    Springer London 2010; US$ 179.73

    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...

  • Specification of Software Systemsby V.S. Alagar; K. Periyasamy

    Springer New York 2013; US$ 74.00

    This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques... more...

  • Rigorous Software Developmentby José Bacelar Almeida; Maria Joăo Frade; Jorge Sousa Pinto; Simăo Melo de Sousa

    Springer London 2011; US$ 33.23

    This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite. more...

  • Instant PhoneGapby Gustavo De La Vega Alvarez

    Packt Publishing 2014; US$ 12.99

    Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks. This is a guide that starts with the basics of a PhoneGap mobile application along with top features to enable you to build your own PhoneGap mobile application.This book is ideal for those who want... more...

  • Tizen Cookbookby Leon Anavi

    Packt Publishing 2014; US$ 26.99

    If you want to enter the fascinating world of Tizen and learn how to develop engaging and successful applications then this book is for you. It'll benefit novices and experienced application developers alike. more...

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

    Springer International Publishing 2015; US$ 52.85

    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 Ölveczky

    Springer International Publishing 2016; US$ 52.85

    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...

  • FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Scienceby V. Arvind; Sanjiva Prasad

    Springer Berlin Heidelberg 2007; US$ 91.98

    This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with five invited papers were carefully reviewed. They provide original research results... more...