Încărcări
The Move Programming Language 0% au considerat acest document utilMapping The Interplanetary Filesystem 0% au considerat acest document utilProof of Imperative Programs in Type Theory 0% au considerat acest document utilBreitner 16 Incredible 0% au considerat acest document utilCorrectness Proofs For C Library Functions 0% au considerat acest document utilQED at Large: A Survey of Engineering of Formally Verified Software 0% au considerat acest document util(C Raiciu - D Rosenblum) @cs Ucl Ac Uk 0% au considerat acest document utilDesign of A Social Messaging System Using Stateful Multicast 0% au considerat acest document utilUntraceable Electronic Mail, Return Addresses, and Digital Pseudonyms 0% au considerat acest document utilHidden Communication in P2P Networks:: Steganographic Handshake and Broadcast 0% au considerat acest document util