한글
English
日本語
中文
Русский
עברית
ไทย
Française
Deutsch
Español
1
![Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]](/Users/Baul/Images/book.png)
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
2
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
3
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
4
Yu, Sheng-Jung.
| University of California, Berkeley |
2025
5
Reachability Analysis for Characterizing the Effects of Robotic Assistive Devices on Human Stability
Raz, Daphna R.
| University of Michigan |
2025
6
Tuck, Victoria Marie.
| University of California, Berkeley |
2025
7
Alberdingk Thijm, Timothy Robin.
| Princeton University |
2024
8
Fang, Amy.
| Cornell University |
2024
9
Ni, Haobin.
| Cornell University |
2024
10
Xiao, Wei.
| Boston University |
2021
Сортировка
Очистить
Формат
Автор
- VanHattum, Alexa.Computer Science. (3+)
- Ni, Haobin. (1+)
- Koenig, Jeremie. (1+)
- Fang, Amy. (1+)
- Carrillo, Estefany. (1+)
Издатель
- Cornell University. (3+)
- Cornell University (2+)
- University of California, Berkeley (2+)
- Princeton University (1+)
- Iowa State University (1+)
Год
Язык