Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: Rong Gu 6 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Big Data. - 11th CCF Conference, BigData 2023, Nanjing, China, September 8-10, 2023, Proceedings | Enhong. Chen | 2024 | Engelska |
| 2-3 | Automatic Model Generation and Scalable Verification for Autonomous Vehicles - Mission Planning and Collision Avoidance (flera utgåvor) | Rong Gu | 2020 | Engelska |
| 4-5 | Formal methods for scalable synthesis and verification of autonomous systems - mission planning and collision avoidance (flera utgåvor) | Rong Gu | 2022 | Engelska |
| 6 | Verifying ROS 2 Based Distributed Robotic Systems | Lukas Dust | 2024 | Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.