Kucera, Antonin.
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Reachability problems4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(1998 :); Kucera, Antonin.; Potapov, Igor.; 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.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Computer systems
Computer logic
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Decidability (Mathematical logic)
Graph theory