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