Yazar
Gavoille, Cyril. editor.
Format:
Electronic Resources
Alıntı:
, verification, and testing: tools, methodologies -- Distributed computing issues in the Internet and the Web
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
View Other Search Results
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
Meisen, Philipp. author.
Format:
Electronic Resources
Alıntı:
analyze time interval data. The introduced tools are combined to design and realize an information system
Yazar
Phillips, Andrew. editor.
Format:
Electronic Resources
Alıntı:
; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications
Yazar
Applebaum, Benny. author.
Format:
Electronic Resources
Alıntı:
. It also introduces general techniques and tools which are likely to interest experts in the area.
Yazar
Arora, Ritu. editor.
Format:
Electronic Resources
Alıntı:
reader by covering the primary resources, middleware, applications, and tools that enable the usage of
Yazar
Abbass, Hussein A. author.
Format:
Electronic Resources
Alıntı:
right set of computational tools to assess risk in complex, “big-data” situations.
Yazar
Earnshaw, Rae. author.
Format:
Electronic Resources
Alıntı:
application areas are able to benefit from the latest visual tools and facilities. Rapid analysis is needed in
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software
Yazar
Pino, Robinson E. editor.
Format:
Electronic Resources
Alıntı:
academic laboratories. This book examines new algorithms and tools, technology platforms and reconfigurable
Yazar
Lake, Peter. author.
Format:
Electronic Resources
Alıntı:
research assignments Discusses the potential use of a variety of big data tools and techniques in a
Arama Sonuçlarını Sınırlandır
Daraltılmış: