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

    Ansicht:

    The Combined Power of Research, Education, and Dissemination

    Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable f…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Weifei Hu
    Design Optimization Under Uncertainty

    This book introduces the fundamental concepts of probability and reliability, the classical methods of uncertainty modelling, time-dependent and time-independent reliability analysis methods, model verifi…

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

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    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 ab 28.12.2025.
    Buch
    Aktueller Preis: EUR 69,33

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Advanced Aircraft Understanding via the Virtual Aircraft Model

    This book reports on the results of a four-year collaborative project between the German Aerospace Center (DLR), three German universities and the aircraft industry. The project was funded by the Ministry…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 164,28

    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 ab 14.11.2025.
    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.