在您的搜寻 主题建议
搜索替代词:
functions computational » functions computation, function computation, directions computational
structures functions » structure functions, structure function
programming coding » programming coping, programming encoding, programming modeling
coding method » coding methods, encoding method, coating method
1
封面图片
出版 2006
书本目录: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2014
书本目录: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2008
书本目录: “... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2008
书本目录: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2007
书本目录: “... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2008
书本目录: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2008
书本目录: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2013
书本目录: “... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2010
书本目录: “... Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2010
主题: “...Programming languages (Electronic computers)....”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2012
书本目录: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2006
书本目录: “... for the Extendability of Ternary Linear Codes -- On the Design of Codes for DNA Computing -- Open Problems Related...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2008
书本目录: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2010
书本目录: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2010
书本目录: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2007
书本目录: “... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2014
书本目录: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2015
书本目录: “... -- The Functional Analysis of Biological Macromolecules -- The Structure-Based Drug Design....”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
书本目录: “... -- Basic Concepts of Finite Element Methods -- An Overview of Meshless Methods -- Procedures of Meshless...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2010
书本目录: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索