1
Publicado em 2014
Sumário: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ... -- 2 Basic Computations using a Novel Scalable Pulse-Mode Modules -- 3 Hardware Implementation...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Por Faticoni, Theodore G. 1954-.
Publicado em 2013
Sumário: ...Machine generated contents note: Preface xiii 1 Logic 1 1.1 Formal Logic 1 1.2 Basic Logical...
Livro