Verification – alle Bücher, CDs und LPs, Seite 8

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

Ansicht:

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

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.