0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Vérification!

    3. Vérification! – alle Bücher, LPs und CDs, Seite 5

    Ihre Suche nach "Vérification!" ergab 108 Treffer

    Ansicht:
    : Formal Methods for Industrial Critical Systems, Buch

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science -Band 14952

    This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9 13, 2024. The 14 full pa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    Farimah Farahmandi: CAD for Hardware Security, Buch

    Farimah Farahmandi, Mark Tehranipoor, Sree Ranjani Rajendran, M. Sazadur Rahman
    CAD for Hardware Security

    This book provides an overview of current hardware security problems and highlights how these issues can be efficiently addressed using computer-aided design (CAD) tools. Authors are from CAD developers, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 74,66*
    Artikel ist im Warenkorb
    : Rewriting Logic and Its Applications, Buch

    Rewriting Logic and Its Applications

    Lecture Notes in Computer Science -Band 14953

    This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    : Application and Theory of Petri Nets and Concurrency, Buch

    Application and Theory of Petri Nets and Concurrency

    Lecture Notes in Computer Science -Band 14628

    This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    Artikel ist im Warenkorb
    : Computer Safety, Reliability, and Security, Buch

    Computer Safety, Reliability, and Security

    Lecture Notes in Computer Science -Band 14988

    This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full pa…

    lieferbar ab 23.9.2024.
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    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 5.8.2025.
    Buch
    EUR 58,32*
    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 231,76*
    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
    : 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
    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
    : 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
    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
    : 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
    : 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
    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