Home Advanced Search
Advanced Search - Page 1
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
- English
- Year: 2020
- Author: Dang Van Hung, Oleg Sokolsky
Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings
- English
- Year: 2020
- Author: Dang Van Hung, Meenakshi D´Souza
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
- English
- Year: 2019
- Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
- English
- Year: 2017
- Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
Integrated Uncertainty in Knowledge Modelling and Decision Making
- English
- Year: 2018
- Author: Van-Nam Huynh, Masahiro Inuiguchi, Dang Hung Tran, Thierry Denoeux
Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
- English
- Year: 2010
- Author: Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)
Viet-Nam: Politics and Public Administration
- English
- Year: 2023
- Author: Nghiem Dang
