Yazar
Tian, Cong. editor.
Format:
Electronic Resources
Alıntı:
; graph theory; model checking; modeling and specification; and verification and validation.
View Other Search Results
Yazar
Du, Ding-Zhu. editor.
Format:
Electronic Resources
Alıntı:
Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: