1
Published 2015
Table of Contents: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... programming model for genome rearrangement problems -- Statistical integration of p-values for enhancing...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Problem-Based Approach -- Verifying Parallel Programs with MPI-Spin -- Advanced MPI Programming...
View full text
Electronic eBook