1
出版 2006
書本目錄: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....
獲取全文
電子 電子書
3
4
書本目錄: ...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...
獲取全文
電子 電子書
5
Shoaei, Mohammad Dalili
出版 2014
... interfacial modeling in the soil-foundation-framed structure system, the analyzed model should...
獲取全文
Thesis
6
出版 2007
書本目錄: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
獲取全文
電子 電子書
7
出版 2015
書本目錄: ...Introduction to Structural Bioinformatics -- Modeling and Structure Determination -- The Structure...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
獲取全文
電子 電子書
9
出版 2007
書本目錄: ... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...
獲取全文
電子 電子書
10
出版 2008
書本目錄: ...Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures...
獲取全文
電子 電子書
11
出版 2010
書本目錄: ... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...
獲取全文
電子 電子書
12
出版 2007
書本目錄: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
獲取全文
電子 電子書
13
出版 2015
書本目錄: ... Preprocessing Method Used in Data Compression -- Modeling a Nano Cylindrical MOSFET Considering Parabolic...
獲取全文
電子 電子書
14
書本目錄: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
獲取全文
電子 電子書
15
出版 2014
書本目錄: ... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...
獲取全文
電子 電子書
16
出版 2013
書本目錄: ... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...
獲取全文
電子 電子書
17
出版 2008
書本目錄: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
獲取全文
電子 電子書
18
出版 2010
書本目錄: ...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...
獲取全文
電子 電子書
19
出版 2007
書本目錄: ...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...
獲取全文
電子 電子書
20
出版 2010
書本目錄: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
獲取全文
電子 電子書