0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Verification

    3. Verification – alle Bücher, LPs und CDs, Seite 5

    Ihre Suche nach "verification" ergab 102 Treffer

    Ansicht:
    Michael Anderson: Securing Cloud Native Apps, Buch

    Michael Anderson, Nick Reva, Shrikant Pandhare
    Securing Cloud Native Apps

    A no-fluff guide to implementing best practices for securing cloud native services. What are the best practices to secure microservices, the latest popular wave of innovation in software engineering? Thi…

    lieferbar ab 25.3.2025.
    Buch
    EUR 59,33*
    Artikel ist im Warenkorb
    : Concurrency, Specification and Programming, Buch

    Concurrency, Specification and Programming

    Studies in Computational Intelligence -Band 1091

    This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their imp…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 175,23*
    Artikel ist im Warenkorb
    Zhang Dan: Advanced Logic Design Techniques, Buch

    Zhang Dan
    Advanced Logic Design Techniques

    Advanced Logic Design Techniques," authored by Zhang Dan, delves into sophisticated approaches and cutting-edge tactics required for mastering digital system design. This thorough guide navigates readers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 27,11*
    Artikel ist im Warenkorb
    Xiao-Lei Zhang: Speech Signal Processing Based on Deep Learning in Complex Acoustic Environments, Buch

    Xiao-Lei Zhang
    Speech Signal Processing Based on Deep Learning in Complex Acoustic Environments

    Speech Signal Processing Based on Deep Learning in Complex Acoustic Environments provides a detailed discussion of deep learning-based robust speech processing and its applications. The book begins by loo…

    lieferbar ab 1.11.2024.
    Buch
    EUR 238,07*
    Artikel ist im Warenkorb
    : Breakthroughs in Digital Biometrics and Forensics, Buch

    Breakthroughs in Digital Biometrics and Forensics

    This book focuses on a wide range of breakthroughs related to digital biometrics and forensics. The authors introduce the concepts, techniques, methods, approaches and trends needed by cybersecurity speci…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 106,66*
    Artikel ist im Warenkorb
    : Reversible Computation, Buch

    Reversible Computation

    Lecture Notes in Computer Science -Band 14680

    This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torü, Poland, during July 4 5, 2024. The 10 full papers and 3 short papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    Sanjay: The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems, Buch

    Sanjay
    The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems

    "The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems" dives into the fascinating world of formal methods for ensuring the smooth operation of critical systems. Imagine a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 28,19*
    Artikel ist im Warenkorb
    Cemal Basaran: Introduction to Unified Mechanics Theory with Applications, Buch

    Cemal Basaran
    Introduction to Unified Mechanics Theory with Applications

    This second edition adds new sections on derivation of dynamic equilibrium equations in unified mechanics theory and solution of an example, derivation of very high cycle fatigue thermodynamic fundamental…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 85,33*
    Artikel ist im Warenkorb
    : Quantitative Evaluation of Systems, Buch

    Quantitative Evaluation of Systems

    Lecture Notes in Computer Science -Band 14287

    This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. The 23 papers included…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : Engineering Design Applications VI, Buch

    Engineering Design Applications VI

    Advanced Structured Materials -Band 209

    This book gives an update on recent developments in the mentioned areas of modern engineering design application. Different engineering disciplines such as mechanical, materials, computer and process engi…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 149,34*
    Artikel ist im Warenkorb
    : Designing Modern Embedded Systems: Software, Hardware, and Applications, Buch

    Designing Modern Embedded Systems: Software, Hardware, and Applications

    IFIP Advances in Information and Communication Technology -Band 669

    This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 93,08*
    Artikel ist im Warenkorb
    : Engineering Design Applications V, Buch

    Engineering Design Applications V

    Advanced Structured Materials -Band 171

    This book gives an update on recent developments in different engineering disciplines such as mechanical, materials, computer and process engineering, focusing on modern engineering design applications. T…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 120,46*
    Artikel ist im Warenkorb
    : Static Analysis, Buch

    Static Analysis

    Lecture Notes in Computer Science -Band 14284

    This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were c…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 89,80*
    Artikel ist im Warenkorb
    Paulo Shakarian: Neuro Symbolic Reasoning and Learning, Buch

    Paulo Shakarian, Chitta Baral, Lahari Pokala, Bowen Xi
    Neuro Symbolic Reasoning and Learning

    SpringerBriefs in Computer Science

    This book provides a broad overview of the key results and frameworks for various NSAI tasks as well as discussing important application areas. This book also covers neuro symbolic reasoning frameworks su…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 49,28*
    Artikel ist im Warenkorb
    Qing-Biao Shen: Polarization Theory of Nuclear Reactions, Buch

    Qing-Biao Shen
    Polarization Theory of Nuclear Reactions

    This book provides the reader with a modern and comprehensive overview of nuclear polarization theory. The understanding of polarization phenomena greatly enriches data obtained from scattering and nuclea…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 197,13*
    Artikel ist im Warenkorb
    : CyberSecurity in a DevOps Environment, Buch

    CyberSecurity in a DevOps Environment

    This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 197,13*
    Artikel ist im Warenkorb
    Haomiao Yang: Secure Automatic Dependent Surveillance-Broadcast Systems, Buch

    Haomiao Yang, Xuemin Sherman Shen, Hongwei Li
    Secure Automatic Dependent Surveillance-Broadcast Systems

    Wireless Networks

    This book proposes secure schemes to address security challenges in secure automatic dependent surveillance-broadcast systems (ADS-B) from five different angles. First, the authors examine encryption sche…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    Artikel ist im Warenkorb
    Gabriel Ga¿par: Design and Implementation of Sensory Solutions for Industrial Environment, Buch

    Gabriel Ga¿par, Juraj ¿U¿Ák
    Design and Implementation of Sensory Solutions for Industrial Environment

    Signals and Communication Technology

    This book presents applicable guidance into sensor system hardware and software design, extensions, and integration aimed at utilization of 1-wire networks. The content is structured from the design of th…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,99*
    Artikel ist im Warenkorb
    Nicole Crown: Handwriting Features Guide, Buch

    Nicole Crown, Raymond Marquis, Carolyne Bird
    Handwriting Features Guide

    Forensic handwriting examination follows a process comprised of four main steps: Analysis, Comparison, Evaluation, and Verification (ACE-V). While the process itself has been described and refined, very l…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 32,99*
    Artikel ist im Warenkorb
    Mark Tehranipoor: Hardware Security, Buch

    Mark Tehranipoor, Kimia Zamiri Azar, Farimah Farahmandi, Fahim Rahman
    Hardware Security

    This book provides a look into the future of hardware and microelectronics security, with an emphasis on potential directions in security-aware design, security verification and validation, building trust…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 128,00*
    Artikel ist im Warenkorb
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH