Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Digital Tools for Heritage Preservation and Enhancement: The Integration of Processes and Technologies on 20th Century Buildings in Brazil and IndiaRossato, LucaDigital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, p.567-578 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Property-Driven Fence Insertion Using Reorder Bounded Model CheckingJoshi, Saurabh ; Kroening, DanielFM 2015: Formal Methods, p.291-307 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
GPU-Accelerated Database Systems: Survey and Open ChallengesHameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Catania, Barbara ; Guerrini, Giovanna ; Palpanas, Themis ; Pokorný, Jaroslav ; Vakali, AthenaTransactions on Large-Scale Data- and Knowledge-Centered Systems XV, 2014, Vol.8920, p.1-35 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
A Quasi-polynomial Time Approximation Scheme for Euclidean CVRPTWSong, Liang ; Huang, Hejiao ; Du, HongweiCombinatorial Optimization and Applications, p.66-73 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Using Blue Gene/P and GPUs to Accelerate Computations in the EULAG ModelWyrzykowski, Roman ; Rojek, Krzysztof ; Szustak, ŁukaszLarge-Scale Scientific Computing, p.670-677 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |