Mostrando 1 - 4 resultados de 4 para a busca 'Liu, Zhiming', tempo de busca: 0.10s 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
Salvar na lista
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
Salvar na lista
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
Salvar na lista
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
Salvar na lista
Na minha lista:
Ferramentas de busca: Obter Feed RSS — Enviar busca por e-mail