Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integration computer » international computer, interactive computer
problems constructs » problems constructions, problems construction, problem construction
program problems » programs problems, program problem, programs problem
constructs loops » constructs lists, constructs coders, constructs core
integration computer » international computer, interactive computer
problems constructs » problems constructions, problems construction, problem construction
program problems » programs problems, program problem, programs problem
constructs loops » constructs lists, constructs coders, constructs core
1
Julkaistu 2013
Sisällysluettelo:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2014
Sisällysluettelo:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2014
Sisällysluettelo:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2005
Sisällysluettelo:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2005
Sisällysluettelo:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2007
Sisällysluettelo:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2006
Sisällysluettelo:
“... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...”Hae kokoteksti
Elektroninen
E-kirja