1
Опубликовано 2013
Оглавление: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2005
Оглавление: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2010
Оглавление: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2007
Оглавление: ... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2008
Оглавление: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2012
Оглавление: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2013
Оглавление: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
Полный текст
Электронный ресурс eКнига