Yazar
Sinz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
A (Biased) Proof Complexity Survey for SAT Practitioners -- Cores in Core Based MaxSat Algorithms
Yazar
Cong, Fengyu. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Cong, Fengyu. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Gerdt, Vladimir P. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
German, Reinhard. editor.
Format:
Electronic Resources
Alıntı:
-- Markov Analysis for Optimum Caching as an Alternative to Belady's Algorithm -- Intrusion Detection for
Yazar
Smart, Nigel P. author.
Format:
Electronic Resources
Alıntı:
; the "naive" RSA algorithm; public key encryption and signature algorithms; cryptography based on
Yazar
Fitzgibbon, William. editor.
Format:
Electronic Resources
Alıntı:
Evolutionary Algorithms for Single and Multi-Objective Design Optimization in Engineering, by Dong Seop Lee
Yazar
Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Peng, Sheng-Lung. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Cowen, Lenore J. editor.
Format:
Electronic Resources
Alıntı:
-- Minimization-Aware Recursive K* (MARK*): A Novel, Provable Algorithm that Accelerates Ensemble-based Protein Design
Yazar
Ghaffari, Mohsen. editor.
Format:
Electronic Resources
Alıntı:
-- Synchronous t-Resilient Consensus in Arbitrary Graphs -- Tasks in Modular Proofs of Concurrent Algorithms
Yazar
Clarke, Edmund M. editor.
Format:
Electronic Resources
Alıntı:
the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that
Arama Sonuçlarını Sınırlandır
Daraltılmış: