33 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
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
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
Everett, Gerald D., 1943- author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201507
Format:
Electronic Resources
Alıntı:
Environment -- 11. Automated Testing Tools -- 12. Analyzing and Interpreting Test Results -- 13. A Full
Yazar
Hidary, Jack D. author.
Format:
Electronic Resources
Alıntı:
Quantum Computing I -- 13. Mathematical Tools for Quantum Computing II -- 14. Mathematical Tools for
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
33 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: