Wyniki wyszukiwania dla: André Carvalho
Lecture Notes in Computer Science > Genetic and Evolutionary Computation — GECCO 2003 > Evolution Strategies/Evolutionary Programming — Posters > 634-635
Lecture Notes in Computer Science > Genetic and Evolutionary Computation – GECCO 2004 > Evolution Strategies/Evolutionary Programming > 678-687
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 191-205