Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer ArithmeticKremer, Gereon ; Corzilius, Florian ; Ábrahám, ErikaComputer Algebra in Scientific Computing, 2016, Vol.9890, p.315-335 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
An overview of the Fortran D programming systemHiranandani, S. ; Kennedy, K. ; Koelbel, C. ; Kremer, U. ; Tseng, C. -W.Languages and Compilers for Parallel Computing, 2005, p.18-34 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |