1
Vydáno 2010
Obsah: ... Differential Evolution Algorithm for Solving the Terminal Assignment Problem -- Decentralized Evolutionary...
Získat plný text
Elektronický zdroj E-kniha
2
Autor Kozen, Dexter C., Kozen, Dexter C.
Vydáno 2006
Obsah: ... Problem -- The Friedberg-Muchnik Theorem -- The Analytic Hierarchy -- Kleene’s Theorem -- Fair Termination...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2015
Obsah: ... Enumerable Topological Spaces -- Decidability of Termination Problems for Sequential P Systems with Active...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2015
Obsah: ... for Influence Maximization in a Two-Terminal Series -- Parallel Graph and Its Application to a Real Network...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2015
Obsah: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2014
Obsah: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2015
Obsah: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2010
Obsah: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2013
Obsah: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2010
Obsah: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2013
Obsah: ... -- On the Complexity of Shortest Path Problems on Discounted Cost Graphs.- Termination of Rule-Based Calculi...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2006
Obsah: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Získat plný text
Elektronický zdroj E-kniha
13
Autor Raynal, Michel., Raynal, Michel.
Vydáno 2013
Obsah: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2015
Obsah: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2008
Obsah: ... Networks -- Single Straddle Carrier Routing Problem in Port Container Terminals: Mathematical Model...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2006
Obsah: ... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2008
Obsah: ... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2008
Obsah: ... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2005
Obsah: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2005
Obsah: ... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání