Search Results for Tools.

25 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

Yazar

Gavoille, Cyril. editor.

http://dx.doi.org/10.1007/978-3-662-53426-7

Format:

Electronic Resources

Alıntı:

, verification, and testing: tools, methodologies -- Distributed computing issues in the Internet and the Web

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Yazar

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

https://doi.org/10.1007/978-3-030-23611-3

Format:

Electronic Resources

Alıntı:

papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Yazar

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

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

Format:

Electronic Resources

Alıntı:

, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

Yazar

Meisen, Philipp. author.

http://dx.doi.org/10.1007/978-3-658-15728-9

Format:

Electronic Resources

Alıntı:

analyze time interval data. The introduced tools are combined to design and realize an information system

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

Cryptography in Constant Parallel Time

Yazar

Applebaum, Benny. author.

http://dx.doi.org/10.1007/978-3-642-17367-7

Format:

Electronic Resources

Alıntı:

. It also introduces general techniques and tools which are likely to interest experts in the area.

Conquering Big Data with High Performance Computing

Yazar

Arora, Ritu. editor.

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

Format:

Electronic Resources

Alıntı:

reader by covering the primary resources, middleware, applications, and tools that enable the usage of

Computational Red Teaming Risk Analytics of Big-Data-to-Decisions Intelligent Systems

Yazar

Abbass, Hussein A. author.

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

Format:

Electronic Resources

Alıntı:

right set of computational tools to assess risk in complex, “big-data” situations.

Data Science and Visual Computing

Yazar

Earnshaw, Rae. author.

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

Format:

Electronic Resources

Alıntı:

application areas are able to benefit from the latest visual tools and facilities. Rapid analysis is needed in

10.

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Yazar

Echahed, Rachid. editor.

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

Format:

Electronic Resources

Alıntı:

Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software

11.

Network Science and Cybersecurity

Yazar

Pino, Robinson E. editor.

http://dx.doi.org/10.1007/978-1-4614-7597-2

Format:

Electronic Resources

Alıntı:

academic laboratories. This book examines new algorithms and tools, technology platforms and reconfigurable

12.

Information Systems Management in the Big Data Era

Yazar

Lake, Peter. author.

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

Format:

Electronic Resources

Alıntı:

research assignments Discusses the potential use of a variety of big data tools and techniques in a

	{displayName}	{count}
{error}