1
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...
View full text
Electronic eBook
4
Published 2014
Table of Contents: .... Property in Fuzzy Metric Spaces -- Use of Evolutionary Algorithms to play the game of Checkers: Historical...
View full text
Electronic eBook