Percorrer por autor Ferreira, João Fernando Subscrever estatísticas do autor Ferreira, João Fernando

Í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 1-10 de um total de 10 resultados.
DataTítuloAutor(es)TipoAcesso
2012Automated verification of the freeRTOS scheduler in HIP/SLEEKFerreira, João Fernando; Guanhua He; Shengchao QinArtigo em ata de conferênciaAcesso aberto
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al.Artigo em ata de conferênciaAcesso aberto
Mai-2006JaSkel: a java skeleton-based framework for structured cluster and grid computingFerreira, João Fernando; Sobral, João Luís Ferreira; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
2011Logic training through algorithmic problem solvingFerreira, João Fernando; Mendes, Alexandra; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2011On Euclid's algorithm and elementary number theoryFerreira, João Fernando; Backhouse, RolandArtigoAcesso aberto
2005Parc#: parallel computing with c# in .netFerreira, João Fernando; Sobral, João Luís FerreiraArtigo em ata de conferênciaAcesso aberto
2014Structure editing of handwritten mathematics: improving the computer support for the calculational methodMendes, Alexandra; Backhouse, Roland; Ferreira, João FernandoArtigo em ata de conferênciaAcesso aberto
2013The algorithmics of solitaire-like gamesBackhouse, Roland; Chen, Wei; Ferreira, João FernandoArtigoAcesso aberto
2014The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricksFerreira, João Fernando; Mendes, AlexandraArtigo em ata de conferênciaAcesso aberto
2009Which mathematics for the Information Society?Ferreira, João Fernando; Mendes, Alexandra; Backhouse, Roland, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 1-10 de um total de 10 resultados.