Potapov, Igor.
概要
| 作品: | 5 作品在 13 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(1998 :); Delzanno, Giorgio.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(1998 :); Bournez, Olivier.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(1998 :); Ouaknine, Joel.; Potapov, Igor.; SpringerLink (Online service); Worrell, James.
(書目-語言資料,印刷品)
Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(1998 :); Hague, Matthew.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(1998 :); Lin, Anthony Widjaja.; Potapov, Igor.; SpringerLink (Online service); Zetzsche, Georg.
(書目-電子資源)
Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(1998 :); Larsen, Kim Guldstrand.; Potapov, Igor.; SpringerLink (Online service); Srba, Jiri.
(書目-電子資源)
Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(1998 :); Filiot, Emmanuel.; Jungers, Raphael.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(1998 :); Bournez, Olivier.; Formenti, Enrico.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(1998 :); Bell, Paul C.; Potapov, Igor.; SpringerLink (Online service); Totzke, Patrick.
(書目-電子資源)
Reachability problems9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(1998 :); Bojanczyk, Mikolaj.; Lasota, Slawomir.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(1998 :); Kucera, Antonin.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(1998 :); Finkel, Alain.; Leroux, Jerome.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings /
by:
(1998 :); Potapov, Igor.; Reynier, Pierre-Alain.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(1998 :); Potapov, Igor.; Schmitz, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
Developments in language theory19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(1998 :); Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
更多
較少的
主題
Theory of Computation.
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Computing Methodologies.
Data Structures and Information Theory.
Configurations
Mathematics of Computing.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Logic in AI.
Computer systems
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computers.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Coding and Information Theory.
Formal languages
Numeric Computing.
Computer science
Artificial Intelligence.
The Computing Profession.
Formal Languages and Automata Theory.
Decidability (Mathematical logic)
Computer Science.
Graph theory
Discrete Mathematics in Computer Science.
Computer science.
Math Applications in Computer Science.
Probability and Statistics in Computer Science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Design and Analysis of Algorithms.