Search Results for Tools.

41 sonuç bulundu

Tümünü Seç

1 2 3 4

000000000000DEFAULTTR

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

Yazar

Simovici, Dan A. author.

http://dx.doi.org/10.1007/978-1-4471-6407-4

Format:

Electronic Resources

Alıntı:

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics / Simovici, Dan A

Imprecision and Uncertainty in Information Representation and Processing New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets

Yazar

Angelov, Plamen. editor.

http://dx.doi.org/10.1007/978-3-319-26302-1

Format:

Electronic Resources

Alıntı:

Imprecision and Uncertainty in Information Representation and Processing New Tools Based on

Automatic Generation of Combinatorial Test Data

Yazar

Zhang, Jian. author.

http://dx.doi.org/10.1007/978-3-662-43429-1

Format:

Electronic Resources

Alıntı:

explains major algorithms with examples. In addition, the book lists a number of test generation tools, as

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

Yazar

Gerdt, Vladimir P. editor.

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

Format:

Electronic Resources

Alıntı:

tools of computer algebra for the solution of problems in scientific computing.

Geometric Theory of Information

Yazar

Nielsen, Frank. editor.

http://dx.doi.org/10.1007/978-3-319-05317-2

Format:

Electronic Resources

Alıntı:

This book brings together geometric tools and their applications for Information analysis. It

Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

Yazar

Peyrin, Thomas. editor.

http://dx.doi.org/10.1007/978-3-662-52993-5

Format:

Electronic Resources

Alıntı:

implementations; automated tools for cryptanalysis; designs; block-cipher cryptanalysis; foundations and theory

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Yazar

Karydis, Ioannis. editor.

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

Format:

Electronic Resources

Alıntı:

topics in two main tracks: algorithmic aspects of large-scale data stores, and software tools and

Discrete Geometry for Computer Imagery 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings

Yazar

Normand, Nicolas. editor.

http://dx.doi.org/10.1007/978-3-319-32360-2

Format:

Electronic Resources

Alıntı:

papers are organized in topical sections on combinatorial tools; discretization; discrete tomography

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Yazar

Hinze, Ralf. editor.

http://dx.doi.org/10.1007/978-3-319-19797-5

Format:

Electronic Resources

Alıntı:

submissions. The papers are about mathematical methods and tools put to use in program construction. They

10.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Yazar

Gupta, Gopal. editor.

http://dx.doi.org/10.1007/978-3-319-14125-1

Format:

Electronic Resources

Alıntı:

, optimization, composition, security, reuse, applications and tools, component-based software development

11.

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor.

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

Format:

Electronic Resources

Alıntı:

-- Parallel Non-Numerical Algorithms -- Tools and Environments for Parallel/Distributed/Cloud Computing

12.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the

Tümünü Seç

1 2 3 4

41 sonuç bulundu

	{displayName}	{count}
{error}