1
Udgivet 2013
Indholdsfortegnelse: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Få fuldtekst
Electronisk eBog
3
Udgivet 2012
Indholdsfortegnelse: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Få fuldtekst
Electronisk eBog
4
Udgivet 2013
Indholdsfortegnelse: ...-operative Black Hole Attack in MANET -- IP Address Management in Virtualized Cloud Environments -- A Fuzzy C...
Få fuldtekst
Electronisk eBog