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
Đượ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
3
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
4
Được phát hành 2008
Mục lục: ...–Wasserstein Distance -- Computation for Graphical Models and Bayes Nets -- Iterative Conditional Fitting...
lấy văn bản
Điện tử eBook
5
Được phát hành 2010
Mục lục: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
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