Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 535 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2017Data exchange format requirements and analysis collaboration in PCB designAbrantes, Rui; Silva, Antonio M.P.; Varajão, João; Magalhães, Luís Gonzaga Mendes; Ribeiro, Pedro; Freitas, Luis CesarArtigo em ata de conferênciaAcesso restrito UMinho
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira, VitorArtigo em ata de conferênciaAcesso aberto
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
2016Success management as a PM knowledge area – work-in-progressVarajão, JoãoArtigo em ata de conferênciaAcesso aberto
1-Fev-2017Bidirectional Transformations (Bx 2015) Special Section: EditorialCunha, Alcino; Kindler, EkkartEditorial em revistaAcesso aberto
17-Jul-2016Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report]Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso aberto
1-Jan-2016The use of the SCRUM methodology for a more effective an efficient design of costing systems: an application to the imaging service in a hospitalJiménez, Victor; Afonso, Paulo; Pajares, Javier; Duarte, CarlaArtigo em ata de conferênciaAcesso restrito UMinho
Jan-2014SABS : Spark ABStraction - A TutorialMiraldo, Victor CacciariRelatórioAcesso aberto
3-Out-2014Uma arquitetura moderna de dados: um caso de testeMartins, César Silva; Simões, Paulo; Sá, Jorge Vaz de Oliveira eArtigo em ata de conferênciaAcesso aberto
2014Open source debuggers and integration with a 3D engineLiu, Andre Alexandre Wang; Fernandes, António RamiresArtigo em ata de conferênciaAcesso aberto