Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of
Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and
View Other Search Results
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
on high performance architectures, tools and technologies; parallel numerical algorithms
Yazar
Howar, Falk. editor.
Format:
Electronic Resources
Alıntı:
Analysis Methods and Tools -- The Quest for Optimality in Stateless Model Checking of Concurrent Programs
Arama Sonuçlarını Sınırlandır
Daraltılmış: