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
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
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
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming