在您的搜寻 主题建议
搜索替代词:
functions computational » functions computation, function computation, directions computational
structures functions » structure functions, structure function
programming modeling » programming model, programming models, programming building
modeling methods » modern methods, models methods, counseling methods
methods based » method based, methods case, methods used
1
封面图片
出版 2008
书本目录: “... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2006
书本目录: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2014
书本目录: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
书本目录: “... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2013
书本目录: “... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2008
书本目录: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2007
书本目录: “... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2010
书本目录: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
书本目录: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2008
书本目录: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2008
书本目录: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2008
书本目录: “... Event-Based Fairness Enhanced Systems -- Modelling and Proof of a Tree-Structured File System in Event-B...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2006
书本目录: “... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
书本目录: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2010
主题: “...Programming languages (Electronic computers)....”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2012
书本目录: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2014
书本目录: “...Preface -- 1 Mathematical Modeling for Software-in-the-Loop Prototyping of Automated Manufacturing...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2010
书本目录: “... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2010
书本目录: “... -- A Formal Model of Identity Mixer -- Automatic Structure-Based Code Generation from Coloured Petri...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2010
书本目录: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索