Home Advanced Search
Advanced Search - Page 1
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.)
Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
- English
- Year: 2010
- Author: Colin Stirling (auth.), Luke Ong (eds.)
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
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.)
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
Konfuzianische Ethik und Legitimation der Herrschaft im alten China: Eine Auseinandersetzung mit der vergleichenden Soziologie Max Webers
- German
- Year: 1997
- Author: Lin, Duan