Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Exponential Lower Bound for Static Semi-algebraic ProofsGrigoriev, Dima ; Hirsch, Edward A. ; Pasechnik, Dmitrii V.Automata, Languages and Programming, p.257-268 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Taking a RaSP to Enterprise Stakeholder DissonanceTaylor, R. ; Tofts, C.2008 12th International IEEE Enterprise Distributed Object Computing Conference, 2008, p.300-306IEEETexto completo disponível |