skip to main content
Idioma:
Mostrar Somente
Refinado por: data de publicação: 1995Até2009 remover tipo de recurso: Reports remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rewrite based Verification of XML Updates
Rewrite based Verification of XML Updates
Material Type:
Report 		Adicionar ao Meu Espaço

Rewrite based Verification of XML Updates

Jacquemard, Florent ; Rusinowitch, Michael

2009

Sem texto completo

Citações Citado por
2
Automated Verification of Termination Certificates
Automated Verification of Termination Certificates
Material Type:
Report 		Adicionar ao Meu Espaço

Automated Verification of Termination Certificates

Blanqui, Frédéric ; Koprowski, Adam

2009

Sem texto completo

Citações Citado por
3
P2P Networks: The interplay between legislation and information technology
P2P Networks: The interplay between legislation and information technology
Material Type:
Report 		Adicionar ao Meu Espaço

P2P Networks: The interplay between legislation and information technology

Wong, Sulan ; Altman, Eitan ; Ibrahim, Mouhamad

2009

Sem texto completo

Citações Citado por
4
Algebraic types and pattern matching in the logical language of the Why verification platform
Algebraic types and pattern matching in the logical language of the Why verification platform
Material Type:
Report 		Adicionar ao Meu Espaço

Algebraic types and pattern matching in the logical language of the Why verification platform

Paskevich, Andrei

2009

Sem texto completo

Citações Citado por
5
Proving weak properties of rewriting
Proving weak properties of rewriting
Material Type:
Report 		Adicionar ao Meu Espaço

Proving weak properties of rewriting

Gnaedig, Isabelle ; Kirchner, Hélène

2009

Sem texto completo

Citações Citado por
6
Competition and cooperation between nodes in Delay Tolerant Networks with Two Hop Routing
Competition and cooperation between nodes in Delay Tolerant Networks with Two Hop Routing
Material Type:
Report 		Adicionar ao Meu Espaço

Competition and cooperation between nodes in Delay Tolerant Networks with Two Hop Routing

Altman, Eitan

2009

Sem texto completo

Citações Citado por
7
Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
Material Type:
Report 		Adicionar ao Meu Espaço

Data Structures with Arithmetic Constraints: a Non-Disjoint Combination

Nicolini, Enrica ; Ringeissen, Christophe ; Rusinowitch, Michael

2009

Sem texto completo

Citações Citado por
8
Compiling and securing cryptographic protocols
Compiling and securing cryptographic protocols
Material Type:
Report 		Adicionar ao Meu Espaço

Compiling and securing cryptographic protocols

Chevalier, Yannick ; Rusinowitch, Michael

2009

Sem texto completo

Citações Citado por
9
Combinable Extensions of Abelian Groups
Combinable Extensions of Abelian Groups
Material Type:
Report 		Adicionar ao Meu Espaço

Combinable Extensions of Abelian Groups

Nicolini, Enrica ; Ringeissen, Christophe ; Rusinowitch, Michael

2009

Sem texto completo

Citações Citado por
10
Modeling reducibility on ground terms using constraints
Modeling reducibility on ground terms using constraints
Material Type:
Report 		Adicionar ao Meu Espaço

Modeling reducibility on ground terms using constraints

Gnaedig, Isabelle ; Kirchner, Hélène

2009

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (3.062)
  2. Revistas revisadas por pares (5)

Data de Publicação 

De até
Refinar
  1. Antes de1997  (4.625)
  2. 1997Até1999  (4.444)
  3. 2000Até2002  (2.675)
  4. 2003Até2006  (5.214)
  5. Após 2006  (3.226)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (17.428)
  2. Francês  (1.406)
  3. Alemão  (1.321)
  4. Português  (9)
  5. Italiano  (6)
  6. Sueco  (4)
  7. Coreano  (3)
  8. Interlingue  (2)
  9. Bokmål, Norwegian  (1)
  10. Russo  (1)
  11. Norueguês  (1)
  12. Bielo-russo  (1)
  13. Espanhol  (1)
  14. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.