Skip to main content

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...
  • Security Policy in System-on-Chip Designs

    Specification, Implementation and Verification

    Series series Engineering (R0)
    This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing security ... Read more

    $49.99 USD

  • Scalable Techniques for Formal Verification

    by Sandip Ray ...
    Series series Engineering (R0)
    This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant ... Read more

    $89.99 USD

  • Digital Twins for Distributed IoT Applications

    Series series Synthesis Collection of Technology (R0)
    This book provides a comprehensive treatment of the concepts and applications of digital twins and related virtual prototyping technologies for a variety of distributed Internet-of-Things (IoT) applications. It can serve as a reference for practitioners to understand the scope and limitations of these complex technologies and how they can be used in a range of real-world applications. It can also ... Read more

    $80.99 USD

  • Internet of Things. A Confluence of Many Disciplines

    Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019.The 11 full papers presented were carefully reviewed and selected from 22 submissions. Also included in this volume are 8 invited papers. The papers are organized in the following topical sections: ... Read more

    $49.99 USD

  • Fundamentals of IP and SoC Security

    Design, Verification, and Debug

    Series series Engineering (R0)
    This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs. The authors discuss issues ranging from security requirements in SoC designs, definition of architectures and design choices to enforce and validate security policies, and trade-offs and conflicts involving security, functionality, and debug ... Read more

    $80.99 USD

  • Looking Back

    Proceedings of a Conference in Honor of Paul W. Holland

    Series series Springer Nature Proceedings excluding Computer Science
    In 2006, Paul W. Holland retired from Educational Testing Service (ETS) after a career spanning five decades. In 2008, ETS sponsored a conference, Looking Back, honoring his contributions to applied and theoretical psychometrics and statistics. Looking Back attracted a large audience that came to pay homage to Paul Holland and to hear presentations by colleagues who worked with him in special ways ... Read more

    $89.99 USD

  • Satyajit Ray on Cinema

    by Satyajit Ray ...
    Satyajit Ray, one of the greatest auteurs of twentieth century cinema, was a Bengali motion-picture director, writer, and illustrator who set a new standard for Indian cinema with his Apu Trilogy: Pather Panchali (Song of the Little Road) (1955), Aparajito (The Unvanquished) (1956), and Apur Sansar (The World of Apu) (1959). His work was admired for its humanism, versatility, attention to detail, ... Read more

    $23.99 USD

  • Subscores

    A Practical Guide to Their Production and Consumption

    This authoritative guide directs consumers and users of test scores on when and how to provide subscores and how to make informed decisions based on them. The book is designed to be accessible to practitioners and score users with varying levels of technical expertise, from executives of testing organizations and students who take tests to graduate students in educational measurement, ... Read more

    $30.99 USD