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 32-51 de um total de 314 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2011Calculating with lenses: optimising bidirectional transformationsPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
Mai-2011A calculus of multiary sequent termsEspírito Santo, José; Pinto, Luís F.ArtigoAcesso aberto
2023Capturing Qubit decoherence through paraconsistent transition systemsBarbosa, L. S.; Madeira, AlexandreArtigo em ata de conferênciaAcesso aberto
2006Catching web crawlers in the actLourenço, Anália Maria Garcia; Belo, OrlandoArtigo em ata de conferênciaAcesso restrito UMinho
2008Certificateless sIgncryptionBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2013Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Artigo em ata de conferênciaAcesso aberto
2017Characterization of strong normalizability for a sequent lambda calculus with co-controlEspírito Santo, José; Ghilezan, SilviaArtigo em ata de conferênciaAcesso aberto
2013Classifying heart sounds using multiresolution time series motifs : an exploratory studyGomes, Elsa Ferreira; Jorge, Alípio M.; Azevedo, Paulo J.Artigo em ata de conferênciaAcesso aberto
2014Classifying heart sounds using SAX motifs, random forests and text mining techniquesGomes, Elsa Ferreira; Jorge, Alípio M.; Azevedo, Paulo J.Artigo em ata de conferênciaAcesso aberto
Abr-2009Clouder: a flexible large scale decentralized object store - architecture overviewVilaça, Ricardo Manuel Pereira; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2015Clustering-based approach for categorizing pregnant women in obstetrics and maternity carePereira, Sónia; Portela, Filipe; Santos, Manuel Filipe, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2019Combining artificial neural networks and evolution to solve multiobjective knapsack problemsDenysiuk, Roman; Gaspar-Cunha, A.; Delbem, Alexandre C. B.Artigo em ata de conferênciaAcesso aberto
15-Jul-2023Combining evolutionary algorithms with reaction rules towards focused molecular designCorreia, João; Pereira, Vítor; Rocha, MiguelArtigo em ata de conferênciaAcesso aberto
2013Combining static and dynamic analysis for the reverse engineering of web applicationsSilva, Carlos Eduardo; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Abr-2018Communities of practice as a tool to support the GCIO functionSantos, Luís Paulo; Barbosa, Luís Nuno; Bessa, Diogo Aires, et al.Artigo em ata de conferênciaAcesso aberto
23-Abr-2017Compact resettable counters through causal stabilityYounes, Georges; Almeida, Paulo Sérgio; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
Out-2007Compositional gossip: a conceptual architecture for designing gossip-based applicationsRivière, Étienne; Baldoni, Roberto; Li, Harry, et al.Artigo em ata de conferênciaAcesso aberto
Jun-2011Computing performance indicators in detecting shipping collisionSantos, Maribel Yasmina; Wachowicz, MonicaArtigo em ata de conferênciaAcesso restrito UMinho
Jul-1994Concurrency annotations in C++Baquero, Carlos; Moura, FranciscoArtigoAcesso aberto
2014Connecting leadership and knowledge: an information service contributing to the governance in the educational sectorCastro, António; Soares, Delfina de SáArtigo em ata de conferênciaAcesso restrito UMinho
Mostrar 32-51 de um total de 314 resultados. < anterior   próximo >