1
出版 2010
書本目錄: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ...An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...
獲取全文
電子 電子書
5
出版 2010
書本目錄: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
獲取全文
電子 電子書
6
出版 2014
書本目錄: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
獲取全文
電子 電子書
8
出版 2006
書本目錄: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
獲取全文
電子 電子書
9
出版 2008
書本目錄: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
獲取全文
電子 電子書
10
出版 2006
書本目錄: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
獲取全文
電子 電子書