1
Sumário: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2006
Sumário: ... Semidefinite Programs Arising from Ad Hoc Wireless Sensor Network Localization -- Optimization Algorithms...
Obter o texto integral
Recurso Eletrônico livro eletrônico