Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
computation implementation » computational implementation, population implementation, formulation implementation
techniques deciding » techniques defining, techniques recording, techniques designing
deciding between » decisions between, reading between, decision between
between based » between basic, between basal, between band
computation implementation » computational implementation, population implementation, formulation implementation
techniques deciding » techniques defining, techniques recording, techniques designing
deciding between » decisions between, reading between, decision between
between based » between basic, between basal, between band
1
Publicado em 2008
Sumário:
“... Between DNA Sequences -- Novel Techniques for DNA Computing in vitro -- Heuristic Solution to a 10-City...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2006
Sumário:
“...Invited Papers -- Non-black-box Techniques in Cryptography -- Complexity of Polynomial...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2010
Sumário:
“...Motivation -- Fundamentals of Agile Distributed Software Development -- Transition -- Implementing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2010
Sumário:
“...: Judgement Day -- Invited Talk -- Logic between Expressivity and Complexity -- Verification -- Multi-Prover...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2008
Sumário:
“... Problem for Discounted Games -- Implementing Spi Calculus Using Nominal Techniques -- An Enhanced Theory...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2005
Sumário:
“...-linear Robust Discrete Time Hybrid Systems -- Computation Platform for Automatic Analysis of Embedded...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2013
Sumário:
“... -- Decidability and implementation of parameterized logic programs -- Non-monotonic Temporal Goals...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2010
Sumário:
“... Processes -- BPM in Practice: Who Is Doing What? -- Correctness -- How to Implement a Theory of Correctness...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2005
Sumário:
“... -- Constructing Complex Semantic Mappings Between XML Data and Ontologies -- Stable Model Theory for Extended RDF...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2007
Sumário:
“... -- Integration of Learning and Reasoning Techniques -- Injecting Life with Computers -- Special Issue Extended...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2014
Sumário:
“...) -- Tree Automata with Height Constraints between Brothers -- A Coinductive Confluence Proof for Infinitary...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12