The Leading eBooks Store Online

3,508,729 members ⚫ 2,065,349 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

  • A List of Successes That Can Change the Worldby Sam Lindley; Conor McBride; Phil Trinder; Don Sannella

    Springer International Publishing 2016; US$ 107.00

    This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank... more...

  • DDoS Attacksby Dhruba Kumar Bhattacharyya; Jugal Kumar Kalita

    CRC Press 2016; US$ 99.95

    DDoS Attacks: Evolution, Detection, Prevention, Reaction, and Tolerance discusses the evolution of distributed denial-of-service (DDoS) attacks, how to detect a DDoS attack when one is mounted, how to prevent such attacks from taking place, and how to react when a DDoS attack is in progress, with the goal of tolerating the attack. It introduces... more...

  • Verteilte Laufzeitverifikation auf eingebetteten Systemenby Malte Schmitz

    Springer Fachmedien Wiesbaden 2016; US$ 54.99

    In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie... more...

  • Tangible Interactive Systemsby Guy André Boy

    Springer International Publishing 2016; US$ 109.00

    Distinguishingbetween tangible user interfaces (TUI) and tangible interactive systems (TISs),this book takes into account not only the user interfaces but also looks at howinteraction can be enabled by using digital information through the physicalenvironment. TISs go far beyond the concept of tangible user interfaces,addressing large complex systems... more...

  • From Action Systems to Distributed Systemsby Luigia Petre; Emil Sekerinski

    CRC Press 2016; US$ 179.95

    Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society?s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand properties... more...

  • Computational Sustainabilityby Jörg Lässig; Kristian Kersting; Katharina Morik

    Springer International Publishing 2016; US$ 129.00

    The book athand gives an overview of the state of the art research in ComputationalSustainability as well as case studies of different application scenarios. Thiscovers topics such as renewable energy supply, energy storage and e-mobility, efficiencyin data centers and networks, sustainable food and water supply, sustainablehealth, industrial production... more...

  • Netcentric System of Systems Engineering with DEVS Unified Processby Saurabh Mittal; José L. Risco Martín

    CRC Press 2016; US$ 206.95

    In areas such as military, security, aerospace, and disaster management, the need for performance optimization and interoperability among heterogeneous systems is increasingly important. Model-driven engineering, a paradigm in which the model becomes the actual software, offers a promising approach toward systems of systems (SoS) engineering. However,... more...

  • Testing Complex and Embedded Systemsby Kim H. Pries; Jon M. Quigley

    CRC Press 2016; US$ 109.95

    Many enterprises regard system-level testing as the final piece of the development effort, rather than as a tool that should be integrated throughout the development process. As a consequence, test teams often execute critical test plans just before product launch, resulting in much of the corrective work being performed in a rush and at the last... more...

  • Computer Technology and Computer Programmingby James L. Antonakos

    Apple Academic Press 2016; US$ 149.95

    Covering a broad range of new topics in computer technology and programming, this volume discusses encryption techniques, SQL generation, Web 2.0 technologies, and visual sensor networks. It also examines reconfigurable computing, video streaming, animation techniques, and more. Readers will learn about an educational tool and game to help students... more...

  • Web Services, Formal Methods, and Behavioral Typesby Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich

    Springer International Publishing 2016; US$ 60.00

    This volumecontains the refereed joint proceedings of two initiatives that have beendevoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 andWS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: FormalAspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place inEindhoven,... more...