Percorrer por orientadores 88

Í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 10-21 de um total de 21 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
13-Dez-2011Invariant detection meets Random test case generationVeloso, Tiago AlvesDissertação de mestrado Acesso aberto
16-Out-2012Matrices as arrows: why categories of matrices matterMacedo, Hugo DanielTese de doutoramentoAcesso restrito UMinho
29-Jul-2022On conditional quantum controlCarvalho, Daniel AlmeidaDissertação de mestrado Acesso aberto
16-Nov-2009On the design of a GalculatorSilva, Paulo Filipe Araújo daTese de doutoramentoAcesso aberto
2004pGML - estudo de um subconjunto "preciso" do GML 2.12Henriques, Mário Ricardo de NovaisDissertação de mestrado Acesso restrito UMinho
2021Selective applicative functors & probabilistic programmingSantos, Armando João Isaías Ferreira dosDissertação de mestrado Acesso aberto
26-Jul-2021Towards a quantitative alloySilva, Pedro Faria Durães daDissertação de mestrado Acesso aberto
14-Jun-2023Towards a typed linear algebra formal semantics for spreadsheetsAzevedo, Rui Filipe BritoDissertação de mestrado Acesso aberto
2018Towards an efficient OLAP engine based on linear algebraAfonso, João MiguelDissertação de mestrado Acesso aberto
2018Towards quantum program calculationNeri, Ana Isabel CarvalhoDissertação de mestrado Acesso aberto
5-Ago-2022Using Machine Learning to automatically infer an approximation of a physical systemSilva, Afonso João Borges Cabral Cerejeira daDissertação de mestrado Acesso aberto
26-Jun-2006VooDooM : support for understanding and re-engineering of VDM-SL specificationsAlves, Tiago Miguel LaureanoDissertação de mestrado Acesso aberto
Mostrar 10-21 de um total de 21 resultados. < anterior