Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
View Other Search Results
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Kurgalin, Sergei. author.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
Format:
Electronic Resources
Alıntı:
systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Yazar
Zamani, Majid. editor.
Format:
Electronic Resources
Alıntı:
Implementation of Numerical Algorithms.
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
, with an emphasis on practical verification tools and the algorithms and techniques that are needed for
Yazar
Meiselwitz, Gabriele. editor.
Format:
Electronic Resources
Alıntı:
analysis, and agents, models and algorithms in Social Media. .
Yazar
Proença, José. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
Format:
Electronic Resources
Alıntı:
Keynote Papers -- Computational Methods, Algorithms and Scientific Applications -- High Performance
Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Format:
Electronic Resources
Alıntı:
Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model
Yazar
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
Format:
Electronic Resources
Alıntı:
restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues