1
منشور في 2014
جدول المحتويات: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2006
جدول المحتويات: ... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2006
جدول المحتويات: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2007
جدول المحتويات: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
احصل على النص الكامل
الكتروني كتاب الكتروني