Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
View Other Search Results
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Rousseau, Louis-Martin. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Barros, Márcio. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Goues, Claire Le. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Sarro, Federica. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
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
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