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

  • Hybrid Systems Biologyby Alessandro Abate; David Safranek

    Springer International Publishing 2016; US$ 51.36

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

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

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

    Springer New York 2013; US$ 83.61

    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$ 37.55

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

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

    Springer Berlin Heidelberg 2007; US$ 103.92

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

  • Advances in Ambient Intelligenceby J.C. Augusto; D. Shapiro

    IOS Press 2007; US$ 130.00

    Contains contributions which provide a window into the visions and trends dominating the area of Ambient Intelligence. This book addresses the core technology of the field and provides an analysis of elements of the area which will demand special consideration during the future development of the area. more...