語系
Potapov, Igor.
概要
| 作品: | 2 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Bournez, Olivier.; SpringerLink (Online service); Potapov, Igor.
(書目-電子資源)
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.
(書目-電子資源)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
Potapov, Igor.; Congress on Progress and Controversies in Oncological Urology (2000:); Delzanno, Giorgio.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
Finkel, Alain.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Leroux, Jerome.; Potapov, Igor.
(書目-電子資源)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Graph theory- Data processing
Decidability (Mathematical logic)
Computer systems- Verification
Configurations
Computation by Abstract Devices.
Computer science- Mathematics
Theory of Computation.
Mathematics of Computing.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.