Huaikou Miao – författare

Visar alla böcker från författaren Huaikou Miao.

5 produkter

1. 

   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

   609 kr

   Lägg i varukorg

2. 

   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

   729 kr

   Lägg i varukorg

3. 

   Formal Methods and Software Engineering

   4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

   Av Chris George, Huaikou Miao

   Häftad, 2002

   1449 kr

   Lägg i varukorg

4. 

   Computer and Information Science 2009

   Av Roger Lee, Gongzu Hu m. fl.

   Inbunden, 2009

   2169 kr

   Lägg i varukorg

5. 

   Computer and Information Science 2009

   Av Roger Lee, Gongzu Hu m. fl.

   Häftad, 2010

   2169 kr

   Lägg i varukorg