Language: English

Login

Languages

English (8)

Covers

Jump To : Overview | Titles | Subjects

Potapov, Igor.

Overview

Works:	2 works in 8 publications in 1 languages

Titles

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. (Language materials, printed)

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) (Language materials, printed)

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) (Language materials, printed) , [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. (Language materials, printed)

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. (Language materials, printed)

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) (Language materials, printed) , [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. (Language materials, printed)

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. (Language materials, printed) , [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) (Language materials, printed)

Reachability Problems = 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings / by: Reynier, Pierre-Alain.; SpringerLink (Online service); Potapov, Igor. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Show more

Subjects

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.

Change password

Login