Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Top Series in United States

Showing 1 - 12 of 12 results for “domenico cotroneo”
Skip side bar filters

  • Innovative Technologies for Dependable OTS-Based Critical Systems

    Challenges and Achievements of the CRITICAL STEP Project

    Edited by Domenico Cotroneo ...
    Series series Computer Science (R0)
    The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area, and is expected to increase in the near future. The adoption of Off-The-Shelf (OTS) items plays a key role in such a scenario. OTS items allow mastering complexity and reducing costs and time-to ... Read more

    $89.09 USD

People who read this also enjoyed

  • Pro Continuous Delivery

    With Jenkins 2.0

    by Nikhil Pathania ...
    Series series Professional and Applied Computing (R0)
    Follow this step-by-step guide for creating a continuous delivery pipeline using all of the new features in Jenkins 2.0 such as Pipeline as a Code, multi-branch pipeline, and more. You will learn three crucial elements for achieving a faster software delivery pipeline: a fungible build/test environment, manageable and reproducible pipelines, and a scalable build/test infrastructure.Pro Continuous ... Read more

    $49.99 USD

  • Requirements Engineering and Management for Software Development Projects

    by Murali Chemuturi ...
    Series series Computer Science (R0)
    Requirements Engineering and Management for Software Development Projects presents a complete guide on requirements for software development including engineering, computer science and management activities. It is the first book to cover all aspects of requirements management in software development projects. This book introduces the understanding of the requirements, elicitation and gathering, ... Read more

    $49.99 USD

  • Learn Electronics with Raspberry Pi

    Physical Computing with Circuits, Sensors, Outputs, and Projects

    by Stewart Watkiss ...
    Series series Professional and Applied Computing (R0)
    Make a variety of cool projects using the Pi with programming languages like Scratch and Python, with no experience necessary. You'll learn how the Pi works, how to work with Raspbian Linux on the Pi, and how to design and create electronic circuits.Raspberry Pi is everywhere, it’s inexpensive, and it's a wonderful tool for teaching about electronics and programming. This bookshows you how to ... Read more

    $49.99 USD

  • Software for Exascale Computing - SPPEXA 2013-2015

    Edited by Hans-Joachim Bungartz, Philipp Neumann, Wolfgang E. Nagel ...
    Series series Springer Nature Proceedings excluding Computer Science
    The research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application ... Read more

    $89.09 USD

  • Concise Guide to Formal Methods

    Theory, Fundamentals and Industry Applications

    by Gerard O'Regan ...
    Series series Computer Science (R0)
    This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing.Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from ... Read more

    $62.99 USD

  • The Effects of Traffic Structure on Application and Network Performance

    by Jay Aikat, Kevin Jeffay, F. Donelson Smith ...
    Series series Computer Science (R0)
    Over the past three decades, the Internet's rapid growth has spurred the development of new applications in mobile computing, digital music, online video, gaming and social networks. These applications rely heavily upon various underlying network protocols and mechanisms to enable, maintain and enhance their Internet functionalityThe Effects of Traffic Structure on Application and Network ... Read more

    $49.99 USD

  • Soft Errors in Modern Electronic Systems

    Edited by Michael Nicolaidis ...
    Series series Engineering (R0)
    This book provides a comprehensive presentation of the most advanced research results and technological developments enabling understanding, qualifying and mitigating the soft errors effect in advanced electronics, including the fundamental physical mechanisms of radiation induced soft errors, the various steps that lead to a system failure, the modelling and simulation of soft error at various ... Read more

    $161.99 USD

  • Dependable Multicore Architectures at Nanoscale

    Edited by Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli ...
    Series series Engineering (R0)
    This book provides comprehensive coverage of the dependability challenges in today's advanced computing systems. It is an in-depth discussion of all the technological and design-level techniques that may be used to overcome these issues and analyzes various dependability-assessment methods. The impact of individual application scenarios on the definition of challenges and solutions is considered ... Read more

    $89.99 USD

  • Trusted Computing and Information Security

    11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings

    Edited by Ming Xu, Zheng Qin, Fei Yan, Shaojing Fu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th Chinese Conference on Trusted Computing and Information Security, CTCIS 2017, held in Changsha, China, in September 2017.The 28 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers focus on topics such as theory of trusted computing, trustworthy software; infrastructure of trusted computing, ... Read more

    $49.99 USD

  • Maintenance Overtime Policies in Reliability Theory

    Models with Random Working Cycles

    by Toshio Nakagawa, Xufeng Zhao ...
    Series series Engineering (R0)
    This book introduces a new notion of replacement in maintenance and reliability theory. Replacement Overtime, where replacement is done at the first completion of a working cycle over a planned time, is a new research topic in maintenance theory and also serves to provide a fresh optimization technique in reliability engineering. In comparing replacement overtime with standard and random ... Read more

    $89.99 USD

  • High Performance Computing

    30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

    Edited by Julian M. Kunkel, Thomas Ludwig ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 30th International Conference, ISC High Performance 2015, [formerly known as the International Supercomputing Conference] held in Frankfurt, Germany, in July 2015.The 27 revised full papers presented together with 10 short papers were carefully reviewed and selected from 67 submissions. The papers cover the following topics: cost-efficient data ... Read more

    $49.49 USD