語系
He, Kun.
概要
作品: | 2 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Theoretical computer science38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers /
by:
(1998 :); He, Kun.; SpringerLink (Online service)
(書目-電子資源)
Theoretical computer science36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018 : proceedings /
by:
(1998 :); He, Kun.; Li, Lian.; Lu, Pinyan.; SpringerLink (Online service)
(書目-電子資源)
Theoretical computer science37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019 : revised selected papers /
by:
(1998 :); Chen, Xiaoyun.; He, Kun.; SpringerLink (Online service); Sun, Xiaoming.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Image Processing and Computer Vision.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Database Management.
Information Systems Applications (incl. Internet)
Computer science
Artificial Intelligence.
Probability and Statistics in Computer Science.
Computer Appl. in Social and Behavioral Sciences.