|
1.
|
Tradução automática das demonstrações do Prover9 / José Manuel da Costa Duarte
Monografia
Publicação
[Lisboa] : [s.n.], 2011
Descrição
86 f.
Cota: L.S. 47804 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Referência no Repositório Aberto
|
|
2.
|
Técnicas de experimentação estatística : planos factoriais e aplicações / Roberval Monteiro Bezerra de Lima
Monografia
Publicação
Lisboa : [s.n.], 2010
Descrição
VII, 78 f.
Descrição
il., gráficos, quadros
Cota: L.S. 46636 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
3.
|
Técnicas de experimentação estatística : planos factoriais e aplicações / Roverbal Monteiro Bezerra de Lima
Documento eletrónico
Publicação
Lisboa : [s.n.], 2010
Descrição
1 disco ótico (CD-ROM)
Cota: L.C. 907
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
4.
|
Tradução automática das demonstrações do Prover9 / José Manuel da Costa Duarte
Documento eletrónico
Publicação
[Lisboa : s.n.], 2011
Descrição
1 disco ótico (CD-ROM)
Cota: L.C. 1174
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Referência no Repositório Aberto
|
|
5.
|
Introduction to parallel computing / Ananth Grama... [et al.]
Monografia
Publicação
Boston : Pearson, 2003
Descrição
636 p. :
il.
Cota: L.S. 48140 INF
Disponibilidade
Exemplares para empréstimo (1).
|
|
6.
|
Métodos estatísticos em pneumologia : análise de critérios de classificação da obstrução das vias aéreas / Margarida João Ferreira Rocha
Documento eletrónico
Publicação
[Lisboa] : [s.n.], 2010
Descrição
1 disco ótico (CD-ROM)
Cota: L.C. 945
Disponibilidade
Exemplares para consulta (1).
|
|
7.
|
Polimorfismo atómico e o teorema da normalização forte / Maria do Rosário Dinis Inácio
Monografia
Publicação
[Lisboa] : [s.n.], 2014
Descrição
55 f.
Cota: L.S. 48688 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
8.
|
Sistemas computacionais / Vitor Jorge Ramos Rocio
Monografia
Publicação
[S.l.] : [s.n.], 2022
Descrição
36 p.
Cota: L.S. 54377 PA
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Referência no Repositório Aberto
|
|
9.
|
Polimorfismo atómico e o teorema da normalização forte / Maria do Rosário Dinis Inácio
Documento eletrónico
Publicação
[Lisboa] : [s.n.], 2014
Descrição
1 disco ótico (CD-ROM) :
il.
Cota: L.C. 1464
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
10.
|
Métodos estatísticos em pneumologia : análise de critérios de classificação da obstrução das vias aéreas / Margarida João Ferreira Rocha
Monografia
Publicação
[Lisboa] : [s.n.], 2010
Descrição
140 f. :
il., quadros
Cota: L.S. 46789 TMEMC
Disponibilidade
Exemplares para consulta (1).
|
|
11.
|
10º problema de Hilbert para subanéis de Q / António Pedro da Silva Raimundo
Monografia
Publicação
Lisboa : [s.n.], 2014
Descrição
83 p.
Cota: L.S. 49087 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
12.
|
Aplicação de técnicas de aprendizagem supervisionada a dados de comportamento motor / Jailson Almeida Santos Lopes
Monografia
Publicação
Lisboa : [s.n.], 2017
Descrição
127 p. :
il.
Cota: L.S. 52019 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
13.
|
Planeamento de experiências : modelos e desafios dos planos em blocos incompletos / Helga Carina Baptista Martins Correia
Documento eletrónico
Publicação
Lisboa : [s.n.], 2012
Descrição
1disco ótico (CD-ROM)
Cota: L.C. 1159
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
14.
|
Data mining : concepts and techniques / Jiawei Han, Micheline Kamber, Jian Pei
Monografia
Publicação
London : Elsevier, cop. 2012
Descrição
703 p.
Cota: L.S. 47775 INF
Disponibilidade
Exemplares para empréstimo (5).
|
|
15.
|
Educational data mining e learning analytics na melhoria do ensino online / Susana Maria Sousa Martins Leite de Faria
Monografia
Publicação
Lisboa : [s.n.], 2014
Descrição
137 f. :
il.
Cota: L.S. 48808 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
16.
|
10º problema de Hilbert para subanéis de Q / António Pedro da Silva Raimundo
Documento eletrónico
Publicação
Lisboa : [s.n.], 2014
Descrição
1 disco ótico (CD-ROM)
Cota: L.C. 1652
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
17.
|
Educational data mining e learning analytics na melhoria do ensino online / Susana Maria Sousa Martins Leite de Faria
Documento eletrónico
Publicação
Lisboa : [s.n.], 2014
Descrição
1disco ótico (CD-ROM) :
il.
Cota: L.C. 1526
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
18.
|
Planeamento de experiências : modelos e desafios dos planos em blocos incompletos / Helga Carina Baptista Martins Correia
Monografia
Publicação
Lisboa : [s.n.], 2012
Descrição
120 f.
Cota: L.S. 47759 TMEMC
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
19.
|
Aplicação de técnicas de aprendizagem supervisionada a dados de comportamento motor / Jailson Almeida Santos Lopes
Documento eletrónico
Publicação
Lisboa : [s.n.], 2017
Descrição
1 disco ótico (CD-ROM) :
il.
Cota: L.C. 1944
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Acesso no Repositório Aberto
|
|
20.
|
My home : computação ubíqua em residências recorrendo a soluções de baixo custo / Lara Cristina Cerqueira Mendes Campos
Documento eletrónico
Publicação
Lisboa : [s.n.], 2015
Descrição
1 disco ótico (CD-ROM) :
il.
Cota: L.C. 1648
Disponibilidade
Exemplares para consulta (1).
Acesso virtual
Referência no Repositório Aberto
|