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