1
出版 2006
书本目录: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
获取全文
电子 电子书
2
出版 2007
书本目录: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
获取全文
电子 电子书
3
出版 2008
书本目录: ... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....
获取全文
电子 电子书
4
书本目录: ...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...
获取全文
电子 电子书
5
出版 2010
书本目录: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
获取全文
电子 电子书
6
出版 2007
书本目录: ... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...
获取全文
电子 电子书
7
出版 2008
书本目录: ...Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures...
获取全文
电子 电子书
8
出版 2015
书本目录: ... Preprocessing Method Used in Data Compression -- Modeling a Nano Cylindrical MOSFET Considering Parabolic...
获取全文
电子 电子书
9
出版 2010
书本目录: ... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...
获取全文
电子 电子书
10
11
出版 2014
书本目录: ... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...
获取全文
电子 电子书
12
出版 2013
书本目录: ... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...
获取全文
电子 电子书
13
出版 2015
书本目录: ...Introduction to Structural Bioinformatics -- Modeling and Structure Determination -- The Structure...
获取全文
电子 电子书
14
Shoaei, Mohammad Dalili
出版 2014
... interfacial modeling in the soil-foundation-framed structure system, the analyzed model should...
获取全文
Thesis
15
出版 2007
书本目录: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
获取全文
电子 电子书
16
书本目录: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
获取全文
电子 电子书
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...
获取全文
电子 电子书