skip to main content
Mostrar Somente
Refinado por: data de publicação: 1982Até1994 remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CASE user satisfaction-Impact evaluations in user organizations
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

CASE user satisfaction-Impact evaluations in user organizations

Aaen, I.

Proceedings of 6th International Workshop on Computer-Aided Software Engineering, 1993, p.66-74

IEEE

Texto completo disponível

2
A formally verified system for logic synthesis
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A formally verified system for logic synthesis

Aagaard, M. ; Leeser, M.

[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1991, p.346-350

IEEE Comput. Soc. Press

Texto completo disponível

3
A framework for specifying and designing pipelines
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A framework for specifying and designing pipelines

Aagaard, M. ; Leeser, M.

Computer Design: VLSI in Computers and Processors (ICCD '93, 1993, p.548-551

IEEE Comput. Soc. Press

Texto completo disponível

4
Changes in the probability distribution for Gaussian processes subjected to phase jitter
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Changes in the probability distribution for Gaussian processes subjected to phase jitter

Aakvaag, N.D. ; Lacaze, B.

Proceedings of MELECON '94. Mediterranean Electrotechnical Conference, 1994, p.187-190 vol.1

IEEE

Texto completo disponível

5
Incremental relevance feedback
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Incremental relevance feedback

Aalbersberg, IJsbrand Jan Belkin, Nicholas ; Ingwersen, Peter ; Pejtersen, Annelise Mark

Annual ACM Conference on Research and Development in Information Retrieval: Proceedings of the 15th annual international ACM SIGIR conference on Research and development in information retrieval; 21-24 June 1992, 1992, p.11-22

New York, NY, USA: ACM

Texto completo disponível

6
Polyhedral results for the uncapacitated facility location problem: Lifting and separation
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Polyhedral results for the uncapacitated facility location problem: Lifting and separation

Aardal, K. ; Gerards, A.M.H. ; Van Hoesel, C.P.M.

United States: Univ. of Michigan, Ann Arbor, MI (United States) 1994

Sem texto completo

7
Computations in massively parallel networks based on the Boltzmann machine: a review
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Computations in massively parallel networks based on the Boltzmann machine: a review

AARTS, E. H. L ; KORST, J. H. M

Parallel computing, 1988, Vol.9 (2), p.129-145 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

8
A semantics of object types
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A semantics of object types

Abadi, M. ; Cardelli, L.

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994, p.332-341

IEEE Comput. Soc. Press

Texto completo disponível

9
Faithful ideal models for recursive polymorphic types
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Faithful ideal models for recursive polymorphic types

Abadi, M. ; Pierce, B. ; Plotkin, G.

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1989, p.216-225

IEEE Comput. Soc. Press

Texto completo disponível

10
On Hiding Information from an Oracle
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

On Hiding Information from an Oracle

Abadi, Martin ; Feigenbaum, Joan ; Kilian, Joe

Proceeding Structure in Complexity Theory, 1987, p.9-9

IEEE

Sem texto completo

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (27.557)
  2. Revistas revisadas por pares (1.614)

Data de Publicação 

De até
  1. Antes de1984  (1.541)
  2. 1984Até1986  (2.144)
  3. 1987Até1989  (7.031)
  4. 1990Até1993  (20.905)
  5. Após 1993  (12.758)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (43.646)
  2. Francês  (471)
  3. Japonês  (202)
  4. Alemão  (42)
  5. Interlingue  (10)
  6. Espanhol  (9)
  7. Italiano  (5)
  8. Russo  (1)
  9. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.