A mostrar 1 - 4 resultados de 4 para a pesquisa 'Liu, Zhiming', tempo de pesquisa: 0.08seg Refinar resultados
1
Domain Modeling and the Duration Calculus
Por George, Chris, Liu, Zhiming, Woodcock, Jim
Publicado em 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Adic. favoritos
Na minha lista:
2
Formal Methods and Hybrid Real-Time Systems
Por Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Publicado em 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Adic. favoritos
Na minha lista:
3
Engineering Trustworthy Software Systems
Por Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Publicado em 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Adic. favoritos
Na minha lista:
4
Theoretical Aspects of Computing - ICTAC 2007
Por Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
Publicado em 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Obter o texto integral
Adic. favoritos
Na minha lista:
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email