Automated Deduction -- CADE-23 / Lecture Notes in Computer Science Bd.6803
54.99 €
Wireless Networks and Industrial IoT
175.99 €