1
Izdano 2007
Kazalo: ... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Polni tekst
Elektronski eKnjiga
3
Izdano 2006
Kazalo: ... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...
Polni tekst
Elektronski eKnjiga
4
Izdano 2008
Kazalo: ... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...
Polni tekst
Elektronski eKnjiga
5
Izdano 2010
Kazalo: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Polni tekst
Elektronski eKnjiga
6
Izdano 2015
Kazalo: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Polni tekst
Elektronski eKnjiga
7
Izdano 2014
Kazalo: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
Polni tekst
Elektronski eKnjiga
8
Kazalo: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Polni tekst
Elektronski eKnjiga
9
Kazalo: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Polni tekst
Elektronski eKnjiga
10
Kazalo: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Polni tekst
Elektronski eKnjiga
11
Izdano 2010
Kazalo: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Polni tekst
Elektronski eKnjiga
12
Izdano 2013
Kazalo: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Polni tekst
Elektronski eKnjiga
13
Izdano 2007
Kazalo: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Polni tekst
Elektronski eKnjiga
14
Teme: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Polni tekst
Elektronski eKnjiga
15
Kazalo: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Polni tekst
Elektronski eKnjiga
16
Izdano 2010
Kazalo: ... to Fuzzy Random Variables -- Correlation of Intuitionistic Fuzzy Sets -- A Correlation Ratio...
Polni tekst
Elektronski eKnjiga
17
Izdano 2005
Kazalo: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Polni tekst
Elektronski eKnjiga
18
Izdano 2010
Kazalo: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
Polni tekst
Elektronski eKnjiga
19
Izdano 2013
Kazalo: ... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...
Polni tekst
Elektronski eKnjiga
20
Izdano 2010
Kazalo: ... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...
Polni tekst
Elektronski eKnjiga