Wang Yi

Identifiers

Open LibraryOL4173333A

Top Subjects

Machine theory (1)
Computer simulation (1)
Career development (1)
Promotions (1)
Software engineering (1)

Books by Wang Yi

Total count: 10

Tools and Algorithms for the Construction and Analysis of Systems7th International Conference, TACAS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Springer London, Limited2003-01-01
Common Knowledge about Chinese Culture (English-Chinese, illustrated)

Hong Kong China Travel Press2004-09-01
Common Knowledge about Chinese History (English-Chinese, illustrated)

Hong Kong China Travel Press2004-09-01
Common Knowledge about Chinese Geography (English-Chinese, illustrated)

Hong Kong China Travel Press2004-09-01
Formal Modeling and Analysis of Timed SystemsThird International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Springer London, Limited2005-01-01
Zhi chang lu xian tuRen li zi yuan zong jian shou jiDi 1 ban

Yu wen chu ban she2010-01-01
Princesse Corbeau

Hong Fei2012-09-02
Dependable Software Engineering : Theories, Tools, and ApplicationsFirst International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Springer London, Limited2015-01-01
How to Survive As a Villain 1

Monogatari Novels2025-01-01
How to Survive As a Villain 3

Monogatari Novels2025-01-01