1
出版 2013
書本目錄: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
獲取全文
電子 電子書