Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
problems context » problem context, problems contact, problems concepts
context a » context _
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
problems context » problem context, problems contact, problems concepts
context a » context _
1
Sumário:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2008
Sumário:
“... to Computing Robust Minimum Cuts -- A Hybrid Approach for Solving Shift-Selection and Task-Sequencing Problems...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2006
Sumário:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2015
Sumário:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2008
Sumário:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2005
Sumário:
“... Efficient Verification for a Class of Infinite-State Systems -- Context-Bounded Model Checking of Concurrent...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2010
Sumário:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
por Muhammad Zain, Zuhaira
Publicado em 2012
Assuntos:
“...Blogs - Computer programs...”Publicado em 2012
Obter o texto integral
Tese
9
Publicado em 2008
Sumário:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2006
Sumário:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2007
Sumário:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2006
Sumário:
“... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Sumário:
“... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2008
Sumário:
“... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Sumário:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2007
Sumário:
“... Computational Classes over the Reals -- A Survey of Infinite Time Turing Machines -- The Tiling Problem...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2010
Sumário:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2005
Sumário:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2008
Sumário:
“... of Japanese Word Associations -- Construction of a Probabilistic Hierarchical Structure Based on a Japanese...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2013
Sumário:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obter o texto integral
Recurso Eletrônico
livro eletrônico