17 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
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
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
on high performance architectures, tools and technologies; parallel numerical algorithms
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
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
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
Alba, Enrique. editor.
Format:
Electronic Resources
Alıntı:
Smart City Strategies: Towards a New Methodological Tool -- Predicting Car Park Occupancy Rates in Smart
Yazar
Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236
Format:
Electronic Resources
Alıntı:
-- Hamiltonian Graphs as Harmonic Tools -- New Investigations in Rhythmic Oddity -- Polytopic Graph of Latent
Yazar
Desprez, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) – IWMSE (5th International
17 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: