Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain
View Other Search Results
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction
Yazar
Geffert, Viliam. editor.
Format:
Electronic Resources
Alıntı:
Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014
Arama Sonuçlarını Sınırlandır
Daraltılmış: