Yazar
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September
Yazar
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
Format:
Electronic Resources
Alıntı:
Cryptosystems and Applied Cryptography -- Modelling and Risk Assessment -- Trust Computing.
View Other Search Results
Yazar
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
-- Static analysis and testing -- Safety analysis and assessment -- Safety and security.
Yazar
LaMeres, Brock J. author.
Format:
Electronic Resources
Alıntı:
designed the presentation with learning Goals and assessment at its core. Each section addresses a specific
Yazar
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
Format:
Electronic Resources
Alıntı:
Derivation reduction of metarules in meta-interpretive learning -- Large-Scale Assessment of Deep
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly
Yazar
Bures, Tomas. editor.
Format:
Electronic Resources
Alıntı:
E-Assessment Systems -- Industry track -- A Four-Layer Architecture Pattern for Constructing and Managing
Yazar
LaMeres, Brock J. author.
Format:
Electronic Resources
Alıntı:
exercise problems provide a rich set of assessment tools to measure learner performance on each outcome
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
Assessment in Robotic Applications -- Multi-level Static Analysis for Finding Error Patterns and Defects in
Yazar
Chen, Liqun. editor. (orcid)0000-0003-2680-4907
Format:
Electronic Resources
Alıntı:
assessment.
Yazar
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
Format:
Electronic Resources
Alıntı:
Assessment and Prevention -- Student performance prediction and optimal course selection: An MDP approach
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
evaluation on ARM-based HPC systems -- Performance Assessment of the Incremental Strong Constraints 4DVAR
Arama Sonuçlarını Sınırlandır
Daraltılmış: