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 104-123 de um total de 314 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
2023Holistic RISC-V virtualization: CVA6-based SoCSá, Bruno; Marques, Francisco; Rodriguez, Manuel, et al.Artigo em ata de conferênciaAcesso aberto
2017HTAPBench: Hybrid transactional and analytical processing benchmarkCoelho, Fábio; Paulo, João; Vilaça, Ricardo Manuel Pereira, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2014ICT for governance in combating corruption: the case of public e-procurement in PortugalFerreira, Isabel; Cunha, Sandra Raquel Leite; Amaral, Luís, et al.Artigo em ata de conferênciaAcesso aberto
2021Identification of microservices from monolithic applications through topic modellingBrito, Miguel; Cunha, Jácome; Saraiva, JoãoArtigo em ata de conferênciaAcesso aberto
2017Identification of robust strain designs via tandem pFBA/LMOMA phenotype predictionMaia, Paulo; Rocha, Isabel Cristina Santos; Rocha, MiguelArtigo em ata de conferênciaAcesso aberto
Dez-2023Impact of variable transformations on multiple regression models for enhancing gait normalizationFerreira, Flora; Barrios, Jhonathan; Barbosa, Paulo, et al.Artigo em ata de conferênciaAcesso aberto
2018Impacts of human mobility in mobile data offloadingLima, Emanuel Ribeiro; Aguiar, Ana Cristina Costa; Carvalho, Paulo, et al.Artigo em ata de conferênciaAcesso restrito UMinho
Mostrar 104-123 de um total de 314 resultados. < anterior   próximo >