1
Publicado em 2014
Sumário: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2013
Sumário: ... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2014
Sumário: .... Property in Fuzzy Metric Spaces -- Use of Evolutionary Algorithms to play the game of Checkers: Historical...
Obter o texto integral
Recurso Eletrônico livro eletrônico