1
書本目錄: ... of a Program -- Purpose and Scope of Actions -- Action Types -- Controlling Actions: Conditionals...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
獲取全文
電子 電子書
4
出版 2010
書本目錄: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
獲取全文
電子 電子書
5
出版 2010
書本目錄: ...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...
獲取全文
電子 電子書