27 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
View Other Search Results
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
on high performance architectures, tools and technologies; parallel numerical algorithms
Yazar
Khomenko, Victor. editor.
Format:
Electronic Resources
Alıntı:
Design, ACSD 2018. The 15 regular and 8 tool papers, with 1 invited talk presented together in this
Yazar
Kropatsch, Walter G. editor.
Format:
Electronic Resources
Alıntı:
analysis; discrete and combinatorial topology; discrete models and tools; models for discrete geometry.
Yazar
Shi, Xuanhua. editor.
Format:
Electronic Resources
Alıntı:
systems -- Parallel and distributed software environments and tools.
Yazar
Brimkov, Valentin E. editor.
Format:
Electronic Resources
Alıntı:
patterns; grammars, models and other technical tools for image analysis; image segmentation, classification
Yazar
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
Format:
Electronic Resources
Alıntı:
: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
Yazar
Brijder, Robert. editor. (orcid)0000-0002-8912-1735
Format:
Electronic Resources
Alıntı:
correction -- Software tools for analysis, simulation, and design -- Synthetic biology and in vitro evolution
Yazar
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Format:
Electronic Resources
Alıntı:
engineering: advances methods, applications, and tools; data, information and knowledge engineering; network
Yazar
Rivera, Francisco F. editor. (orcid)0000-0002-6728-9350
Format:
Electronic Resources
Alıntı:
: support tools and environments; performance and power modeling, prediction and evaluation; scheduling and
27 sonuç bulundu