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 = 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]

Show more

Subjects

Mathematical logic. Computer science—Mathematics. Computer organization. Computer engineering. Math Applications in Computer Science. Numerical analysis. Artificial intelligence. Software engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer science Algorithms. Formal languages Artificial Intelligence. Decidability (Mathematical logic) Design and Analysis of Algorithms. Logic, Symbolic and mathematical. Configurations Computer systems Computer science. Computer system failures. Machine theory. Computers. Discrete Mathematics in Computer Science. Computing Methodologies. Programming Languages, Compilers, Interpreters. Numeric Computing. Computation by Abstract Devices. Computer Science Logic and Foundations of Programming. Software Engineering. Software Engineering/Programming and Operating Systems. Data Structures and Information Theory. Algorithm Analysis and Problem Complexity. Computer logic. Computer networks . Formal Languages and Automata Theory. System Performance and Evaluation. Logic in AI. The Computing Profession. Mathematics of Computing. Data structures (Computer science). Computer Science. Graph theory Computer Engineering and Networks. Probability and Statistics in Computer Science. Mathematical statistics. Information Systems and Communication Service. Logic programming.

Change password

Login