1
出版 2013
書本目錄: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...
獲取全文
電子 電子書
3
出版 2014
書本目錄: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
獲取全文
電子 電子書