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 Erlebach, Thomas ; Azar, Yossi

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
Job Scheduling Policy for High Throughput Grid Computing
Job Scheduling Policy for High Throughput Grid Computing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Job Scheduling Policy for High Throughput Grid Computing

Abawajy, J. H. Hobbs, Michael ; Goscinski, Andrzej M. ; Zhou, Wanlei

Distributed and Parallel Computing, 2005, p.184-192 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Increasing the lifetime of a key : A comparative analysis of the security of re-keying techniques
Increasing the lifetime of a key : A comparative analysis of the security of re-keying techniques
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Increasing the lifetime of a key : A comparative analysis of the security of re-keying techniques

ABDALLA, Michel ; BELLARE, Mihir

Lecture notes in computer science, 2000, p.546-559 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
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. Preneel, Bart ; Bugliesi, Michele ; Wegener, Ingo ; Sassone, Vladimiro

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
6
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
7
General Matrix-Matrix Multiplication Using SIMD Features of the PIII
General Matrix-Matrix Multiplication Using SIMD Features of the PIII
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

General Matrix-Matrix Multiplication Using SIMD Features of the PIII

Aberdeen, Douglas ; Baxter, Jonathan Bode, Arndt ; Ludwig, Thomas ; Karl, Wolfgang ; Wismüller, Roland

Euro-Par 2000 Parallel Processing, 2000, p.980-983 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Computing in nonlinear media: Make waves, study collisions
Computing in nonlinear media: Make waves, study collisions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computing in nonlinear media: Make waves, study collisions

ADAMATZKY, Andrew

Lecture notes in computer science, 2001, p.1-10 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
9
Automatic Parallelization of Sparse Matrix Computations: A Static Analysis
Automatic Parallelization of Sparse Matrix Computations: A Static Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic Parallelization of Sparse Matrix Computations: A Static Analysis

Adle, Roxane ; Aiguier, Marc ; Delaplace, Franck Bode, Arndt ; Ludwig, Thomas ; Karl, Wolfgang ; Wismüller, Roland

Euro-Par 2000 Parallel Processing, 2000, p.340-348 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1.066)
  2. Revistas revisadas por pares (2.145)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (1.467)
  2. Book Chapters  (596)
  3. Artigos  (82)
  4. Livros  (23)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (3)
  2. 1990Até1997  (62)
  3. 1998Até2000  (460)
  4. 2001Até2004  (579)
  5. Após 2004  (1.128)
  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.