Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers Liu Shaoying Heftet / 2015 / Engelsk
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Duan Zhenhua Heftet / 2017 / Engelsk
Civil Engineering and Energy-Environment SET Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022 Gao, Qingfei Kombinasjonsprodukt / 2024 / Engelsk
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers Liu Shaoying Heftet / 2014 / Engelsk
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers Liu Shaoying Heftet / 2016 / Engelsk
Civil Engineering and Energy-Environment Vol 2 Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022 Gao, Qingfei Innbundet / 2023 / Engelsk
Civil Engineering and Energy-Environment Vol 1 Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022 Gao, Qingfei Innbundet / 2023 / Engelsk
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers Liu Shaoying Heftet / 2023 / Engelsk
Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings Du Ding-Zhu Heftet / 2019 / Engelsk
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers Liu Shaoying Heftet / 2017 / Engelsk
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers Tian, Cong Heftet / 2018 / Engelsk
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers Duan Zhenhua Heftet / 2019 / Engelsk
Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers Miao Huaikou Heftet / 2020 / Engelsk
Structured Object-Oriented Formal Language and Method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Xue Jinyun Heftet / 2021 / Engelsk
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings Agrawal Manindra Heftet / 2008 / Engelsk
