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
书本目录: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
获取全文
电子 电子书
4
出版 2008
书本目录: ...–Wasserstein Distance -- Computation for Graphical Models and Bayes Nets -- Iterative Conditional Fitting...
获取全文
电子 电子书
5
出版 2010
书本目录: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
获取全文
电子 电子书
6
出版 2013
书本目录: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
获取全文
电子 电子书