Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
protocols security » protocol security, protocols secure
python protocols » protein protocols, auction protocols, common protocols
security program » security problems, security proofs, security proof
program python » program path, program paths, program potong
program https » programs https, program has, program help
protocols security » protocol security, protocols secure
python protocols » protein protocols, auction protocols, common protocols
security program » security problems, security proofs, security proof
program python » program path, program paths, program potong
program https » programs https, program has, program help
1
Έκδοση 2013
Πίνακας περιεχομένων:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
