Yazar
Naccache, David. editor. (orcid)0000-0002-8651-6555
Format:
Electronic Resources
Alıntı:
, supporting techniques, formal analysis and cryptanalysis, attack detection, and security management.
Yazar
Casimiro, António. editor. (orcid)0000-0002-5522-5739
Format:
Electronic Resources
Alıntı:
Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit
View Other Search Results
Yazar
Odumuyiwa, Victor. editor.
Format:
Electronic Resources
Alıntı:
. The papers were presented in eight sessions: e-government, network and load management, digital
Yazar
Hooker, John. editor. (orcid)0000-0003-3169-1871
Format:
Electronic Resources
Alıntı:
-- CP, Optimization, and Power System Management Track -- A Fast and Scalable Algorithm for Scheduling
Yazar
Bender, Michael A. editor.
Format:
Electronic Resources
Alıntı:
Management in Smart Grid -- An Average-Case Lower Bound against ACC^0 -- Compressed Indexing with Signature
Yazar
Tryfonas, Theo. editor.
Format:
Electronic Resources
Alıntı:
Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM
Yazar
Zhou, Jia. editor.
Format:
Electronic Resources
Alıntı:
of the Personal Health Information System for Self-Health Management -- To Capture the Diverse Needs