1
2
出版 2006
书本目录: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
获取全文
电子 电子书
3
出版 2008
书本目录: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
获取全文
电子 电子书
4
书本目录: ... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...
获取全文
电子 电子书
5
Saeed, Walid
出版 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
获取全文
Thesis
6
出版 2010
书本目录: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
获取全文
电子 电子书
7
出版 2010
书本目录: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
获取全文
电子 电子书
8
书本目录: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
获取全文
电子 电子书
9
出版 2008
书本目录: ...–Wasserstein Distance -- Computation for Graphical Models and Bayes Nets -- Iterative Conditional Fitting...
获取全文
电子 电子书
10
出版 2013
书本目录: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
获取全文
电子 电子书
11
出版 2007
书本目录: ... Further Thoughts on Concordance -- Vertical Scaling -- Practical Issues in Vertical Scaling -- Methods...
获取全文
电子 电子书
12
出版 1999
书本目录: ...The Mouse Embryo -- The Mouse as a Developmental Model -- Culture of Postimplantation Mouse Embryos...
获取全文
电子 电子书