Home Advanced Search
Advanced Search - Page 1
Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
- English
- Year: 2019
- Author: Ding-Zhu Du, Zhenhua Duan, Cong Tian
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
- English
- Year: 2019
- Author: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings
- English
- Year: 2017
- Author: Zhenhua Duan, Luke Ong (eds.)
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
- English
- Year: 2015
- Author: Shaoying Liu, Zhenhua Duan (eds.)
Nonlinear Combinatorial Optimization
- English
- Year: 2019
- Author: Ding-Zhu Du, Panos M. Pardalos, Zhao Zhang
Wireless Network Security
- English
- Year: 2007
- Author: Yang Xiao, Xuemin (Sherman) Shen, Ding-Zhu Du