1
出版 2012
書本目錄: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... -- Macro Cell Placement: Based on a Force Directed Flow -- Surface Roughness Scattering in MOS Structures...
獲取全文
電子 電子書
4
出版 2007
書本目錄: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
獲取全文
電子 電子書
5
出版 2007
書本目錄: ... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...
獲取全文
電子 電子書
6
出版 2010
書本目錄: ... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... and Building Engineering, Montreal 2006 -- Self-aware and Learning Structure -- Capturing and Representing...
獲取全文
電子 電子書
8
出版 2006
書本目錄: ... -- Resources -- Building a Dictionary of Anthroponyms -- REPENTINO – A Wide-Scope Gazetteer for Entity...
獲取全文
電子 電子書
9
出版 2010
書本目錄: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
獲取全文
電子 電子書
10
出版 2005
書本目錄: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
獲取全文
電子 電子書
11
出版 2014
書本目錄: ... -- Functional annotation of proteins by a novel method using weight & feature selection; J. Jung, et al -- Gaze...
獲取全文
電子 電子書
12
出版 2005
書本目錄: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
獲取全文
電子 電子書
13
出版 2006
書本目錄: ... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...
獲取全文
電子 電子書
14
出版 2014
書本目錄: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
獲取全文
電子 電子書
15
出版 2008
書本目錄: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
獲取全文
電子 電子書
16
出版 2008
書本目錄: ... Distributed Environment – Results from Two Controlled Case Studies -- Software Functional Size: For Cost...
獲取全文
電子 電子書
17
書本目錄: ...Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support...
獲取全文
電子 電子書
18
出版 2006
書本目錄: ... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...
獲取全文
電子 電子書
19
出版 2005
書本目錄: ... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...
獲取全文
電子 電子書
20
出版 2005
書本目錄: ... Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic...
獲取全文
電子 電子書