skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
A Formal Proof of Dickson’s Lemma in ACL2
A Formal Proof of Dickson’s Lemma in ACL2
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Formal Proof of Dickson’s Lemma in ACL2

Martın-Mateos, F. J. ; Alonso, J. A. ; Hidalgo, M. J. ; Ruiz-Reina, J. L.

Lecture notes in computer science, 2003, p.49-58 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
12
A logical approach to multidimensional databases
A logical approach to multidimensional databases
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A logical approach to multidimensional databases

Cabibbo, Luca ; Torlone, Riccardo

Advances in Database Technology — EDBT'98, 1998, Vol.1377, p.183-197 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
13
Chapter 5 Calcretes
Chapter 5 Calcretes
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Chapter 5 Calcretes

Alonso-Zarza, A.M. ; Wright, V.P.

Developments in Sedimentology, 2010, Vol.61, p.225-267 [Periódico revisado por pares]

Elsevier Science & Technology

Texto completo disponível

Citações Citado por
14
a Control System For Robots and Wheelchairs : Its Application For People With Severe Motor Disability
a Control System For Robots and Wheelchairs : Its Application For People With Severe Motor Disability
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

a Control System For Robots and Wheelchairs : Its Application For People With Severe Motor Disability

Alonso, Alonso A

IntechOpen 2011

Texto completo disponível

Citações Citado por
15
About the exclusive mesoporous character of MCM-41
About the exclusive mesoporous character of MCM-41
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

About the exclusive mesoporous character of MCM-41

Rodríguez-Reinoso, F ; McEnaney, B ; Rouquerol, Jean ; Unger, K. K

Characterization of Porous Solids VI, 2002, Vol.144, p.83-90 [Periódico revisado por pares]

The Netherlands: Elsevier Science & Technology

Texto completo disponível

Citações Citado por
16
Practical NLP-Based Text Indexing
Practical NLP-Based Text Indexing
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Practical NLP-Based Text Indexing

Vilares, Jésus ; Mario Barcala, F. ; Alonso, Miguel A. ; Graña, Jorge ; Vilares, Manuel

Advances in Artificial Intelligence — IBERAMIA 2002, 2002, p.635-644 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
17
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers

Martín-Mateos, F. J. ; Alonso, J. A. ; Hidalgo, M. J. ; Ruiz-Reina, J. L.

Lecture notes in computer science, 2003, p.182-198 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
18
Continental Carbonates – Preservation of Natural and Historic Heritage Sites
Continental Carbonates – Preservation of Natural and Historic Heritage Sites
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Continental Carbonates – Preservation of Natural and Historic Heritage Sites

Alonso-Zarza, A. M ; Tanner, Lawrence H ; Alonso-Zarza, A M ; Tanner, Lawrence H

Carbonates in Continental Settings, 2010, Vol.62, p.297-311 [Periódico revisado por pares]

The Netherlands: Elsevier

Texto completo disponível

Citações Citado por
19
Magnetic Properties of Atomic Clusters of the Transition Elements
Magnetic Properties of Atomic Clusters of the Transition Elements
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Magnetic Properties of Atomic Clusters of the Transition Elements

Alonso, Julio A Cundari, Thomas R ; Lipkowitz, Kenny B

Reviews in Computational Chemistry, 2007, p.191-248 [Periódico revisado por pares]

Hoboken, NJ, USA: John Wiley & Sons, Inc

Texto completo disponível

Citações Citado por
20
Making Smart Cities "Smarter" through ICT-enabled Citizen Coproduction
Making Smart Cities "Smarter" through ICT-enabled Citizen Coproduction
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Making Smart Cities "Smarter" through ICT-enabled Citizen Coproduction

Rodriguez Müller, Ana Paula Alonso, Juan Carlos

pages:1-21, 2021

Springer, Cham

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (241)

Data de Publicação 

De até
Refinar
  1. Antes de1985  (46)
  2. 1985Até1993  (87)
  3. 1994Até2002  (163)
  4. 2003Até2012  (628)
  5. Após 2012  (1.447)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.712)
  2. Espanhol  (733)
  3. Francês  (54)
  4. Japonês  (13)
  5. Português  (9)
  6. Italiano  (5)
  7. Galego  (5)
  8. Alemão  (3)
  9. Catalão  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.