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