Mostrar resultados 86-105 de 477.
< anterior
próximo >
| Data | Título | Autor(es) | Tipo | Acesso |
| 2009 | Competências TIC. Estudo de Implementação. Vol. II | Costa, Fernando Albuquerque; Rodrigues, Ângela; Peralta, Helena; Ramos, José Luís; Sebastião, Luís; Maio, Vicência; Dias, Paulo; Gomes, Maria João; Osório, António; Ramos, Altina; Valente, Luís; Cruz, Elisabete; Reis, Olga | report |  |
| Mai-2008 | Compiling the $\pi$-calculus into a Multithreaded Typed Assembly Language | Cogumbreiro, Tiago; Martins, Francisco; Vasconcelos, Vasco T. | report | |
| Jul-2002 | Complete Specification of APIs and Protocols for the MAFTIA Middleware | Armstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S. | report | |
| 2009 | Compostos macrocíclicos do tipo dioxo-tia-tetraaza: síntese, estudos termodinâmicos e espectroscópicos | Pereira, Daniel Filipe Viriato | report | |
| Set-2008 | A Computational Grammar for Deep Linguistic Processing of Portuguese: LXGram, version A.4.1 | Branco, António Horta; Costa, Francisco | report | |
| 2011 | Concepções sobre Dificuldades na aprendizagem em estudantes do primeiro ano da Universidade de Lisboa | Novais, Camila | report |  |
| Fev-2003 | Conceptual Model and Architecture of MAFTIA | Adelsbach, A.; Cachin, C.; Creese, S.; Deswarte, Y.; Kursawe, K.; Laprie, J.-C.; Powell, David; Randell, B.; Riodan, J.; Ryan, P.; Simmionds, W.; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Wespi, A. | report | |
| Jul-2002 | Concretização de Protocolos com Fiabilidade Semântica | Carvalho, Nuno; Pereira, José; Rodrigues, Luís | report | |
| Jul-2003 | Concretização de um cenário de carros cooperantes num ambiente móvel sem fios | Sousa, Paulo; Martins, Pedro; Casimiro, António; Veríssimo, Paulo | report | |
| Mar-2005 | Concretização de uma Arquitectura de Suporte à Geração de Cenas Animadas com Agentes Inteligentes | Silvestre, Miguel; Pinto-Albuquerque, Maria; Carmo, Maria Beatriz; Cláudio, Ana Paula; Coelho, Helder | report | |
| Set-2002 | Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos Objectos | Teixeira, Sandra; Vicente, Pedro; Pinto, Alexandre; Miranda, Hugo; Rodrigues, Luís; Martins, Jorge; Silva, Rito | report | |
| Mar-2007 | Congu, Checking Java Classes Against Property-Driven Algebraic Specifications | Abreu, João; Caldeira, Alexandre; Lopes, Antónia; Nunes, Isabel; Reis, Luís S.; Vasconcelos, Vasco T. | report | |
| 2013 | Conhecer para agir: contributos para o Livro Branco da Juventude - relatório síntese das mesas redondas | Vieira, Maria Manuel; Pappámikail, Lia; Ferreira, Vítor Sérgio; Rowland, Jussara | report | |
| Jan-1998 | Connectors for Mobile Programs | Wermelinger, Michel; Fiadeiro, José | report | |
| 12-Mai-2014 | Consistency Anchor Formalization and Correctness Proofs | Miguel, Correia; Bessani, Alysson | report | |
| 2015 | Consumos e Estilos de Vida no Ensino Superior: o caso dos estudantes da ULisboa-2012 | Silva, Pedro Alcântara da; Borrego, Rute; Ferreira, Vítor Sérgio; Lavado, Elsa; Rowland, Jussara; Truninger, Mónica | report | |
| Mar-2005 | Context Adaptation of the Communication Stack | Mocito, José; Rosa, Liliana; Almeida, Nuno; Miranda, Hugo; Rodrigues, Luís; Lopes, Antónia | report | |
| Abr-2004 | Controlling Security Policies in a Distributed Environment | Martins, Francisco; Vasconcelos, Vasco T. | report | |
| 2009 | Controlo remoto de condições ambientais | Valente, Bruno Alexandre Loureiro | report | |
| Mar-1998 | Core-TyCO, The Language Definition, Version 0.1 | Vasconcelos, Vasco T.; Bastos, Rui | report | |
