1
Publicado em 2011
Sumário: ...Algorithmics -- Improved Approximations for Hard Optimization Problems via Problem Instance...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ... Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal Calculi Via a...
Obter o texto integral
Recurso Electrónico livro electrónico