語系
Miao, Huaikou.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Structured object-oriented formal language and method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers /
by:
SOFL+MSVL (Workshop) (2019 :); Miao, Huaikou.; SpringerLink (Online service)
(書目-電子資源)
Formal methods and software engineering = 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
by:
George, Chris.; Miao, Huaikou.; SpringerLink (Online service); International Conference on Formal Engineering Methods (2002 :)
(書目-語言資料,印刷品)
Computer and information science 2009
by:
Hu, Gongzu.; Lee, Roger.; Miao, Huaikou.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Appl.Mathematics/Computational Methods of Engineering.
Theory of Computation.
Information science
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Artificial Intelligence (incl. Robotics)
Software engineering- Congresses.
Formal methods (Computer science)
Object-oriented methods (Computer science)
Computer science
Artificial Intelligence.
Engineering.
Computer Systems Organization and Communication Networks.