skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover assunto: Theoretical Computing remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)
TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)

Aagaard, Mark ; Harrison, John

Lecture notes in computer science, 2000 [Periódico revisado por pares]

Berlin: Springer

Sem texto completo

Citações Citado por
2
Out-of-Order Event Processing in Kinetic Data Structures
Out-of-Order Event Processing in Kinetic Data Structures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Out-of-Order Event Processing in Kinetic Data Structures

Abam, Mohammad Ali ; Agarwal, Pankaj K. ; de Berg, Mark ; Yu, Hai

Algorithms – ESA 2006, 2006, p.624-635 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Identity-Based Encryption Gone Wild
Identity-Based Encryption Gone Wild
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Identity-Based Encryption Gone Wild

Abdalla, Michel ; Catalano, Dario ; Dent, Alexander W. ; Malone-Lee, John ; Neven, Gregory ; Smart, Nigel P.

Automata, Languages and Programming, 2006, Vol.4052, p.300-311 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Empirical comparison of competing query learning methods
Empirical comparison of competing query learning methods
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Empirical comparison of competing query learning methods

ABE, N ; MAMITSUKA, H ; NAKAMURA, A

Lecture notes in computer science, 1998, p.387-388 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
Answering queries using materialized views with disjunctions
Answering queries using materialized views with disjunctions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Answering queries using materialized views with disjunctions

AFRATI, F. N ; GERGATSOULIS, M ; KAVALIEROS, T

Lecture notes in computer science, 1999, p.435-452 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
6
Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons
Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons

Afrati, Foto ; Chirkova, Rada ; Gergatsoulis, Manolis ; Pavlaki, Vassia

Advances in Database Technology - EDBT 2006, 2006, p.942-960 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Designing Views to Efficiently Answer Real SQL Queries
Designing Views to Efficiently Answer Real SQL Queries
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Designing Views to Efficiently Answer Real SQL Queries

Afrati, Foto ; Chirkova, Rada ; Gergatsoulis, Manolis ; Pavlaki, Vassia

Abstraction, Reformulation and Approximation, 2005, p.332-346 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
On approximation algorithms for data mining applications
On approximation algorithms for data mining applications
Material Type:
Livro 		Adicionar ao Meu Espaço

On approximation algorithms for data mining applications

AFRATI, Foto N

Lecture notes in computer science, 2006, p.1-29

Berlin: Springer

Sem texto completo

Citações Citado por
9
Dynamic Connectivity for Axis-Parallel Rectangles
Dynamic Connectivity for Axis-Parallel Rectangles
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dynamic Connectivity for Axis-Parallel Rectangles

Afshani, Peyman ; Chan, Timothy M.

Algorithms – ESA 2006, 2006, p.16-27 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
10
Experiments and Hardware Countermeasures on Power Analysis Attacks
Experiments and Hardware Countermeasures on Power Analysis Attacks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Experiments and Hardware Countermeasures on Power Analysis Attacks

Ahn, ManKi ; Lee, HoonJae

Computational Science and Its Applications - ICCSA 2006, 2006, p.48-53 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (538)
  2. Revistas revisadas por pares (1.336)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (941)
  2. Book Chapters  (327)
  3. Artigos  (68)
  4. Livros  (15)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (2)
  2. 1997Até1998  (98)
  3. 1999Até2000  (149)
  4. 2001Até2003  (246)
  5. Após 2003  (886)
  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.