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.)
Nonlinear Combinatorial Optimization
- English
- Year: 2019
- Author: Ding-Zhu Du, Panos M. Pardalos, Zhao Zhang
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
- English
- Year: 2023
- Author: Shaoying Liu, Zhenhua Duan, Ai Liu
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
- EPUB
- English
- Year: 2023
- Author: Shaoying Liu; Zhenhua Duan; Ai Liu
Optimal Coverage in Wireless Sensor Networks
- English
- Year: 2020
- Author: Weili Wu, Zhao Zhang, Wonjun Lee, Ding-Zhu Du