74 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Raynal, Michel. author.
Format:
Electronic Resources
Alıntı:
Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach / Raynal, Michel. author.
Yazar
Heule, Marijn. editor.
Format:
Electronic Resources
Alıntı:
advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms
Yazar
Rossi, Federico. editor.
Format:
Electronic Resources
Alıntı:
cover the following topics: evolutionary computation, bioinspired algorithms, genetic algorithms
Yazar
Cheung, King Sing. author.
Format:
Electronic Resources
Alıntı:
, Algorithms for Checking the Properties of Augmented Marked Graphs -- Index References.
Yazar
Chopard, Bastien. author.
Format:
Electronic Resources
Alıntı:
Annealing -- Ant Colony Optimization (ACO) -- Non-PSO Optimization -- Firefly Algorithm, Cuckoo Algorithm
Yazar
Kunkel, Julian M. editor.
Format:
Electronic Resources
Alıntı:
: applications and algorithms; proxy applications; architecture and system optimization; and energy-aware
Yazar
Yan, Song Y. author.
Format:
Electronic Resources
Alıntı:
fast algorithms, including quantum algorithms, to solve various classic and modern number theoretic
Yazar
Daydé, Michel. editor.
Format:
Electronic Resources
Alıntı:
Algorithms for GPU and Many cores -- Large-Scale Applications -- Numerical Algorithms -- Direct
Yazar
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
Format:
Electronic Resources
Alıntı:
systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Yazar
Böckenhauer, Hans-Joachim. editor.
Format:
Electronic Resources
Alıntı:
problems, stability of approximation algorithms, reoptimization algorithms, computer science education, and
Yazar
Rossi, Federico. editor. (orcid)0000-0002-1854-532X
Format:
Electronic Resources
Alıntı:
algorithms, genetic algorithms, bioinformatics and computational biology, modelling and simulation of
Yazar
Takagi, Tsuyoshi. editor.
Format:
Electronic Resources
Alıntı:
; Pairing-based Protocols; Quantum Algorithms; Elliptic Curves; Block Chains; Multi-Party Protocols; Operating
74 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: