Search Results for Algorithms.

Advances in Cryptology – ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

Yazar

Takagi, Tsuyoshi. editor.

https://doi.org/10.1007/978-3-319-70700-6

Format:

Electronic Resources

Alıntı:

; Pairing-based Protocols; Quantum Algorithms; Elliptic Curves; Block Chains; Multi-Party Protocols; Operating

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Yazar

Rossi, Federico. editor. (orcid)0000-0002-1854-532X

https://doi.org/10.1007/978-3-319-57711-1

Format:

Electronic Resources

Alıntı:

algorithms, genetic algorithms, bioinformatics and computational biology, modelling and simulation of

Yazar

Takagi, Tsuyoshi. editor.

https://doi.org/10.1007/978-3-319-70697-9

Format:

Electronic Resources

Alıntı:

; Pairing-based Protocols; Quantum Algorithms; Elliptic Curves; Block Chains; Multi-Party Protocols; Operating

Modern Language Models and Computation Theory with Applications

Yazar

Meduna, Alexander. author.

https://doi.org/10.1007/978-3-319-63100-4

Format:

Electronic Resources

Alıntı:

a practical viewpoint, it describes various concepts, methods, algorithms, techniques, and software

Yazar

Takagi, Tsuyoshi. editor.

https://doi.org/10.1007/978-3-319-70694-8

Format:

Electronic Resources

Alıntı:

; Pairing-based Protocols; Quantum Algorithms; Elliptic Curves; Block Chains; Multi-Party Protocols; Operating

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

-Round Algorithms for Point Placement in the Plane -- Neighborhood Graphs and Locally Minimal

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that

	{displayName}	{count}
{error}