1
Publicado em 2007
Sumário: ...Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... Mobile Information and Communication Systems -- A Framework for Building Mapping Operators Resolving...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... for Wavelength Assignment in Multifiber Optical Networks -- The Complexity of Rationalizing Matchings -- A Game...
Obter o texto integral
Recurso Electrónico livro electrónico