Yazar
Ausiello, Giorgio. author.
Format:
Electronic Resources
Alıntı:
Analysis" -- Informatique théorique -- The Journal -- Data Structures, Program Structures -- Optimization
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Verification -- Programming and proving with classical types -- Static Analysis of Multithreaded Recursive
View Other Search Results
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
. A numerical case study -- Energy analysis of a 4D Variational Data Assimilation algorithm and
Arama Sonuçlarını Sınırlandır
Daraltılmış: