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 1-20 de um total de 21 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
14-Jun-2012Analysing call graphs for software architecture quality profilingCouto, Luís Diogo Monteiro DuarteDissertação de mestrado Acesso aberto
7-Mai-2012Benchmark-based software product quality evaluationAlves, Tiago Miguel LaureanoTese de doutoramentoAcesso aberto
17-Set-2012Bidirectional data transformation by calculationPacheco, Hugo José PereiraTese de doutoramentoAcesso aberto
9-Jan-2020Exploring rust for embedded and critical systemsPinho, André Brandão deDissertação de mestrado Acesso aberto
12-Fev-2004Formalizing markup languages for user interfaceFerreira, Luís Gonzaga MartinsDissertação de mestrado Acesso aberto
11-Mai-2009Foundations of program refinement by calculationRodrigues, César J.Tese de doutoramentoAcesso aberto
5-Abr-2012From natural language requirements to formal descriptions in Alloy through boilerplatesCadete, Daniel NascimentoDissertação de mestrado Acesso aberto
3-Ago-2023Functional programming for explainable AIEsteves, Gonçalo José AzevedoDissertação de mestrado Acesso aberto
2022Greedy and dynamic programming by calculationPinho, Alexandre MendonçaDissertação de mestrado Acesso aberto
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
Mostrar 1-20 de um total de 21 resultados.  próximo >