1
出版 2006
书本目录: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
获取全文
电子 电子书
2
书本目录: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
获取全文
电子 电子书
3
出版 2010
书本目录: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
获取全文
电子 电子书
4
出版 2010
书本目录: ... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...
获取全文
电子 电子书
5
出版 2008
书本目录: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
获取全文
电子 电子书
6
出版 2013
书本目录: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
获取全文
电子 电子书