0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Verification" - alle Bücher, CDs und LPs

    Ihre Suche nach "Verification" (Bücher, CDs und LPs) ergab 105 Treffer.

    Ansicht:

    Lukas Burgholzer, Robert Wille
    Design Automation Tools and Software for Quantum Computing

    This book provides an easy-to-read introduction to quantum computing and introduces readers to a set of software design tools that leverage the power of design automation for optimizing quantum circuits a…

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 149,34

    Principles and Practices of Building Parallel Software

    Lecture Notes in Computer Science - Band 14564

    This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-perfor…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 109,51

    World Conference of AI-Powered Innovation and TRIZ Methodology

    IFIP Advances in Information and Communication Technology - Band 774

    This book constitutes the proceedings of the 25th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, TFC 2025, held in Paris, France, during November 5--7, 202…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Martin Hofmann, Martin Lange
    Automata Theory and Logic

    This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and present…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 69,33, reduziert um 30%
    Aktueller Preis: EUR 47,99

    Chenkun Qi, Feng Gao, Yan Hu
    Control of Hardware-In-The-Loop Space Contact Simulation Robot

    The book focuses on control methods of hardware-in-the-loop simulation robots on the ground to simulate the contact dynamics of spacecraft and space manipulators in space. Both principles and engineering …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 153,32
    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.