Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
, with an emphasis on practical verification tools and the algorithms and techniques that are needed for
Yazar
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
Format:
Electronic Resources
Alıntı:
Keynote Papers -- Computational Methods, Algorithms and Scientific Applications -- High Performance
View Other Search Results
Yazar
Lohstroh, Marten. editor.
Format:
Electronic Resources
Alıntı:
Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered
Arama Sonuçlarını Sınırlandır
Daraltılmış: