Yazar
Hinze, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Complexity of P Systems - And Why They Matter -- A Brute-Force Solution to the 27-Queens Puzzle Using a
Yazar
Ross, Hans-Leo. author.
Format:
Electronic Resources
Alıntı:
. To address the growing complexity of vehicle functions, as well as the increasing need to accommodate
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring with
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Dynamic Partial Order Reduction under the Release-Acquire Semantics -- On the Complexity of
Yazar
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054
Format:
Electronic Resources
Alıntı:
Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
answering with Ontologies and DBoxes -- Checking the Data Complexity of Ontology-Mediated Queries: a Case
Yazar
Boldyreva, Alexandra. editor.
Format:
Electronic Resources
Alıntı:
communication complexity; symmetric cryptanalysis; (post) quantum cryptography; leakage resilience; memory hard
Yazar
Boldyreva, Alexandra. editor.
Format:
Electronic Resources
Alıntı:
communication complexity; symmetric cryptanalysis; (post) quantum cryptography; leakage resilience; memory hard
Yazar
Boldyreva, Alexandra. editor.
Format:
Electronic Resources
Alıntı:
MPC Communication Complexity -- The Communication Complexity of Threshold Private Set Intersection
Yazar
Clarke, Edmund M. editor.
Format:
Electronic Resources
Alıntı:
complexity of digital systems grow, and they must work in the presence of uncertainty in the physical world
Yazar
Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145
Format:
Electronic Resources
Alıntı:
play a game -- Teaching Programming and Algorithmic Complexity with Tangible Machines -- A Diagnostic
Arama Sonuçlarını Sınırlandır
Daraltılmış: