Kucera, Antonin.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
Kucera, Antonin.; Potapov, Igor.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
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- Verification
Computer logic
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Computer Science.
Discrete Mathematics in Computer Science.
Decidability (Mathematical logic)
Graph theory- Data processing