Home Advanced Search

Advanced Search - Page 1

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
  • PDF
  • 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
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Shaoying Liu, Zhenhua Duan (eds.)
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
  • PDF
  • 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
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
Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Ding-Zhu Du, Zhenhua Duan, Cong Tian
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Zhenhua Duan, Luke Ong (eds.)
Confined Fluid Phase Behavior and CO2 Sequestration in Shale Reservoirs
Confined Fluid Phase Behavior and CO2 Sequestration in Shale Reservoirs
  • EPUB
  • English
  • Author: Yueliang Liu, Zhenhua Rui
Confined Fluid Phase Behavior and CO2 Sequestration in Shale Reservoirs
Confined Fluid Phase Behavior and CO2 Sequestration in Shale Reservoirs
  • PDF
  • English
  • Year: 2022
  • Author: Yueliang Liu, Zhenhua Rui
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.)
search