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