Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Basic Quaternionic Analysis -- A Formalized General Theory of Syntax with Bindings -- Proof Certificates
View Other Search Results
Yazar
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
Format:
Electronic Resources
Alıntı:
-- High-Quality Shared-Memory Graph Partitioning -- Design Principles for Sparse Matrix Multiplication on the GPU
Arama Sonuçlarını Sınırlandır
Daraltılmış: