1
Publicado em 2006
Sumário: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2005
Sumário: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Sumário: ... Profile --  2.4.2 Down burst --  2.5 Conclusions --  3 Mission Planning --  3.1 Introduction --  3.2...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2010
Sumário: ...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2005
Sumário: ... on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2013
Sumário: ... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2013
Sumário: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2005
Sumário: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2012
Sumário: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2010
Sumário: ...Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space -- Three Paths...
Obter o texto integral
Recurso Eletrônico livro eletrônico