Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
problems context » problem context, problems contact, problems concepts
context a » context _
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
problems context » problem context, problems contact, problems concepts
context a » context _
1
Sommario:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
Testo
Testo
Elettronico
eBook
2
Pubblicazione 2008
Sommario:
“... to Computing Robust Minimum Cuts -- A Hybrid Approach for Solving Shift-Selection and Task-Sequencing Problems...”Testo
Elettronico
eBook
3
Pubblicazione 2006
Sommario:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Testo
Elettronico
eBook
4
Pubblicazione 2015
Sommario:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Testo
Elettronico
eBook
5
Pubblicazione 2008
Sommario:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”Testo
Elettronico
eBook
6
Pubblicazione 2005
Sommario:
“... Efficient Verification for a Class of Infinite-State Systems -- Context-Bounded Model Checking of Concurrent...”Testo
Elettronico
eBook
7
Pubblicazione 2010
Sommario:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”Testo
Elettronico
eBook
8
di Muhammad Zain, Zuhaira
Pubblicazione 2012
Soggetti:
“...Blogs - Computer programs...”Pubblicazione 2012
Testo
Thesis
9
Pubblicazione 2008
Sommario:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Testo
Elettronico
eBook
10
Pubblicazione 2006
Sommario:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Testo
Elettronico
eBook
11
Pubblicazione 2007
Sommario:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Testo
Elettronico
eBook
12
Pubblicazione 2006
Sommario:
“... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”Testo
Elettronico
eBook
13
Pubblicazione 2008
Sommario:
“... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...”Testo
Elettronico
eBook
14
Sommario:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
Testo
Testo
Elettronico
eBook
15
Pubblicazione 2007
Sommario:
“... Computational Classes over the Reals -- A Survey of Infinite Time Turing Machines -- The Tiling Problem...”Testo
Elettronico
eBook
16
Pubblicazione 2010
Sommario:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Testo
Elettronico
eBook
17
Pubblicazione 2005
Sommario:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Testo
Elettronico
eBook
18
Pubblicazione 2008
Sommario:
“... of Japanese Word Associations -- Construction of a Probabilistic Hierarchical Structure Based on a Japanese...”Testo
Elettronico
eBook
19
Pubblicazione 2013
Sommario:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Testo
Elettronico
eBook
20
Pubblicazione 2006
Sommario:
“... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...”Testo
Elettronico
eBook