Jinyun Xue – författare
Visar alla böcker från författaren Jinyun Xue. Handla med fri frakt och snabb leverans.
6 produkter
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Av Jinyun Xue, Fumiko Nagoya m. fl.
Häftad, 2021
568 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.The 13 revised full papers included in the volume were carefully reviewed and selected from 24 …
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2021
755 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 …
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Av José Luiz Fiadeiro, Zhiming Liu m. fl.
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The …
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Av Jinyun Xue, Zhiming Liu m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The …
Frontiers in Algorithmics
Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings
Av Xiaotie Deng, John E. Hopcroft m. fl.
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009. The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 87 …
Frontiers in Algorithmics
Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings
Av Jinyun Xue, John E. Hopcroft m. fl.
E-bok, 2009
710 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009. The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 87 …
