Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Control Structures and Microprogramming. http://scigraph.springernature.com/things/product-market
Yazar
Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
Format:
Electronic Resources
Alıntı:
Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris
View Other Search Results
Yazar
Takagi, Tsuyoshi. editor.
Format:
Electronic Resources
Alıntı:
; Lattices; Homomorphic Encryptions; Access Control; Oblivious Protocols; Side Channel Analysis
Yazar
Takagi, Tsuyoshi. editor.
Format:
Electronic Resources
Alıntı:
Cryptanalysis; Lattices; Homomorphic Encryptions; Access Control; Oblivious Protocols; Side Channel Analysis
Yazar
Takagi, Tsuyoshi. editor.
Format:
Electronic Resources
Alıntı:
; Lattices; Homomorphic Encryptions; Access Control; Oblivious Protocols; Side Channel Analysis
Yazar
Aldini, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Web Components.- Information Flow Control for Web Scripts -- EasyCrypt: A Tutorial.- Cryptographic
Yazar
Maffei, Matteo. editor.
Format:
Electronic Resources
Alıntı:
Usage in Dynamic Access Control -- Information Leakage -- Compositional Synthesis of Leakage Resilient
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
-- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative
Yazar
Shi, Yong. editor.
Format:
Electronic Resources
Alıntı:
Self-assembling Swarm Robots -- An Innovative Heuristic for Planning-based Urban Traffic Control. -Automatic Web
Yazar
Shi, Yong. editor.
Format:
Electronic Resources
Alıntı:
-- Discriminating Postural Control Behaviors from Posturography with Statistical Tests and Machine Learning Models