Search Results for Tools.

21 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

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

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

Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

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

Format:

Electronic Resources

Alıntı:

sections on high performance architectures, tools and technologies; parallel numerical algorithms

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

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

Format:

Electronic Resources

Alıntı:

sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

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

Format:

Electronic Resources

Alıntı:

sections on high performance architectures, tools and technologies; parallel numerical algorithms

Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings

Yazar

Coudière, Yves. editor.

https://doi.org/10.1007/978-3-030-21949-9

Format:

Electronic Resources

Alıntı:

: Electrophysiology: mapping and biophysical modelling; Novel imaging tools and analysis methods for myocardial tissue

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Yazar

Thachuk, Chris. editor.

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

Format:

Electronic Resources

Alıntı:

molecular robotics; information storage; studies of fault-tolerance and error correction; software tools for

Discrete Geometry for Computer Imagery 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedings

Yazar

Kropatsch, Walter G. editor.

https://doi.org/10.1007/978-3-319-66272-5

Format:

Electronic Resources

Alıntı:

analysis; discrete and combinatorial topology; discrete models and tools; models for discrete geometry.

Directed Algebraic Topology and Concurrency

Yazar

Fajstrup, Lisbeth. author.

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

Format:

Electronic Resources

Alıntı:

topological models. In the process, it develops tools and invariants for the new discipline directed algebraic

10.

Graph Data Management Fundamental Issues and Recent Developments

Yazar

Fletcher, George. editor.

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

Format:

Electronic Resources

Alıntı:

which types of tools, techniques and technologies are available, which ones could best suit their needs

11.

Numerical Methods and Modelling for Engineering

Yazar

Khoury, Richard. author.

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

Format:

Electronic Resources

Alıntı:

numerical methods are a set of mathematical modelling tools which allow engineers to represent real-world

12.

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

Yazar

Baetens, Jan M. editor.

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

Format:

Electronic Resources

Alıntı:

16 submissions. The papers highlight the major advances in the field and the development of new tools

	{displayName}	{count}
{error}