37 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Simovici, Dan A. author.
Format:
Electronic Resources
Alıntı:
Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics / Simovici, Dan A
Yazar
Gerdt, Vladimir P. editor.
Format:
Electronic Resources
Alıntı:
tools of computer algebra for the solution of problems in scientific computing.
View Other Search Results
Yazar
Normand, Nicolas. editor.
Format:
Electronic Resources
Alıntı:
papers are organized in topical sections on combinatorial tools; discretization; discrete tomography
Yazar
Peyrin, Thomas. editor.
Format:
Electronic Resources
Alıntı:
implementations; automated tools for cryptanalysis; designs; block-cipher cryptanalysis; foundations and theory
Yazar
Karydis, Ioannis. editor.
Format:
Electronic Resources
Alıntı:
topics in two main tracks: algorithmic aspects of large-scale data stores, and software tools and
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers are about mathematical methods and tools put to use in program construction. They
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
Gertz, Michael. editor.
Format:
Electronic Resources
Alıntı:
. The papers are organized around the current research on concepts, tools, and techniques related to
Yazar
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
Format:
Electronic Resources
Alıntı:
, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics
Yazar
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
Format:
Electronic Resources
Alıntı:
papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions
Yazar
Khomenko, Victor. editor.
Format:
Electronic Resources
Alıntı:
Design, ACSD 2018. The 15 regular and 8 tool papers, with 1 invited talk presented together in this
Yazar
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
Format:
Electronic Resources
Alıntı:
: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
37 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: