語系
Kucera, Antonin.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
SpringerLink (Online service); Kucera, Antonin.; Hlineny, Petr.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
SpringerLink (Online service); Kucera, Antonin.; Congress on Progress and Controversies in Oncological Urology (2000:); Potapov, Igor.
(書目-電子資源)
主題
Software Engineering.
Computer logic
Algorithm Analysis and Problem Complexity.
Graph theory- Data processing
Decidability (Mathematical logic)
Computer systems- Verification
Computation by Abstract Devices.
Computer science- Mathematics
Data Structures.
Discrete Mathematics in Computer Science.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.