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

    2. Verification – alle Bücher, LPs und CDs

    Ihre Suche nach "verification" ergab 98 Treffer

    Ansicht:
    Samuel Andreyev: Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion", CD

    Samuel Andreyev (geb. 1981)
    Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion"

    Peyee Chen, ensemble proton bern, Luigi Gaggero

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    CD
     
    EUR 17,99*
    Artikel ist im Warenkorb
    Samuel Andreyev: Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion" (180g), LP,LP

    Samuel Andreyev (geb. 1981)
    Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion" (180g)

    Peyee Chen, ensemble proton bern, Luigi Gaggero

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    2 LPs
     
    EUR 54,99*
    Artikel ist im Warenkorb
    Khaled Salah Mohamed: Heterogeneous SoC Design and Verification, Buch

    Khaled Salah Mohamed
    Heterogeneous SoC Design and Verification

    Synthesis Lectures on Digital Circuits & Systems

    This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 53,32*
    Artikel ist im Warenkorb
    : Runtime Verification, Buch

    Runtime Verification

    Lecture Notes in Computer Science -Band 14245

    This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3 6, 2023. The 13 full papers and 7 shor…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 76,66*
    Artikel ist im Warenkorb
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 13964

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 13965

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    : Computer Aided Verification, Buch

    Computer Aided Verification

    Lecture Notes in Computer Science -Band 13966

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    Stefan Schwab: Guaranteed Verification of Dynamic Systems, Buch

    Stefan Schwab
    Guaranteed Verification of Dynamic Systems

    This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 51,00*
    Artikel ist im Warenkorb
    Chris Köcher: Verification of Automata with Storage Mechanisms, Buch

    Chris Köcher
    Verification of Automata with Storage Mechanisms

    An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stac…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 18,00*
    Artikel ist im Warenkorb
    Anton Wijs: Concise Guide to Software Verification, Buch

    Anton Wijs
    Concise Guide to Software Verification

    Texts in Computer Science

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 85,33*
    Artikel ist im Warenkorb
    Martha Schnieber: Polynomial Formal Verification of Approximate Functions, Buch

    Martha Schnieber
    Polynomial Formal Verification of Approximate Functions

    BestMasters

    During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal meth…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 109,51*
    Artikel ist im Warenkorb
    Alireza Mahzoon: Formal Verification of Structurally Complex Multipliers, Buch

    Alireza Mahzoon
    Formal Verification of Structurally Complex Multipliers

    This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 98,56*
    Artikel ist im Warenkorb
    : Automated Technology for Verification and Analysis, Buch

    Automated Technology for Verification and Analysis

    Lecture Notes in Computer Science -Band 14216

    This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium inten…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : Automated Technology for Verification and Analysis, Buch

    Automated Technology for Verification and Analysis

    Lecture Notes in Computer Science -Band 14215

    This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium inten…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    Artikel ist im Warenkorb
    : Guide to Software Verification with Frama-C, Buch

    Guide to Software Verification with Frama-C

    Computer Science Foundations and Applied Logic

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 69,33*
    Artikel ist im Warenkorb
    : Verification, Model Checking, and Abstract Interpretation, Buch

    Verification, Model Checking, and Abstract Interpretation

    Lecture Notes in Computer Science -Band 14500

    The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : Verification, Model Checking, and Abstract Interpretation, Buch

    Verification, Model Checking, and Abstract Interpretation

    Lecture Notes in Computer Science -Band 14499

    The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    Alessandro Gianola: Verification of Data-Aware Processes via Satisfiability Modulo Theories, Buch

    Alessandro Gianola
    Verification of Data-Aware Processes via Satisfiability Modulo Theories

    Lecture Notes in Business Information Processing -Band 470

    This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of i…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : Verification and Evaluation of Computer and Communication Systems, Buch

    Verification and Evaluation of Computer and Communication Systems

    Lecture Notes in Computer Science -Band 14368

    This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    Artikel ist im Warenkorb
    : Tools for Design, Implementation and Verification of Emerging Information Technologies, Buch

    Tools for Design, Implementation and Verification of Emerging Information Technologies

    Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 523

    This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCo…

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