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