1
Julkaistu 2013
Sisällysluettelo: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2012
Sisällysluettelo: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2013
Sisällysluettelo: ...-operative Black Hole Attack in MANET -- IP Address Management in Virtualized Cloud Environments -- A Fuzzy C...
Hae kokoteksti
Elektroninen E-kirja