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