1
出版 2008
書本目錄: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...
獲取全文
電子 電子書
4
出版 2007
書本目錄: ... the Partition into Perfect Matchings Problem in Halin Graphs -- A Graph-Theory Algorithm for WCET Estimation...
獲取全文
電子 電子書
5
出版 2015
書本目錄: ... -- Intelligence in Humans -- The Origins of Intelligence as a Conceptual Construct: Plato, Pascal and Philosophy...
獲取全文
電子 電子書
6
出版 2010
書本目錄: ... Analysis: Results of Tests of Differences on Simulated Data and a Cross Cultural Analysis of the Sourcing...
獲取全文
電子 電子書
7
出版 2010
書本目錄: ... Causality: Theory and Applications -- Transcription Factor Binding Site Identification by Phylogenetic...
獲取全文
電子 電子書
8
出版 2006
書本目錄: ...: Agent.Enterprise -- Agent.Enterprise in a Nutshell -- Integrated Process Planning and Production Control...
獲取全文
電子 電子書
9
出版 2010
書本目錄: ... Portfolio Theory -- Harry Markowitz and the Early History of Quadratic Programming -- Ideas in Asset...
獲取全文
電子 電子書
10
出版 2008
書本目錄: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
獲取全文
電子 電子書
11
書本目錄: ... Issues in Equating -- Score Scales -- Linking -- Appendices -- Answers to Exercises -- Computer Programs...
獲取全文
電子 電子書
12
出版 2005
書本目錄: ... Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction -- A Robust Approach...
獲取全文
電子 電子書
13
出版 2006
書本目錄: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
獲取全文
電子 電子書
14
書本目錄: ... Approach -- Model Construction Language and Systems Implementation Language -- Computer-Acceptable Set...
獲取全文
電子 電子書
15
主題: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
獲取全文
電子 電子書
16
出版 2012
書本目錄: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
獲取全文
電子 電子書
17
書本目錄: ...Introduction -- Part I: Fundamental Algorithms -- Graphs -- The Computational Model -- Spanning...
獲取全文
電子 電子書
18
出版 2008
書本目錄: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... -- A New Adaptive B-spline VFC Snake for Object Contour Extraction -- Algorithm for Computational...
獲取全文
電子 電子書
20
出版 2006
書本目錄: ... Signature -- Theory -- A Novel Range Test -- Efficient Primitives from Exponentiation in ? p -- PA...
獲取全文
電子 電子書