skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1589 e.1 ) e outros locais(Acessar)

2
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

International Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

3
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on the Mathematics of Program Construction (2000 Ponte de Lima, Portugal) Roland C Backhouse 1948-; José N Oliveira

Berlin Springer New York c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1837 ) e outros locais(Acessar)

4
The use of machine learning algorithms in recommender systems: A systematic review
The use of machine learning algorithms in recommender systems: A systematic review
Material Type:
Artigo 		Adicionar ao Meu Espaço

The use of machine learning algorithms in recommender systems: A systematic review

Portugal, Ivens ; Alencar, Paulo ; Cowan, Donald

Expert systems with applications, 2018-05, Vol.97, p.205-227 [Periódico revisado por pares]

New York: Elsevier Ltd

Texto completo disponível

Citações Citado por
5
Cross-Language Information Retrieval and Evaluation: Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers
Cross-Language Information Retrieval and Evaluation: Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Cross-Language Information Retrieval and Evaluation: Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers

Peters, Carol Peters, Carol

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
6
On the Randić energy of caterpillar graphs
On the Randić energy of caterpillar graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Randić energy of caterpillar graphs

Cardoso, Domingos M. ; Carvalho, Paula ; Dı́az, Roberto C. ; Rama, Paula

Match (Mülheim), 2022-01, Vol.87 (3), p.729-744 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
Self-Stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings
Self-Stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Self-Stabilizing Systems: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings

Datta, Ajoy K ; Herman, Ted Datta, Ajoy K. ; Herman, Ted

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
8
Distributed multi-robot patrol: A scalable and fault-tolerant framework
Distributed multi-robot patrol: A scalable and fault-tolerant framework
Material Type:
Artigo 		Adicionar ao Meu Espaço

Distributed multi-robot patrol: A scalable and fault-tolerant framework

Portugal, David ; Rocha, Rui P.

Robotics and autonomous systems, 2013-12, Vol.61 (12), p.1572-1587 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Discretization of continuous-time quantum walks via the staggered model with Hamiltonians
Discretization of continuous-time quantum walks via the staggered model with Hamiltonians
Material Type:
Artigo 		Adicionar ao Meu Espaço

Discretization of continuous-time quantum walks via the staggered model with Hamiltonians

Coutinho, Gabriel ; Portugal, Renato

Natural computing, 2019-06, Vol.18 (2), p.403-409 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
10
Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Chicano, 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, Francisco

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (151)
  2. Artigos  (85)
  3. Anais de Congresso  (36)
  4. Book Chapters  (6)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1996  (8)
  2. 1996Até2001  (36)
  3. 2002Até2007  (61)
  4. 2008Até2015  (137)
  5. Após 2015  (75)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.