Type

Data source

Date

Thumbnail

Search results

You search for caracterizaã§ã£o and 41,440 records were found.

Descrição baseada em: Ano 131, nº 102 (13 Abr. 1999)
Tese de doutoramento em Engenharia Informática, Universidade de Aveiro, 2005
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Descrição baseada em: Ano 75, nº 10 (Maio 2010)
Proveniente de: ESTCB.LOTTSIG
Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.