Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Verification of Autonomous Systems

Verification of Autonomous Systems

Livre (relié)env. 188.00 CHF
disponible dès août 2025

Informations bibliographiques

août 2025, env. 300 Pages, Anglais
Springer International Publishing
978-3-031-88545-7

Mots-clés

Autres titres sur ce thème

A Concise Introduction to Robot Programming with ROS 2
Taylor and Francis, 2025
978-1-032-85150-1
env. 135.00 CHF
disponible dès juillet 2025
Fundamentals of Robotics
Applied Case Studies with MATLAB® & Python
Taylor and Francis, 2025
978-1-032-79300-9
136.00 CHF
livrable dans env. 10-20 jours
Fundamentals of Robotics
Applied Case Studies with MATLAB® & Python
Taylor and Francis, 2025
978-1-032-79305-4
150.00 CHF
livrable dans env. 10-20 jours
Robotic Platforms for Minimally Invasive Surgery
Elsevier, 2025
978-0-443-21733-3
env. 225.00 CHF
disponible dès novembre 2025
How Gender Shapes Security
The Wars We Fight
Springer International Publishing, 2025
978-3-031-26266-1
env. 157.00 CHF
disponible dès juin 2025
Handbook of Robotic and Image-Guided Surgery
Elsevier, 2025
978-0-443-13912-3
env. 459.00 CHF
disponible dès mai 2025
Soft and Continuum Robots for Medical Applications
A Practical Approach
Elsevier, 2025
978-0-443-14148-5
env. 189.00 CHF
disponible dès décembre 2025