語系
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.
Software Engineering/Programming and Operating Systems.
Computer algorithms
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.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Computer Science.
Computer System Implementation.