The Leading eBooks Store Online

3,788,875 members ⚫ 1,234,658 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
Computer software

Most popular at the top

  • Software Engineering and Formal Methodsby Dimitra Giannakopoulou; Gwen Salaün

    Springer International Publishing 2014; US$ 60.17

    This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section... more...

  • eScience on Distributed Computing Infrastructureby Marian Bubak; Jacek Kitowski; Kazimierz Wiatr

    Springer International Publishing 2014; US$ 66.50

    To help researchers from different areas of science understand and unlock the potential of the Polish Grid Infrastructure and to define their requirements and expectations, the following 13 pilot communities have been organized and involved in the PLGrid Plus project: Acoustics, AstroGrid-PL, Bioinformatics, Ecology, Energy Sector, Health Sciences,... more...

  • Runtime Verificationby Borzoo Bonakdarpour; Scott A. Smolka

    Springer International Publishing 2014; US$ 52.78

    This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following... more...

  • Ambient Assisted Living and Daily Activitiesby Leandro Pecchia; Liming Chen; Chris Nugent; Jose Bravo

    Springer International Publishing 2014; US$ 60.17

    This book constitutes the refereed proceedings of the 6th International Workshop on Ambient Assisted Living, IWAAL 2014, held in Belfast, UK, in December 2014. The 42 full papers presented with 12 papers of the workshop WAGER 2014 and 10 papers of a special session HTA were carefully reviewed and selected from numerous submissions. The focus of the... more...

  • Product-Focused Software Process Improvementby Andreas Jedlitschka; Pasi Kuvaja; Marco Kuhrmann; Tomi Männistö; Jürgen Münch; Mikko Raatikainen

    Springer International Publishing 2014; US$ 52.78

    This book constitutes the refereed proceedings of the 15th International Conference on Product-Focused Software Process Improvement, PROFES 2014, held in Helsinki, Finland, in December 2014. The 18 revised full papers presented together with 14 short papers were carefully reviewed and selected from 45 initial submissions. The papers are organized in... more...

  • Unifying Theories of Programmingby David Naumann

    Springer International Publishing 2015; US$ 36.94

    This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected... more...

  • Wireless Sensor Networksby Tarek Abdelzaher; Nuno Pereira; Eduardo Tovar

    Springer International Publishing 2015; US$ 52.78

    This book constitutes the refereed proceedings of the 12 European Conference on Wireless Sensor Networks, EWSN 2015, held in Porto, Portugal, in February 2015.The 14 full papers and 9 short papers presented were carefully reviewed and selected from 85 submissions. They cover a wide range of topics grouped into five sessions: services and applications,... more...

  • MMIXwareby Donald E. Knuth

    Springer Berlin Heidelberg 2003; US$ 66.50

    MMIX is a RISC computer designed by Don Knuth to illustrate machine-level aspects of programming. In the author's book series "The Art of Computer Programming", MMIX replaces the 1960s-style machine MIX. A particular goal in the design of MMIX was to keep its machine language simple, elegant, and easy to learn. At the same time, all of the complexities... more...

  • Unifying Theories of Programming and Formal Engineering Methodsby Zhiming Liu; Jim Woodcock; Huibiao Zhu

    Springer Berlin Heidelberg 2013; US$ 49.61

    This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based... more...

  • The Personal Webby Mark Chignell; James Cordy; Ryan Kealey; Joanna Ng; Yelena Yesha

    Springer Berlin Heidelberg 2013; US$ 42.22

    This book grew out of the First Symposium on the Personal Web, co-located with CASCON 2010 in Markham, Ontario, Canada. The purpose of the symposium was to bring together prominent researchers and practitioners from a diverse range of research areas relevant to the advancement of science and practice relating to the Personal Web. Research on the Personal... more...