1
出版 2006
書本目錄: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
獲取全文
電子 電子書
4
書本目錄: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
獲取全文
電子 電子書
5
出版 2008
書本目錄: ...–Wasserstein Distance -- Computation for Graphical Models and Bayes Nets -- Iterative Conditional Fitting...
獲取全文
電子 電子書
6
出版 2013
書本目錄: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
獲取全文
電子 電子書