1
Publicado em 2008
Sumário: ... to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2006
Sumário: ...”? Applying formal verification methods and real-time rule-based systems to control systems and robotics...
Obter o texto integral
Recurso Eletrônico livro eletrônico