Languages
Xue, Jinyun.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.