19 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
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
Kropatsch, Walter G. editor.
Format:
Electronic Resources
Alıntı:
analysis; discrete and combinatorial topology; discrete models and tools; models for discrete geometry.
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
Grätzer, George. author.
Format:
Electronic Resources
Alıntı:
LaTeX features. —Report on Mathematical Physics A very helpful and useful tool for all scientists and
Yazar
Grätzer, George. author.
Format:
Electronic Resources
Alıntı:
tool for all scientists and engineers.'' —Review of Astronomical Tools ``A novice reader will be able
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
Yazar
Panda, B.S. editor.
Format:
Electronic Resources
Alıntı:
existing applications and development of new tools for discrete mathematics.
19 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: