Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papersWADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1589 e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedingsInternational Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedingsInternational Conference on the Mathematics of Program Construction (2000 Ponte de Lima, Portugal) Roland C Backhouse 1948-; José N OliveiraBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1837 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo
|
The use of machine learning algorithms in recommender systems: A systematic reviewPortugal, Ivens ; Alencar, Paulo ; Cowan, DonaldExpert systems with applications, 2018-05, Vol.97, p.205-227 [Periódico revisado por pares]New York: Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Livro
|
Self-Stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 ProceedingsDatta, Ajoy K ; Herman, Ted Datta, Ajoy K. ; Herman, TedBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
6 |
Material Type: Livro
|
Cross-Language Information Retrieval and Evaluation: Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised PapersPeters, Carol Peters, CarolBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
7 |
Material Type: Artigo
|
On the Randić energy of caterpillar graphsCardoso, Domingos M. ; Carvalho, Paula ; Dı́az, Roberto C. ; Rama, PaulaMatch (Mülheim), 2022-01, Vol.87 (3), p.729-744 [Periódico revisado por pares]Texto completo disponível |
|
8 |
Material Type: Artigo
|
Distributed multi-robot patrol: A scalable and fault-tolerant frameworkPortugal, David ; Rocha, Rui P.Robotics and autonomous systems, 2013-12, Vol.61 (12), p.1572-1587 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
Discretization of continuous-time quantum walks via the staggered model with HamiltoniansCoutinho, Gabriel ; Portugal, RenatoNatural computing, 2019-06, Vol.18 (2), p.403-409 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
10 |
Material Type: Livro
|
Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 - April 1, 2016, ProceedingsChicano, Francisco ; Hu, Bin ; García-Sánchez, Pablo Chicano, Francisco ; Hu, Bin ; Garc'a-S'nchez, Pablo ; García-Sánchez, Pablo ; Hu, Bin ; Chicano, FranciscoCham: Springer Nature 2016Texto completo disponível |