Two steps towards kairos-awareness [Documento eletrónico] / Bruno Miguel de Lemos Ribeiro Pinto Cardoso
Language: eng.Country: Poland, Polish People's Republic.Publication: Monte de Caparica : B. M. L. R. P. C., 2016Description: 1 CD-ROM ; 12 cmThesis: Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Doutor em Informática..Subject - Topical Name: 4833Online Resources:Click here to access onlineItem type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Teses e dissertações | Biblioteca NOVA FCT Depósito 1 | Não Ficção | QA76.CAR FCT 87737 (Browse shelf(Opens below)) | 1 | Available | 87455 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Depósito 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
QA76.CAR FCT 102413 Semântica para sistemas de produção | QA76.CAR FCT 59567 Técnicas adaptativas para problemas de satisfação de restrições | QA76.CAR FCT 71238 Plugin de CxProlog para o code:: Blocks IDE | QA76.CAR FCT 87737 Two steps towards kairos-awareness | QA76.CAS FCT 70426 Document visualization | QA76.CAS FCT 73533 Gestão de memória em CxProlog | QA76.CED FCT 64480 A pointfree approach to constructive analysis in type theory |
Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Doutor em Informática.
There are no comments on this title.
Log in to your account to post a comment.