Search Results for Tools.

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

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

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

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

Yazar

Phillips, Andrew. editor.

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

Format:

Electronic Resources

Alıntı:

; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Yazar

Kozubek, Tomáš. editor.

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

Format:

Electronic Resources

Alıntı:

tools which facilitate efficient and convenient utilization of modern parallel and distributed computing

Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings

Yazar

Dwyer, Tim. editor.

http://dx.doi.org/10.1007/978-3-662-44043-8

Format:

Electronic Resources

Alıntı:

: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Yazar

Freivalds, Rūsiņš Mārtiņš. editor.

http://dx.doi.org/10.1007/978-3-662-49192-8

Format:

Electronic Resources

Alıntı:

: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7

	{displayName}	{count}
{error}