Отображение 1 - 4 результаты of 4 для поиска 'Liu, Zhiming', время запроса: 0.03сек. Отмена результатов
1
Domain Modeling and the Duration Calculus
по George, Chris, Liu, Zhiming, Woodcock, Jim
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
2
Formal Methods and Hybrid Real-Time Systems
по Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
3
Engineering Trustworthy Software Systems
по Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
4
Theoretical Aspects of Computing - ICTAC 2007
по Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
Опубликовано 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Полный текст
Добавить в Избранное
Сохранить в:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email