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...
獲取全文
電子 電子書