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