Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computational » functions computation, function computation, directions computational
programming coding » programming coping, programming encoding, programming modeling
coding method » coding methods, encoding method, coating method
functions computational » functions computation, function computation, directions computational
programming coding » programming coping, programming encoding, programming modeling
coding method » coding methods, encoding method, coating method
1
Published 2006
Table of Contents:
“...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
9
Published 2010
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... for the Extendability of Ternary Linear Codes -- On the Design of Codes for DNA Computing -- Open Problems Related...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... -- The Functional Analysis of Biological Macromolecules -- The Structure-Based Drug Design....”View full text
Electronic
eBook
17
Table of Contents:
“... -- Basic Concepts of Finite Element Methods -- An Overview of Meshless Methods -- Procedures of Meshless...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Handling Malicious Code on Control Systems -- Management of Groups and Group Keys in Multi-level Security...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Control of Diversity and Variation Step Size -- Code Growth and Neutral Variations -- Evolution of Program...”
View full text
View full text
Electronic
eBook