1
出版 2006
书本目录: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
获取全文
电子 电子书
2
Lee, Kent D., Lee, Kent D.
出版 2014
书本目录: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
获取全文
电子 电子书
3
出版 2008
书本目录: ... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...
获取全文
电子 电子书
4
出版 2007
书本目录: ...Overview -- Overview -- Foundations -- A Framework and History for Score Linking -- Data Collection...
获取全文
电子 电子书