1
Publicado em 2008
Sumário: ... and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2012
Sumário: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ...-Dependent Transport Networks -- Computing Equilibria in a Fisher Market with Linear Single-Constraint...
Obter o texto integral
Recurso Electrónico livro electrónico