Xue, Jinyun.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Structured object-oriented formal language and method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers /
by:
(1998 :); SpringerLink (Online service); Xue, Jinyun.
(書目-電子資源)
Frontiers in AlgorithmicsThird International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings /
by:
(1998 :); Deng, Xiaotie.; Hopcroft, John E.; SpringerLink (Online service); Xue, Jinyun.
(書目-電子資源)
Formal aspects of component software10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer algorithms
Software Engineering/Programming and Operating Systems.
Component software
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Algorithms.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Object-oriented methods (Computer science)
Data Mining and Knowledge Discovery.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Computer System Implementation.