skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Algorithms remover assunto: Mathematical Models remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Identifying Join Candidates in the Cairo Genizah
Identifying Join Candidates in the Cairo Genizah
Material Type:
Artigo 		Adicionar ao Meu Espaço

Identifying Join Candidates in the Cairo Genizah

Wolf, Lior ; Littman, Rotem ; Mayer, Naama ; German, Tanya ; Dershowitz, Nachum ; Shweka, Roni ; Choueka, Yaacov

International journal of computer vision, 2011-08, Vol.94 (1), p.118-135 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
2
Axiomatizing Analog Algorithms
Axiomatizing Analog Algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Axiomatizing Analog Algorithms

Bournez, Olivier ; Dershowitz, Nachum ; Néron, Pierre

arXiv.org, 2016-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Space-Efficient Bounded Model Checking
Space-Efficient Bounded Model Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Space-Efficient Bounded Model Checking

Katz, Jacob ; Hanna, Ziyad ; Dershowitz, Nachum

arXiv.org, 2007-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1)

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

Buscando em bases de dados remotas. Favor aguardar.