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 95 Treffer

    Ansicht:
    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
    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
    : 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
    : 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
    : 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
    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
    : 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
    : 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
    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
    Nicole Crown: Handwriting Features Guide, Buch

    Nicole Crown
    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
    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
    Douglas J Santry: Demystifying Deep Learning, Buch

    Douglas J Santry
    Demystifying Deep Learning

    Discover how to train Deep Learning models by learning how to build real Deep Learning software libraries and verification software! The study of Deep Learning and Artificial Neural Networks (ANN) is a si…

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

    Gabriel Ga¿par
    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
    : Applicable Formal Methods for Safe Industrial Products, Buch

    Applicable Formal Methods for Safe Industrial Products

    Lecture Notes in Computer Science -Band 14165

    This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    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