1
منشور في 2005
جدول المحتويات: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2008
جدول المحتويات: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
جدول المحتويات: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
احصل على النص الكامل
الكتروني كتاب الكتروني
6
جدول المحتويات: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
بواسطة DeWitt-Morette, Cécile., DeWitt-Morette, Cécile.
منشور في 2011
الموضوعات: ...History and Philosophical Foundations of Physics. https://scigraph.springernature.com/ontologies...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2006
جدول المحتويات: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
بواسطة Burgin, Mark., Burgin, Mark.
منشور في 2005
جدول المحتويات: ...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2014
جدول المحتويات: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
بواسطة Kozen, Dexter C., Kozen, Dexter C.
منشور في 2006
جدول المحتويات: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2005
جدول المحتويات: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2015
جدول المحتويات: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2015
جدول المحتويات: ... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2010
جدول المحتويات: ...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2014
جدول المحتويات: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2014
جدول المحتويات: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2012
جدول المحتويات: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2013
جدول المحتويات: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
احصل على النص الكامل
الكتروني كتاب الكتروني