Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computer programming » computer program, computer programs
integrated computer » integration computer, integrated computing, interfaces computer
programming problem » programming problems
problem constructs » problem construction, problem constructive, problem constructing
constructs loops » constructs lists, constructs coders, constructs core
computer programming » computer program, computer programs
integrated computer » integration computer, integrated computing, interfaces computer
programming problem » programming problems
problem constructs » problem construction, problem constructive, problem constructing
constructs loops » constructs lists, constructs coders, constructs core
1
Publicado 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2005
Table of Contents:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2007
Table of Contents:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2006
Table of Contents:
“... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...”Ligazón do recurso
Electrónico
eBook