Percorrer por editoras 2293

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 97-116 de um total de 314 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
25-Abr-2022A federated machine learning approach to detect international revenue share fraud on the 5G edgeFerreira, Luís; Silva, Leopoldo; Pinho, Diana, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2022Framing program repair as code completionRibeiro, Francisco; Abreu, Rui; Saraiva, JoãoArtigo em ata de conferênciaAcesso aberto
2015Freshman's perceptions in electrical/electronic engineering courses: early findingsLeão, Celina Pinto; Soares, Filomena; Guedes, Anabela, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2019From a desktop application to a web API a code conversion approachBrito, Joao Nuno; Pereira, José LuísArtigo em ata de conferênciaAcesso restrito UMinho
2012From relational ClassSheets to UML+OCLCunha, Jácome Miguel Costa; Fernandes, João Paulo; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2012Full proof cryptography: verifiable compilation of efficient zero-knowledge protocolsAlmeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre, et al.Artigo em ata de conferênciaAcesso aberto
2008'Galculator': functional prototype of a Galois-connection based proof assistantSilva, Paulo F.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2009Galois: a language for proofs using galois connections and fork algebrasSilva, Paulo F.; Visser, Joost; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Jun-2011General properties of staircase and convex dual feasible functionsRietz, Jurgen Endre; Alves, Cláudio; Carvalho, José Valério deArtigoAcesso restrito UMinho
2014Generating attribute grammar-based bidirectional transformations from rewrite rulesFernandes, João Paulo; Wyk, Eric Van; Saraiva, João Alexandre, et al.Artigo em ata de conferênciaAcesso aberto
2005Geographical partition for distributed web crawlingExposto, José; Macedo, Joaquim; Pina, António Manuel Silva, et al.Artigo em ata de conferênciaAcesso aberto
2018Global perspectives on cybersecurity educationParrish, Allen; Santos, Henrique; Pereira, Teresa, et al.Artigo em ata de conferênciaAcesso restrito UMinho
Jul-2018Global perspectives on cybersecurity education for 2030: a case for a meta-disciplineParrish, Allen; Impagliazzo, John; Raj, Rajendra K., et al.Artigo em ata de conferênciaAcesso aberto
2008Gossip-based service coordination for scalability and resilienceCampos, Filipe; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
2023GPT-3-powered type error debugging: investigating the use of large language models for code repairRibeiro, Francisco José Torres; Macedo, José Nuno Castro; Tsushima, Kanae, et al.Artigo em ata de conferênciaAcesso aberto
2019Hands on experiments about water needs in agriculture and their mathematical modelling under climate changeMalheiro, M. Teresa; Pereira, Paulo A.; Pereira, Rui M. S., et al.Artigo em ata de conferênciaAcesso aberto
2014HCI engineering: charting the way towards methods and tools for advanced interactive systemsZiegler, Jürgen; Campos, José C.; Nigay, LaurenceArtigo em ata de conferênciaAcesso aberto
2019Higher-order patterns in replicated data typesLeijnse, Adriaan; Almeida, Paulo Sérgio; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
Mostrar 97-116 de um total de 314 resultados. < anterior   próximo >