Search Results for Algorithms.

54 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000DEFAULTTR

49.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-33600-8

Format:

Electronic Resources

Alıntı:

Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a

50.

Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

Yazar

Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941

https://doi.org/10.1007/978-3-030-12942-2

Format:

Electronic Resources

Alıntı:

Commands Using Natural Language Processing Techniques -- Evolutionary Computation Algorithms for Detecting

51.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and

52.

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Yazar

Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395

https://doi.org/10.1007/978-3-030-29400-7

Format:

Electronic Resources

Alıntı:

; accelerator computing; algorithms and systems for bioinformatics; and algorithms and systems for digital

53.

PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings

Yazar

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

https://doi.org/10.1007/978-3-030-33792-6

Format:

Electronic Resources

Alıntı:

Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation -- Dynamic multi-agent systems

54.

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV

Yazar

Sun, Xingming. editor. (orcid)0000-0003-1390-399X

https://doi.org/10.1007/978-3-030-24268-8

Format:

Electronic Resources

Alıntı:

Implementation Algorithm -- Multi-Party Quantum Communication Complexity on Composite Boolean-Valued Function

Tümünü Seç

1 2 3 4 5

54 sonuç bulundu

	{displayName}	{count}
{error}