The Leading eBooks Store Online

4,173,809 members ⚫ 1,357,844 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
Mobile computing

  • Dependable Software Engineering: Theories, Tools, and Applicationsby Xuandong Li; Zhiming Liu; Wang Yi

    Springer International Publishing 2015; US$ 53.37

    This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized... more...

  • Designing Apps for Successby Matthew David; Chris Murman

    CRC Press 2014; US$ 39.95

    In 2007, Apple released the iPhone. With this release came tools as revolutionary as the internet was to businesses and individuals back in the mid- and late-nineties: Apps. Much like websites drove (and still drive) business, so too do apps drive sales, efficiencies and communication between people. But also like web design and development, in its... more...

  • Designing Mobile Interfacesby Steven Hoober; Eric Berkman

    O'Reilly Media 2011; US$ 39.99

    With hundreds of thousands of mobile applications available today, your app has to capture users immediately. This book provides practical techniques to help you catch—and keep—their attention. You’ll learn core principles for designing effective user interfaces, along with a set of common patterns for interaction design on all types of mobile devices.... more...

  • Digitale Visionenby Alexander Roßnagel; Tom Sommerlatte; Udo Winand

    Springer Berlin Heidelberg 2008; US$ 31.28

    Eine allgegenwärtige Informationstechnik könnte uns Menschen überall – bei der Arbeit oder zu Hause – unbemerkt und "mitdenkend" unterstützen. Eine Vision, die die Begrenztheit des Menschen überwindet und uns zugleich vor viele neue Herausforderungen stellt… more...

  • Duration Calculusby Chaochen Zhou; Michael R. Hansen

    Springer Berlin Heidelberg 2013; US$ 148.96

    Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. This book presents... more...

  • ESL Models and their Applicationby Brian Bailey; Grant Martin

    Springer US 2009; US$ 124.13

    Through the device of a set of real examples taken from recent industry experience, this invaluable volume distils the state of the art in system-level design models and provides a wealth of practical guidance to readers that can be put into immediate use. more...

  • Einführung in die klassische und intensionale Logikby Ulf Friedrichsdorf

    Vieweg+Teubner Verlag 2013; US$ 44.85

    Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in... more...

  • Enabling Context-Aware Web Servicesby Quan Z. Sheng; Jian Yu; Schahram Dustdar

    CRC Press 2010; US$ 79.95

    With recent advances in radio-frequency identification (RFID) technology, sensor networks, and enhanced Web services, the original World Wide Web is continuing its evolution into what is being called the Web of Things and Services. Such a Web will support an ultimately interactive environment where everyday physical objects such as buildings, sidewalks,... more...

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

    Springer Berlin Heidelberg 2007; US$ 107.99

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

  • First-Order Programming Theoriesby Tamas Gergely; Laszlo Ury

    Springer Berlin Heidelberg 2012; US$ 136.55

    This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming... more...