The Leading eBooks Store Online
3,667,858 members ⚫ 1,180,414 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
Most popular at the top
- Gabler Verlag 2010; US$ 109.00
Ubiquitous Computing has been the subject of discussion in various research areas for some time now. Over the past several years RFID and Near Field Communication (NFC) technologies have become the driving force behind the vision of Ubiquitous Computing. In particular, NFC could become a real Ubiquitous Computing technology in consumer hands if it... more...
- Vieweg+Teubner Verlag 2013; US$ 40.58
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...
- Springer International Publishing 2014; US$ 59.52
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...
- Springer Berlin Heidelberg 2012; US$ 61.77
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference... more...
- Springer US 2006; US$ 134.77
Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by the wireless and... more...
- Springer Berlin Heidelberg 2011; US$ 223.52
This volume contains the Proceedings of The Third International Conference on Software, Services & Semantic Technologies (S3T) held in Bourgas, Bulgaria on September 1-3, 2011. It is the third S3T conference in a series of annually organized events supported by the F7 EU SISTER Project and hosted by Sofia University. The conference is aimed at... more...
- Wiley 2003; US$ 60.00 US$ 52.00
Offering an overview of usability, testing, and information architecture for EPOC, WAP, PDAs, handhelds, and handsets, this how-to guide dives into the details about medium-specific issues and design strategies. * Discusses designing for the current wireless platforms: cellular phones and PDAs * Covers both stand alone as well as Web-based application... more...
- 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...
- CRC Press 2016; US$ 194.95
Device miniaturization, wireless computing, and mobile communication are driving ubiquitous, pervasive, and transparent computing. Supporting these rapidly evolving technologies requires middleware solutions that address connectivity-level, location-dependent, and context-dependent issues. The Handbook of Mobile Middleware is an exhaustive overview... more...
- Wiley 2008; US$ 135.00 US$ 117.00
A thorough introduction to the development and applications of intelligent wearable interfaces As mobile computing, sensing technology, and artificial intelligence become more advanced and their applications more widespread, the area of intelligent wearable interfaces is growing in importance. This emerging form of human-machine interaction has infinite... more...