1
Publicado em 2013
Sumário: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2012
Sumário: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... Mining Using Materialized Data Mining Views -- Outlier Effects on Databases -- Finding Maximal Similar...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2013
Sumário: ... Network Structure Learning -- Multiobjective Evolutionary Strategy for Finding Neighbourhoods of Pareto...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2013
Sumário: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ..., an ACO Algorithm for Solving the Four-Criteria Military Path-finding Problem -- Searching Ground States...
Obter o texto integral
Recurso Electrónico livro electrónico