1
Published 2010
Table of Contents: ... of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems -- Fuzzy Solution...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ... -- A comparison of dataflow and mutation testing of Java methods -- A new three levels context based...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
View full text
Electronic eBook