Yazar
Silhavy, Radek. editor.
Format:
Electronic Resources
Alıntı:
Higher-Order Singular Value Decomposition -- Model Checking Mutual Exclusion Algorithms Using UPPAAL.-Software
View Other Search Results
Yazar
Silhavy, Radek. editor.
Format:
Electronic Resources
Alıntı:
Using An Iterated Greedy Algorithm -- A Firefly Algorithm to Solve the Manufacturing Cell Design Problem
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: