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
  • PDF
  • 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
  • PDF
  • English
  • Year: 2020
  • Author: Dang Van Hung, Meenakshi D´Souza
Integrated Uncertainty in Knowledge Modelling and Decision Making
  • PDF
  • English
  • Year: 2018
  • Author: Van-Nam Huynh, Masahiro Inuiguchi, Dang Hung Tran, Thierry Denoeux
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2019
  • Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)
Beyond Traditional Probabilistic Methods in Economics
  • PDF
  • English
  • Year: 2019
  • Author: Vladik Kreinovich, Nguyen Ngoc Thach, Nguyen Duc Trung, Dang Van Thanh
Proceedings of the International Conference on Advances in Computational Mechanics 2017: ACOME 2017, 2 to 4 August 2017, Phu Quoc Island, Vietnam
  • PDF
  • English
  • Year: 2018
  • Author: Hung Nguyen-Xuan,Phuc Phung-Van,Timon Rabczuk (eds.)
Sustainable Rice Straw Management
  • PDF
  • English
  • Year: 2020
  • Author: Martin Gummert, Nguyen Van Hung, Pauline Chivenge, Boru Douthwaite
From new woman writer to socialist : the life and selected writings of Tamura Toshiko from 1936-1938
  • PDF
  • English, Japanese
  • Year: 2015
  • Author: Sokolsky, Anne; Tamura, Toshiko
search