Yazar
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
Format:
Electronic Resources
Alıntı:
Numerical analysis.
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
Numerical analysis.
View Other Search Results
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019
Yazar
Rival, Xavier. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: