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
Assuntos: ...Computers....
Obter o texto integral
Recurso Eletrônico livro eletrônico