Huaikou Miao – författare
Visar alla böcker från författaren Huaikou Miao. Handla med fri frakt och snabb leverans.
9 produkter
Testbeds and Research Infrastructures for the Development of Networks and Communities
13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings
Av Honghao Gao, Yuyu Yin m. fl.
Häftad, 2019
477 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 13th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communications, TridentCom 2018, held in November 2018 in Shanghai, China. The 10 full papers were selected from 29 …
Testbeds and Research Infrastructures for the Development of Networks and Communities
13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings
Av Huaikou Miao, Xiaoxian Yang m. fl.
E-bok, 2019
624 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 13 th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communications, TridentCom 2018, held in November 2018 in Shanghai, China. The 10 full papers were selected from 29 …
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Av Huaikou Miao, Cong Tian m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and …
Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Häftad, 2002
1126 kr
Lägg i varukorg
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is …
Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
E-bok, 2003
1502 kr
Lägg i varukorg
Computer and Information Science 2009
Av Roger Lee, Gongzu Hu m. fl.
Inbunden, 2009
1685 kr
Lägg i varukorg
The 8th ACIS/IEEE International Conference on Computer and Information S- ence, held in Shanghai, China on June 1-3 is aimed at bringing together resear- ers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas …
Computer and Information Science 2009
Av Huaikou Miao, Gongzu Hu m. fl.
E-bok, 2009
2111 kr
Lägg i varukorg
Computer and Information Science 2009
Av Roger Lee, Gongzu Hu m. fl.
Häftad, 2010
1685 kr
Lägg i varukorg
The 8th ACIS/IEEE International Conference on Computer and Information S- ence, held in Shanghai, China on June 1-3 is aimed at bringing together resear- ers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas …
