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 106 Treffer.

    Ansicht:

    Fidaa Karkori, Alexander Arnfinn Olsen
    Inventory of Hazardous Materials

    Synthesis Lectures on Ocean Systems Engineering

    This book provides a comprehensive guide to the Inventory of Hazardous Materials (IHM), a critical document for ensuring the safe and environmentally sound recycling of ships. At the heart of this book is…

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

    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 innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 149,34, reduziert um 64%
    Aktueller Preis: EUR 53,32

    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.