1
Được phát hành 2013
Mục lục: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
lấy văn bản
Điện tử eBook
2
Được phát hành 2006
Mục lục: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
lấy văn bản
Điện tử eBook
5
Được phát hành 2007
Mục lục: ... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...
lấy văn bản
Điện tử eBook
6
Được phát hành 2008
Mục lục: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
lấy văn bản
Điện tử eBook
7
Được phát hành 2012
Mục lục: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
lấy văn bản
Điện tử eBook
8
Được phát hành 2013
Mục lục: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
lấy văn bản
Điện tử eBook