skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1977Até1988 remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
OLD resolution with tabulation
OLD resolution with tabulation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

OLD resolution with tabulation

Tamaki, Hisao ; Sato, Taisuke

Third International Conference on Logic Programming, 1986, p.84-98 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
12
Special Uses and Abuses of the Fiat-Shamir Passport Protocol (extended abstract)
Special Uses and Abuses of the Fiat-Shamir Passport Protocol (extended abstract)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Special Uses and Abuses of the Fiat-Shamir Passport Protocol (extended abstract)

Desmedt, Yvo ; Goutier, Claude ; Bengio, Samy

Advances in Cryptology — CRYPTO ’87, p.21-39 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
13
Natural semantics
Natural semantics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Natural semantics

Kahn, G.

STACS 87, 1987, p.22-39 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
14
All-or-Nothing Disclosure of Secrets
All-or-Nothing Disclosure of Secrets
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

All-or-Nothing Disclosure of Secrets

Brassard, Gilles ; Crepeau, Claude ; Robert, Jean-Marc

Advances in Cryptology — CRYPTO’ 86, p.234-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
15
Cryptography with Cellular Automata
Cryptography with Cellular Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Cryptography with Cellular Automata

Wolfram, Stephen

Advances in Cryptology — CRYPTO ’85 Proceedings, p.429-432 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
16
On the KEY PREDISTRIBUTION SYSTEM: A Practical Solution to the Key Distribution Problem
On the KEY PREDISTRIBUTION SYSTEM: A Practical Solution to the Key Distribution Problem
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the KEY PREDISTRIBUTION SYSTEM: A Practical Solution to the Key Distribution Problem

Matsumoto, Tsutomu ; Imai, Hideki

Advances in Cryptology — CRYPTO ’87, p.185-193 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
17
The use of explicit plans to guide inductive proofs
The use of explicit plans to guide inductive proofs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The use of explicit plans to guide inductive proofs

Bundy, Alan

9th International Conference on Automated Deduction, 1988, p.111-120 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
18
The twisted cube
The twisted cube
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The twisted cube

Hilbers, Peter A. J. ; Koopman, Marion R. J. ; van de Snepscheut, Jan L.A.

PARLE Parallel Architectures and Languages Europe, 1987, p.152-159 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
19
An Observation on the Security of McEliece’s Public-Key Cryptosystem
An Observation on the Security of McEliece’s Public-Key Cryptosystem
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Observation on the Security of McEliece’s Public-Key Cryptosystem

Lee, P. J. ; Brickell, E. F.

Advances in Cryptology — EUROCRYPT ’88, p.275-280 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
20
Coloured Petri Nets
Coloured Petri Nets
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Coloured Petri Nets

Jensen, Kurt

Petri Nets: Central Models and Their Properties, p.248-299 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (3.291)

Data de Publicação 

De até
Refinar
  1. Antes de1979  (132)
  2. 1979Até1981  (293)
  3. 1982Até1984  (824)
  4. 1985Até1988  (3.206)
  5. Após 1988  (3)
  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.