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
出版 2014
书本目录: ... Functionalities of Clojure -- Using a Cluster for Efficient Scalability Evaluation of Multithreaded and Event...
获取全文
电子 电子书
4
出版 2010
书本目录: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
获取全文
电子 电子书
5
出版 2005
书本目录: ... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...
获取全文
电子 电子书
6
出版 2014
书本目录: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
获取全文
电子 电子书
7
出版 2012
书本目录: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
获取全文
电子 电子书
8
出版 2010
书本目录: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
获取全文
电子 电子书
9
出版 2010
书本目录: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
获取全文
电子 电子书
10
出版 2010
书本目录: ... -- Macro Cell Placement: Based on a Force Directed Flow -- Surface Roughness Scattering in MOS Structures...
获取全文
电子 电子书
11
出版 2007
书本目录: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
获取全文
电子 电子书
12
出版 2012
书本目录: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
获取全文
电子 电子书
13
出版 2008
书本目录: ... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...
获取全文
电子 电子书
14
出版 2015
书本目录: ... Test Cases Minimization for Object Oriented Programs....
获取全文
电子 电子书
15
出版 2007
书本目录: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
获取全文
电子 电子书
16
出版 2007
书本目录: ... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...
获取全文
电子 电子书
17
出版 2015
书本目录: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
获取全文
电子 电子书
18
出版 2014
书本目录: ... Structures Using Bio-inspired Methods -- Applying Metamodels and Sequential Sampling for Constrained...
获取全文
电子 电子书
19
出版 2006
书本目录: ...Summarization -- Modeling and Evaluating Summaries Using Complex Networks -- SABio: An Automatic...
获取全文
电子 电子书
20
出版 2006
书本目录: ... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...
获取全文
电子 电子书