1
Julkaistu 2015
Sisällysluettelo: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Sisällysluettelo: ... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2013
Sisällysluettelo: ... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...
Hae kokoteksti
Elektroninen E-kirja