1
出版 2008
书本目录: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
获取全文
电子 电子书
2
... learning management system (LMS) and assessment records from a higher education computer science program...
获取全文
Article
3
书本目录: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
获取全文
电子 电子书
4
出版 2005
书本目录: ... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...
获取全文
电子 电子书
5
书本目录: ...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...
获取全文
电子 电子书
6
出版 2005
书本目录: ... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...
获取全文
电子 电子书
7
出版 2013
书本目录: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
获取全文
电子 电子书
8
9
出版 2013
书本目录: ... -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon...
获取全文
电子 电子书
10
书本目录: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
获取全文
电子 电子书
11
书本目录: ...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...
获取全文
电子 电子书
12
出版 2008
书本目录: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
获取全文
电子 电子书
13
出版 2013
书本目录: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
获取全文
电子 电子书
14
出版 2005
书本目录: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
获取全文
电子 电子书
15
出版 2006
书本目录: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
获取全文
电子 电子书
16
出版 2007
书本目录: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
获取全文
电子 电子书
17
出版 2012
书本目录: ... on Blocking Methods when Linking Large Data-Sets (Cibella N., Tuoto T.) -- Integrating Households Income...
获取全文
电子 电子书
18
出版 2014
书本目录: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
获取全文
电子 电子书
19
出版 2007
书本目录: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
获取全文
电子 电子书
20
书本目录: ...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...
获取全文
电子 电子书