Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Creating Autonomous Vehicle Systems / by Liu Shaoshan, Li Liyun, Tang Jie, Wu Shuang, Gaudiot Jean-Luc
by Liu, Shaoshan, autor | Li, Liyun, autor | Tang, Jie, autor | Shuang, Wu, autor | Gaudiot, Jean-Luc, autor. Edition: 1st edition 2018Material type: E-book Publisher: Cham : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TL152.8 2018 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Principles of Blockchain Systems / by Fernández Antonio, Georgiou Chryssis, Herlihy Maurice, Potop-Butucaru Maria.
by Antonio, Fernández, autor | Chryssis, Georgiou, autor | Maurice, Herlihy, autor | Maria, Potop-Butucaru, autor. Edition: 1st edition 2021 Publisher: Cham : Springer International Publishing, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.B56 2021 |
reference |
|
|
|
|
|
|
Creating Autonomous Vehicle Systems / by Liu Shaoshan, Li Liyun, Tang Jie, Wu Shuang, Gaudiot Jean-Luc
by Liu, Shaoshan, autor | Li, Liyun, autor | Tang, Jie, autor | Shuang, Wu, autor | Gaudiot, Jean-Luc, autor. Edition: 2nd edition 2020Material type: E-book Publisher: Cham : Springer International Publishing, 2020Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TL152.8 2020 EB |
reference |
|
|
|
|
|
|
Automated Verification of Concurrent Search Structures / by Krishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas
by Krishna, Siddharth, autor | Patel, Nisarg, autor | Shasha, Dennis Elliott, autor | Wies, Thomas, autor. Edition: 1st edition 2021Material type: E-book Publisher: Cham : Springer International Publishing, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D3 2021 EB |
reference |
|
|
|