1
Được phát hành 2006
Mục lục: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
lấy văn bản
Điện tử eBook
2
Bằng Chesi, Graziano., Chesi, Graziano.
Được phát hành 2011
Mục lục: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
lấy văn bản
Điện tử eBook
3
Được phát hành 2010
Mục lục: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...
lấy văn bản
Điện tử eBook
5
Được phát hành 2008
Mục lục: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
lấy văn bản
Điện tử eBook
6
Được phát hành 2013
Mục lục: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
lấy văn bản
Điện tử eBook