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