Andre Platzer
Articles populaires de Andre Platzer
Afficher toutes les offres-
Logical Foundations of Cyber-physical Systems
Platzer, André
Prix des articles à partir de
Afficher les 39 offresEUR 52,28
-
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Prix des articles à partir de
Afficher les 11 offresEUR 49,27
-
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Platzer, André
Prix des articles à partir de
Afficher les 27 offresEUR 86,24
