Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functional structures » functional structure, functional structural, functional status
programming method » programming methods, programming methodology
https functional » cots functional, cuts functional, dots functional
method https » methods https
functional structures » functional structure, functional structural, functional status
programming method » programming methods, programming methodology
https functional » cots functional, cuts functional, dots functional
method https » methods https
1
Udgivet 2014
Indholdsfortegnelse:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2010
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2012
Indholdsfortegnelse:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2014
Indholdsfortegnelse:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”Få fuldtekst
Electronisk
eBog
15
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods /
Indholdsfortegnelse:
“...Inductive Genetic Programming -- Tree-Like PNN Representations -- Fitness Functions and Landscapes...”Få fuldtekst
Electronisk
eBog
16
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Udgivet 2008
Indholdsfortegnelse:
“... -- Program Verification -- Verification of Equivalent-Results Methods -- Semi-persistent Data Structures -- A...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2015
Indholdsfortegnelse:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”Få fuldtekst
Electronisk
eBog
19
Indholdsfortegnelse:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Indholdsfortegnelse:
“... solution in time –implicit methods -- Newmark´s procedure -- Houbolt´s procedure -- Solution...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog