The Leading eBooks Store Online
3,788,875 members ⚫ 1,234,658 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
- Springer Berlin Heidelberg 2003; US$ 63.68
Every year we witness acceleration in the availability, deployment, and use of distributed applications. However building increasingly sophisticated applications for extant and emerging networked systems continues to be challenging for several reasons: ? Abstract models of computation used in distributed systems research often do not fully capture... more...
- Springer Berlin Heidelberg 2014; US$ 60.50
This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most... more...
- Springer Berlin Heidelberg 2013; US$ 20.51
Hamlet: So rings umstrickt mit Bubereien.jing. Eh ich noch den Prolog dazu gehalten. Mein Kopj das Spiel schon an. Hamlet (V. Akt. 2. Szene) Die Programmierung nebenlaufiger, verteilter und echtzeitabhangiger Systeme erlangt zunehmende Bedeutung nieht nur in der Informatik, sondern vor allem auch in zahlreichen Anwendungsbereiehen. Urspriinglich muBte... more...
- Springer International Publishing 2015; US$ 60.50
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT... more...
- Springer International Publishing 2015; US$ 53.07
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on... more...
- Springer Berlin Heidelberg 2006; US$ 63.68
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense... more...
- Apress 2016; US$ 24.40
This book shows you how to use PowerShell to quickly pinpoint, diagnose, and solve problems with your Windows Server environment, reducing the need for external tools, and ensuring you stay up-to-date with PowerShell as it quickly becomes one of the most useful tools in an administrator?s toolkit. Authors Derek Schauland and Donald Jacobs... more...
- Springer International Publishing 2016; US$ 53.07
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures;... more...
- Apress 2016; US$ 25.76
This is a book about building Arduino-powered devices for everyday use, and then connecting those devices to the Internet. If you're one of the many who have decided to build your own Arduino-powered devices for IoT applications, you've probably wished you could find a single resource--a guidebook for the eager-to-learn Arduino enthusiast--that teaches... more...
- Apress 2016; US$ 18.04
Find out how to use, manage, deploy, and secure Windows To Go, the ultimate mobile edition of Windows 10, designed to boot directly from a USB stick. This book shows you how to use your Windows To Go drive to work at home and on the move and access local and network resources from anywhere. Readers responsible for deploying Windows To Go drives will... more...