The Leading eBooks Store Online

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

  • Advances in Computersby Atif Memon

    Elsevier Science 2017; US$ 182.00

    Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As... more...

  • Membrane Computingby Alberto Leporati; Grzegorz Rozenberg; Arto Salomaa; Claudio Zandron

    Springer International Publishing 2017; US$ 53.07

    This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017, held in Milan, Italy, in July 2016. The 19 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They deal with membrane computing (P systems theory), an area of copmputer science... more...

  • Einführung in Unix/Linux für Naturwissenschaftlerby Thomas Erben

    Springer Berlin Heidelberg 2017; US$ 20.51

    Das Buch gibt Studienanfängern naturwissenschaftlicher Fächer eine solide Einführung in das Betriebssystem  Unix  und dessen praktische Anwendung.  Der Leser erhält einen systematischen und leicht verständlichen Einstieg  in den Umgang mit der  Unix -Kommandozeile, mit deren Interaktion ein effizienter Einsatz von  Unix... more...

  • Requirements Engineering: Foundation for Software Qualityby Paul Grünbacher; Anna Perini

    Springer International Publishing 2017; US$ 53.07

    This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2017, held in Essen, Germany, in February/March 2017. The 16 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers were organized... more...

  • Agile Model-Based Development Using UML-RSDSby Kevin Lano

    CRC Press 2017; US$ 79.95

    This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, system... more...

  • Performance Evaluation and Benchmarking. Traditional - Big Data - Interest of Thingsby Raghunath Nambiar; Meikel Poess

    Springer International Publishing 2017; US$ 39.27

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th TPC Technology Conference, on Performance Evaluation and Benchmarking, TPCTC 2016, held in conjunction with the 41st International Conference on Very Large Databases (VLDB 2016) in New Delhi, India, in September 2016. The 9 papers presented were carefully reviewed... more...

  • Pervasive Computingby Natalia Silvis-Cividjian

    Springer International Publishing 2017; US$ 42.45

    This book provides a concise introduction to Pervasive Computing, otherwise known as Internet of Things (IoT) and Ubiquitous Computing (Ubicomp) which addresses the seamless integration of computing systems within everyday objects. By introducing the core topics and exploring assistive pervasive systems which infer their context through pattern recognition,... more...

  • Formal Techniques for Safety-Critical Systemsby Cyrille Artho; Peter Csaba Ölveczky

    Springer International Publishing 2017; US$ 47.76

    This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in... more...

  • Small Dynamic Complexity Classesby Thomas Zeume

    Springer Berlin Heidelberg 2017; US$ 39.27

    "Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database.  It explores the structure of small dynamic descriptive complexity classes and provides new... more...

  • Numerical Software Verificationby Sergiy Bogomolov; Matthieu Martel; Pavithra Prabhakar

    Springer International Publishing 2017; US$ 39.27

    This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques... more...