skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover data de publicação: 1976Até1990 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Refinement of concurrent systems based on local state transformations
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Refinement of concurrent systems based on local state transformations

Pomello, Lucia

Lecture notes in computer science, 1990, Vol.430, p.641-668 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Composing specifications
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Composing specifications

Abadi, Martín ; Lamport, Leslie

Lecture notes in computer science, 1990, Vol.430, p.1-41 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Calorimetric studies on the state of water in aerosol OT reversed micelles
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Calorimetric studies on the state of water in aerosol OT reversed micelles

GOTO, A ; YOSHIOKA, H ; KISHIMOTO, H ; FUJITA, T

Thermochimica acta, 1990, Vol.163, p.139-146 [Periódico revisado por pares]

Amsterdam: Elsevier Science

Texto completo disponível

4
The State: Organized Progress or Decay Product?
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

The State: Organized Progress or Decay Product?

Hord, John K

North Central Sociological Association, 1985

Sem texto completo

5
Alcohol and the State -- Notes on Symbiosis
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Alcohol and the State -- Notes on Symbiosis

Karr, Jon T

Southern Sociological Society, 1979

Sem texto completo

6
CATCH-compiler-assisted techniques for checkpointing
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

CATCH-compiler-assisted techniques for checkpointing

Li, C.-C.J. ; Fuchs, W.K.

[1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium, 1990, p.74-81

IEEE Comput. Soc. Press

Texto completo disponível

7
Object oriented design of CAST Systems
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Object oriented design of CAST Systems

Mittelmann, R.

Computer Aided Systems Theory — EUROCAST '89, 1990, Vol.410, p.69-75 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Thermomechanical behaviour of shape memory alloys
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Thermomechanical behaviour of shape memory alloys

PATOOR, E ; EBERHARDT, A ; BERVEILLER, M

Archives of Mechanics, 1988, Vol.40 (5-6), p.775-794 [Periódico revisado por pares]

Warszawa: Institute of Fundamental Technological Research

Sem texto completo

9
Multiple Drug Therapy to Prevent Thrombosis
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Multiple Drug Therapy to Prevent Thrombosis

O’Brien, J. R.

Thrombosis and Haemostasis, 1979, Vol.42 (1) [Periódico revisado por pares]

Schattauer GmbH

Texto completo disponível

10
A flaw in the reduced-order behavior of a direct adaptive pole placer
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A flaw in the reduced-order behavior of a direct adaptive pole placer

Johnson, C. Richard ; Lawrence, D. A. ; Lyons, J. P.

1982 21st IEEE Conference on Decision and Control, 1982, p.271-272

IEEE

Sem texto completo

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 (2.078)
  2. Revistas revisadas por pares (1.460)

Data de Publicação 

De até
  1. Antes de1978  (914)
  2. 1978Até1980  (1.543)
  3. 1981Até1983  (1.730)
  4. 1984Até1987  (3.745)
  5. Após 1987  (5.761)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (13.451)
  2. Francês  (84)
  3. Alemão  (33)
  4. Espanhol  (31)
  5. Japonês  (28)
  6. Russo  (18)
  7. Português  (8)
  8. Italiano  (7)
  9. Holandês  (7)
  10. Croatian  (7)
  11. Árabe  (6)
  12. Tcheco  (2)
  13. Sueco  (2)
  14. Dinamarquês  (2)
  15. Norueguês  (1)
  16. Polonês  (1)
  17. Turco  (1)
  18. Romeno  (1)
  19. Esloveno  (1)
  20. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.