10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
Rousseau, Louis-Martin. editor.
Format:
Electronic Resources
Alıntı:
Numerical analysis.
Yazar
Brainerd, Walter S. author.
Format:
Electronic Resources
Alıntı:
Numerical analysis.
View Other Search Results
Yazar
Kindratenko, Volodymyr. editor.
Format:
Electronic Resources
Alıntı:
Numerical analysis.
Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
Numerical analysis.
Yazar
Chekanov, Sergei V. author.
Format:
Electronic Resources
Alıntı:
Numeric Computation and Statistical Data Analysis on the Java Platform Chekanov, Sergei V. author.
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
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Verification -- Programming and proving with classical types -- Static Analysis of Multithreaded Recursive
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Bernays-Schonfinkel-Ramsey Fragment of Separation Logic -- Finding Relevant Templates via the Principal Component Analysis
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
10 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: