1
出版 2013
书本目录: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
获取全文
电子 电子书
2
出版 2006
书本目录: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
获取全文
电子 电子书
3
出版 2005
书本目录: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
获取全文
电子 电子书
4
出版 2010
书本目录: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
获取全文
电子 电子书
5
出版 2007
书本目录: ... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...
获取全文
电子 电子书
6
出版 2008
书本目录: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
获取全文
电子 电子书
7
出版 2012
书本目录: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
获取全文
电子 电子书
8
出版 2013
书本目录: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
获取全文
电子 电子书