語系
Hlineny, Petr.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematical and engineering methods in computer science9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17 - 19, 2014 : revised selected papers /
by:
(1998 :); Hlineny, Petr.; SpringerLink (Online service)
(書目-電子資源)
Mathematical foundations of computer science 201035th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(1998 :); Hlineny, Petr.; Kucera, Antonin.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software engineering
Artificial intelligence
Software Engineering.
Game Theory/Mathematical Methods.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Management of Computing and Information Systems.
Computer logic
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Computer Communication Networks.