1
Publicat 2014
Taula de continguts: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
8
Publicat 2012
Taula de continguts: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...
Obtenir text complet
Electrònic eBook
13
per Barker, Philip., Barker, Philip.
Publicat 2007
Taula de continguts: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Obtenir text complet
Electrònic eBook
14
Publicat 2014
Taula de continguts: ... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...
Obtenir text complet
Electrònic eBook
15
Publicat 2013
Taula de continguts: ... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ... -- Program Verification -- Verification of Equivalent-Results Methods -- Semi-persistent Data Structures -- A...
Obtenir text complet
Electrònic eBook
17
Publicat 2010
Taula de continguts: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
Obtenir text complet
Electrònic eBook
19
Taula de continguts: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
Obtenir text complet
Electrònic eBook
20
Taula de continguts: ...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...
Obtenir text complet
Electrònic eBook