1
Argitaratua 2006
Aurkibidea: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2013
Aurkibidea: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2006
Aurkibidea: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2005
Aurkibidea: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2015
Aurkibidea: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2006
Aurkibidea: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2010
Aurkibidea: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2010
Aurkibidea: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2014
Aurkibidea: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2012
Aurkibidea: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2010
Aurkibidea: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2013
Aurkibidea: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2005
Aurkibidea: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2013
Aurkibidea: ... Multicast Routing -- A New Improved Knowledge Based Cultural Algorithm for Reactive Power Planning -- BFO...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2015
Aurkibidea: ... Theory -- Wind Farm Reactive Power Compensation Capacity Configuration -- Direction of Arrival Estimation...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2015
Aurkibidea: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
Testu osoa
Baliabide elektronikoa eBook