Potapov, Igor.
概要
作品: | 2 作品在 8 項出版品 1 種語言 |
---|
書目資訊
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
Finkel, Alain.; SpringerLink (Online service); Leroux, Jerome.; Workshop on the Preservation of Stability under Discretization ((2001 :); Potapov, Igor.
(書目-語言資料,印刷品)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Potapov, Igor.; Delzanno, Giorgio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
Potapov, Igor.; Zetzsche, Georg.; Lin, Anthony W.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Potapov, Igor.
(書目-語言資料,印刷品)
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
Bournez, Olivier.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Potapov, Igor.
(書目-語言資料,印刷品)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
Potapov, Igor.; Jungers, Raphaël.; Filiot, Emmanuel.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
Srba, Jiri.; SpringerLink (Online service); Potapov, Igor.; Workshop on the Preservation of Stability under Discretization ((2001 :); Larsen, Kim Guldstrand.
(書目-語言資料,印刷品)
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
SpringerLink (Online service); Totzke, Patrick.; Bell, Paul C.; Potapov, Igor.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Potapov, Igor.; Abdulla, Parosh Aziz.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reachability Problems = 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
by:
Reynier, Pierre-Alain.; SpringerLink (Online service); Potapov, Igor.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /
by:
SpringerLink (Online service); Totzke, Patrick.; Bell, Paul C.; Potapov, Igor.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
Bournez, Olivier.; SpringerLink (Online service); Formenti, Enrico.; Workshop on the Preservation of Stability under Discretization ((2001 :); Potapov, Igor.
(書目-語言資料,印刷品)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
SpringerLink (Online service); Hague, Matthew.; Potapov, Igor.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings /
by:
SpringerLink (Online service); Schmitz, Sylvain.; Potapov, Igor.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
Lasota, Slawomir.; Potapov, Igor.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bojanczyk, Mikolaj.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
by:
SpringerLink (Online service); Potapov, Igor.; Larsen, Kim Guldstrand.; Srba, Jiří.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
SpringerLink (Online service); Potapov, Igor.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability Problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
by:
Lasota, Slawomir.; Potapov, Igor.; Bojanczyk, Mikolai.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
更多
較少的
主題
Numerical analysis.
Artificial intelligence.
Software engineering.
Theory of Computation.
Logics and Meanings of Programs.
Computer science
Algorithms.
Formal languages
Decidability (Mathematical logic)
Design and Analysis of Algorithms.
Machine theory.
Computers.
Computing Methodologies.
Data Structures and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Formal Languages and Automata Theory.
System Performance and Evaluation.
Mathematics of Computing.
Data structures (Computer science).
Computer Science.
Probability and Statistics in Computer Science.
Logic programming.
Computer science.
Discrete Mathematics in Computer Science.
Numeric Computing.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Mathematical logic.
Computer science—Mathematics.
Computer organization.
Computer engineering.
Math Applications in Computer Science.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Configurations
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logic in AI.
The Computing Profession.
Graph theory
Computer Engineering and Networks.
Mathematical statistics.
Information Systems and Communication Service.
Logic, Symbolic and mathematical.
Computer systems
Computer system failures.