1
Gepubliceerd in 2010
Inhoudsopgave: ... Petri Nets -- Recursive Timed Automata -- Probabilistic Contracts for Component-Based Design -- Tool...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2008
Inhoudsopgave: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ... Computation -- Improving Efficiency of a Genetic Algorithm Applied to Multi-robot Tactic Operation -- VarMOPSO...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2015
Inhoudsopgave: ... Reliability Analysis Considering the Fault Detection Trends for Big Data on Cloud Computing; Yoshinobu Tamura...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2005
Inhoudsopgave: ... Programming -- A Dynamic Migration Model for Self-adaptive Genetic Algorithms -- Financial Engineering -- A...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2013
Inhoudsopgave: ... using Cartesian Genetic Programming of Artificial Neural Networks -- Inferring Context from Users...
Volledige tekst
Elektronisch E-boek