1
Publicado 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Ligazón do recurso
Electrónico eBook
3
Publicado 2012
Table of Contents: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Ligazón do recurso
Electrónico eBook
4
Publicado 2013
Table of Contents: ...-operative Black Hole Attack in MANET -- IP Address Management in Virtualized Cloud Environments -- A Fuzzy C...
Ligazón do recurso
Electrónico eBook