1
出版 2013
書本目錄: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
獲取全文
電子 電子書
3
出版 2012
書本目錄: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
獲取全文
電子 電子書
4
出版 2013
書本目錄: ...-operative Black Hole Attack in MANET -- IP Address Management in Virtualized Cloud Environments -- A Fuzzy C...
獲取全文
電子 電子書