1
Publicado em 2007
Sumário: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2007
Sumário: ... Prototyping and Benchmarking of ANNs -- Improvement of ANNs Performance to Generate Fitting Surfaces...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2008
Sumário: ... -- Generating Specialized Rules and Programs for Demand-Driven Analysis -- Non Expansive ?-Bisimulations -- A...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ... Intranet Has Been Evolving in Banking: A Longitudinal Research -- Is the Digital Generation Ready for Web...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... for Generating Nash Stable Coalition Structures in Hedonic Games -- Conjunctive Queries with Constraints...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2010
Sumário: ... Simulation -- An Algorithm for Generating Efficient Outcome Points for Convex Multiobjective Programming...
Obter o texto integral
Recurso Electrónico livro electrónico