1
出版 2005
書本目錄: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... Identification Through Image Evaluation Using Secret Predicates -- Hash Functions -- Cryptanalysis of Reduced...
獲取全文
電子 電子書