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