Huaikou Miao - Böcker
Visar alla böcker från författaren Huaikou Miao.
5 produkter
5 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
Häftad, Engelska, 2019
599 kr
Skickas inom 10-15 vardagar
Del 12028 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Häftad, Engelska, 2020
709 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Häftad, Engelska, 2002
1 409 kr
Skickas inom 10-15 vardagar
2 089 kr
Skickas inom 10-15 vardagar
2 029 kr
Skickas inom 10-15 vardagar