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