語系
Potapov, Igor.
概要
| 作品: | 0 作品在 11 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); Formenti, Enrico.; Bournez, Olivier.; International Conference on Reachability Problems (2023 :)
(書目-電子資源)
Reachability problems = 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); International Conference on Reachability Problems (2021 :); Bell, Paul C.; Totzke, Patrick.
(書目-電子資源)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
Kucera, Antonin.; Potapov, Igor.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
Finkel, Alain.; Potapov, Igor.; SpringerLink (Online service); Leroux, Jerome.
(書目-電子資源)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); Bojanczyk, Mikolaj.; Lasota, Slawomir.
(書目-電子資源)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); RP (Workshop) (2017 :); Hague, Matthew.
(書目-電子資源)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); Jungers, Raphael.; RP (Workshop) (2019 :); Filiot, Emmanuel.
(書目-電子資源)
Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); International Conference on Reachability Problems (2020 :); Schmitz, Sylvain.
(書目-電子資源)
Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); International Conference on Reachability Problems (2022 :); Lin, Anthony Widjaja.; Zetzsche, Georg.
(書目-電子資源)
Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); RP (Workshop) (2016 :); Srba, Jiri.; Larsen, Kim Guldstrand.
(書目-電子資源)
Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); Ouaknine, Joel.; Worrell, James.
(書目-電子資源)
更多
較少的
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Computing Methodologies.
Theory of Computation.
Data Structures and Information Theory.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Information Systems and Communication Service.
Logic in AI.
Computer systems- Verification
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computers.
Programming Languages, Compilers, Interpreters.
Computer science- Mathematics
Computer Science Logic and Foundations of Programming.
Coding and Information Theory.
Formal languages
Artificial Intelligence.
The Computing Profession.
Formal Languages and Automata Theory.
Decidability (Mathematical logic)
Graph theory- Data processing
Computer Science.
Discrete Mathematics in Computer Science.
Computer science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Design and Analysis of Algorithms.