Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Subjects: ddc:000
-
Source:
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. Cost Analysis of Nondeterministic Probabilistic Programs . IST Austria; 2018.
-
تفاصيل العنوان
Subjects: ddc:000
-
Source:
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. Cost Analysis of Nondeterministic Probabilistic Programs . IST Austria; 2018.
-
تفاصيل العنوان
Subjects: ddc:000
-
Source:
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction . IST Austria; 2016.
-
تفاصيل العنوان
Subjects: ddc:000
-
Source:
Anonymous 1, Anonymous 2, Anonymous 3. Termination and Worst-Case Analysis of Recursive Programs . IST Austria; 2016.
-
تفاصيل العنوان
Subjects: ddc:000
-
Source:
Anonymous 1, Anonymous 2, Anonymous 3. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds . IST Austria; 2016.
-
تفاصيل العنوان
Subjects: ddc:000
-
Source:
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components . IST Austria; 2015.
-
تفاصيل العنوان
Subjects: ddc:000
-
Source:
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Optimal Cost Almost-Sure Reachability in POMDPs . IST Austria; 2014.
-
تفاصيل العنوان
