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