1
Izdano 2005
Kazalo: ... -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant...
Polni tekst
Elektronski eKnjiga
2
Izdano 2013
Kazalo: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
Polni tekst
Elektronski eKnjiga
3
Izdano 2007
Kazalo: ... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...
Polni tekst
Elektronski eKnjiga
4
Izdano 2010
Kazalo: ... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...
Polni tekst
Elektronski eKnjiga
5
Izdano 2006
Kazalo: ... Interval Job Distribution -- Average Schedule Length and Resource Selection Policies on Computational Grids...
Polni tekst
Elektronski eKnjiga
6
Izdano 2014
Kazalo: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Polni tekst
Elektronski eKnjiga
7
Izdano 2012
Kazalo: ... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...
Polni tekst
Elektronski eKnjiga