|
|
|
|
1. |
Fundamentos matemáticos da concorrência /
by Costa, José Félix Gomes da
Publication:
Lisboa : Instituto Superior Técnico, 1991
Date:1991
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
2. |
Teoria algébrica dos processos animados /
by Costa, José Félix Gomes
Publication:
Lisboa : UTL, Instituto Superior Técnico, 1989
Date:1989
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
3. |
Origens da revolução astronómica /
by Costa, José Félix Gomes da
Publication:
Ponta Delgada : Universidade dos Açores, 1985
Date:1985
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
4. |
Cálculo de actividades e transacções
by Costa, José Félix Gomes de
Publication:
. p. 275-292
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
5. |
The general purpose analog computer and recursive functions over the reals /
by Graça, Daniel da Silva
Publication:
Lisboa : Instituto Superior Técnico, 2002
Date:2002
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
6. |
Teoria algébrica dos processos animados /
by Costa, José Felix Gomes da
Publication:
Lisboa : IST, 1990
Date:1990
Availability:
No items available:
Withdrawn (1),
Actions:
|
No cover image available
|
|
|
7. |
Fundamentos mataméticos da concorrencia
by Costa, José Félix Gomes da
Publication:
Lisboa : IST, 1992
Date:1992
Availability:
No items available:
Withdrawn (1),
Actions:
|
No cover image available
|
|
|
8. |
Physics, computation and definability /
by Barreto, Bruno Serra Loff
Publication:
Lisboa: UTL, Instituto Superior Técnico, 2007
. XVIII, 148 p. ;
, Curriculum Vitae
30 cm
Date:2007
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
9. |
Relativizations of P = NP and P✹ NP in ARNN model /
by Leong, Raimundo Coelho
Publication:
Lisboa : UTL, Instituto Superior Técnico, 2010
. IX, 67 p. :
Date:2010
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
10. |
Complexity with costing and stochastic oracles
by Poças, Diogo Miguel Ferreira
Publication:
Lisboa UL. Instituto Superior Técnico 2013
. xvi, 98 p.
30 cm
Date:2013
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
11. |
Identifying empirical laws
by Lobão, Martim Maria Mathias Cortez de
Publication:
[S.l.] [s.n.] 2016
, Título retirado da primeira página
Date:2016
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
12. |
Theory of two-sided experiments
by Ambaram, Tânia Filipa Nascimento
Publication:
[S.l.] [s.n.] 2014
, Título retirado da primeira página
Date:2014
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
13. |
Space bounded scatter machines
by Alírio, João Alves
Publication:
[S.l.] [s.n.] 2017
, Título retirado da primeira página
Date:2017
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
14. |
The power of unreliability in analogue-digital computation
by Brito, Vasco Boavida de
Publication:
[S.l.] [s.n.] 2017
, Título retirado da primeira página
Date:2017
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
15. |
BPP// log*
by Rodrigues, Pedro Cortez
Publication:
[S.l.] [s.n.] 2015
, Título retirado da primeira página
Date:2015
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
16. |
Previsão do impacto da exploração de gás de xisto no mix nacional de produção de eletricidade
by Pinheiro, Gonçalo Maria Conceição
Publication:
[S.l.] [s.n.] 2015
, Título retirado da primeira página
Date:2015
Availability:
No items available:
Actions:
|
No cover image available
|
|
|
17. |
Matemática discreta
by Costa, José Félix
Publication:
Lisboa IST Press 2019
. xiii, 708 p.
, Oferta da IST Press à Biblioteca Central do IST
24 cm
Date:2019
Availability:
Copies available:
IST - Biblioteca do Complexo
(1),
IST - Biblioteca do Complexo
(1),
IST - Biblioteca do Tagus Park
(1),
Checked out (7),
Actions:
|
|
