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 303-314 de um total de 314 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
23-Out-2022Verification of railway network models with EVERESTMartins, João; Fonseca, José M.; Costa, Rafael, et al.Artigo em ata de conferênciaAcesso aberto
Set-2019Virtual customer service: building your chatbotSousa, David N.; Brito, Miguel A.; Argainha, CarlosArtigo em ata de conferênciaAcesso aberto
2014A virtual factory for smart city service integrationCledou, Maria GuillerminaArtigo em ata de conferênciaAcesso aberto
1-Jan-2020A WEB tool for identifying and monitoring technology trendsMoreno, Edward David; Mota, Alan Felix Da; Aragão, Victor Daniel Silva, et al.Artigo em ata de conferênciaAcesso restrito autor
23-Jun-2015Welcome to EICS 2015Ziegler, Jürgen; Nebeling, Michael; Nigay, Laurence, et al.Editorial em ata de conferênciaAcesso aberto
2016Welcome to EICS 2016Luyten, Kris; Palanque, Philippe; Campos, José C., et al.Editorial em ata de conferênciaAcesso aberto
2017Welcome to the First Issue of PACMHCI EICSCalvary, Gaelle; Nichols, Jeffrey; Campos, José C., et al.Editorial em revistaAcesso restrito UMinho
Abr-2016Why logical clocks are easyBaquero, Carlos; Preguiça, NunoArtigoAcesso aberto
2014Workload-aware table splitting for NoSQLCruz, Francisco; Oliveira, Rui Carlos Mendes de; Maia, Francisco, et al.Artigo em ata de conferênciaAcesso aberto
2008WS-Gossip: middleware for scalable service coordinationCampos, Filipe; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
2002XCSL tutorialJacinto, Marta Henriques; Librelotto, Giovani Rubert; Ramalho, José Carlos, et al.ArtigoAcesso aberto
Mostrar 303-314 de um total de 314 resultados. < anterior