skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Theoretical Computing remover Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Smallfoot: Modular Automatic Assertion Checking with Separation Logic

Berdine, Josh ; Calcagno, Cristiano ; O’Hearn, Peter W.

Formal Methods for Components and Objects, 2006, p.115-137 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
Pairing-Friendly Elliptic Curves of Prime Order
Pairing-Friendly Elliptic Curves of Prime Order
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Pairing-Friendly Elliptic Curves of Prime Order

Barreto, Paulo S. L. M. ; Naehrig, Michael

Lecture notes in computer science, 2006, p.319-331 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
When is nearest neighbor meaningful?
When is nearest neighbor meaningful?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

When is nearest neighbor meaningful?

BEYER, K ; GOLDSTEIN, J ; RAMAKRISHNAN, R ; SHAFT, U

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

Berlin: Springer

Texto completo disponível

Citações Citado por
4
A Hybrid GA/SVM Approach for Gene Selection and Classification of Microarray Data
A Hybrid GA/SVM Approach for Gene Selection and Classification of Microarray Data
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Hybrid GA/SVM Approach for Gene Selection and Classification of Microarray Data

Huerta, Edmundo Bonilla ; Duval, Béatrice ; Hao, Jin-Kao

Applications of Evolutionary Computing, 2006, Vol.3907, p.34-44 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
Discovering frequent closed itemsets for association rules
Discovering frequent closed itemsets for association rules
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Discovering frequent closed itemsets for association rules

PASQUIER, N ; BASTIDE, Y ; TAOUIL, R ; LAKHAL, L

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

Berlin: Springer

Texto completo disponível

Citações Citado por
6
Applications of SAT Solvers to Cryptanalysis of Hash Functions
Applications of SAT Solvers to Cryptanalysis of Hash Functions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Applications of SAT Solvers to Cryptanalysis of Hash Functions

Mironov, Ilya ; Zhang, Lintao

Lecture notes in computer science, 2006, p.102-115 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Comparative Evaluation of Approaches to Propositionalization
Comparative Evaluation of Approaches to Propositionalization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Comparative Evaluation of Approaches to Propositionalization

Krogel, Mark-A. ; Rawles, Simon ; Železný, Filip ; Flach, Peter A. ; Lavrač, Nada ; Wrobel, Stefan

Inductive Logic Programming, 2003, p.197-214 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
A fast multi-scale method for drawing large graphs
A fast multi-scale method for drawing large graphs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A fast multi-scale method for drawing large graphs

HAREL, David ; KOREN, Yehuda

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

Berlin: Springer

Texto completo disponível

Citações Citado por
9
Public Key Encryption with Keyword Search Based on K-Resilient IBE
Public Key Encryption with Keyword Search Based on K-Resilient IBE
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Public Key Encryption with Keyword Search Based on K-Resilient IBE

Khader, Dalia

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
10
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
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (537)
  2. Revistas revisadas por pares (1.334)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (937)
  2. Book Chapters  (329)
  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  (95)
  3. 1999Até2000  (148)
  4. 2001Até2003  (247)
  5. Após 2003  (887)
  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.