1
出版事項 2006
目次: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
全文の入手
電子媒体 eBook
2
著者: Hunt, John., Hunt, John.
出版事項 2014
目次: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
全文の入手
電子媒体 eBook
3
著者: Cheah, Eng Khoon
出版事項 2004
... program on preschoolers computing abilities and the factors that affect the acquisition of these skills...
全文の入手
学位論文
4
著者: Cheah, Eng Khoon
出版事項 2004
... program on preschoolers computing abilities and the factors that affect the acquisition of these skills...
全文の入手
学位論文
5
著者: Liu, G.R., Liu, G.R., Gu, Y.T.
出版事項 2005
目次: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
全文の入手
電子媒体 eBook
6
著者: Li, Xingfeng., Li, Xingfeng.
出版事項 2014
目次: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
全文の入手
電子媒体 eBook
7
出版事項 2014
目次: ... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...
全文の入手
電子媒体 eBook
8
出版事項 2015
目次: ... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...
全文の入手
電子媒体 eBook
9
出版事項 2007
目次: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
全文の入手
電子媒体 eBook
10
著者: Albert, Jim., Albert, Jim.
出版事項 2007
目次: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
全文の入手
電子媒体 eBook
11
出版事項 2008
目次: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
全文の入手
電子媒体 eBook
12
出版事項 2008
目次: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
全文の入手
電子媒体 eBook
13
出版事項 2008
目次: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
全文の入手
電子媒体 eBook
14
出版事項 2006
目次: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
全文の入手
電子媒体 eBook
15
出版事項 2007
目次: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
全文の入手
電子媒体 eBook
16
出版事項 2007
目次: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
全文の入手
電子媒体 eBook
17
出版事項 2005
目次: ... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...
全文の入手
電子媒体 eBook
18
出版事項 2007
目次: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...
全文の入手
電子媒体 eBook
20
出版事項 2010
目次: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
全文の入手
電子媒体 eBook