skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Decision Method for Linear Temporal Logic
A Decision Method for Linear Temporal Logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Decision Method for Linear Temporal Logic

Cavalli, Ana R. ; Cerro, Luis FariÑas Del

7th International Conference on Automated Deduction, p.113-127 [Periódico revisado por pares]

New York, NY: Springer New York

Texto completo disponível

Citações Citado por
2
Accident experience and safety programs
Accident experience and safety programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Accident experience and safety programs

Cavalli, R B

Hospital topics, 1966-09, Vol.44 (9), p.27-28 [Periódico revisado por pares]

United States

Texto completo disponível

Citações Citado por
3
Evaluation of a silicone lubricant injected spinally
Evaluation of a silicone lubricant injected spinally
Material Type:
Artigo 		Adicionar ao Meu Espaço

Evaluation of a silicone lubricant injected spinally

Hine, C.H. ; Elliott, H.W. ; Wright, R.R. ; Cavalli, R.D. ; Porter, C.D.

Toxicology and applied pharmacology, 1969-01, Vol.15 (3), p.566-573 [Periódico revisado por pares]

United States: Elsevier Inc

Texto completo disponível

Citações Citado por
4
Ionization of aqueous dimethylbenzoic acids: Conductance and thermodynamics
Ionization of aqueous dimethylbenzoic acids: Conductance and thermodynamics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ionization of aqueous dimethylbenzoic acids: Conductance and thermodynamics

Strong, Laurence E. ; Blubaugh, Danny J. ; Cavalli, Christopher R.

Journal of solution chemistry, 1981-11, Vol.10 (11), p.811-830 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Specification and verification of networks protocols using temporal logic
Specification and verification of networks protocols using temporal logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Specification and verification of networks protocols using temporal logic

Cavalli, Ana R. ; Fariñas Del Cerro, Luis

International Symposium on Programming, 1984, p.59-73 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
A method of automatic proof for the specification and verification of protocols
A method of automatic proof for the specification and verification of protocols
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

A method of automatic proof for the specification and verification of protocols

Cavalli, Ana R.

Computer communication review, 1984-06, Vol.14 (2), p.100-106

Texto completo disponível

Citações Citado por
7
A method of automatic proof for the specification and verification of protocols
A method of automatic proof for the specification and verification of protocols
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A method of automatic proof for the specification and verification of protocols

Cavalli, Ana R.

Applications, Technologies, Architectures, and Protocols for Computer Communication: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium : Montreal, Quebec, Canada, United States; 06-08 June 1984, 1984, p.100-106

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
Exhaustive analysis and simulation for distributed systems: both sides of the same coin
Exhaustive analysis and simulation for distributed systems: both sides of the same coin
Material Type:
Artigo 		Adicionar ao Meu Espaço

Exhaustive analysis and simulation for distributed systems: both sides of the same coin

CAVALLI, A. R ; PAUL, E

Distributed computing, 1988-12, Vol.2 (4), p.213-225 [Periódico revisado por pares]

Heidelberg: Springer

Texto completo disponível

Citações Citado por
9
Sequence-specific super(1)H-n.m.r. assignments and peptide backbone conformation in rate epidermal growth factor
Sequence-specific super(1)H-n.m.r. assignments and peptide backbone conformation in rate epidermal growth factor
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sequence-specific super(1)H-n.m.r. assignments and peptide backbone conformation in rate epidermal growth factor

Mayo, KH ; Cavalli, R C ; Peters, A R ; Boelens, R ; Kaptein, R

Biochemical journal, 1989-01, Vol.257 (1), p.197-205 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Sequence-specific 1H-n.m.r. assignments and peptide backbone conformation in rat epidermal growth factor
Sequence-specific 1H-n.m.r. assignments and peptide backbone conformation in rat epidermal growth factor
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sequence-specific 1H-n.m.r. assignments and peptide backbone conformation in rat epidermal growth factor

Mayo, K H ; Cavalli, R C ; Peters, A R ; Boelens, R ; Kaptein, R

Biochemical journal, 1989-01, Vol.257 (1), p.197-205 [Periódico revisado por pares]

England

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (624)
  2. Produções Acadêmicas  (40)
  3. Livros  (18)
  4. Anais de Congresso  (16)
  5. Reports  (7)
  6. Book Chapters  (5)
  7. Imagens  (2)
  8. magazinearticle  (1)
  9. Outros  (1)
  10. Mais opções open sub menu

Autor/Criador 

  1. Cavalli, R  (329)
  2. Duarte, G  (133)
  3. Sandrim, V  (83)
  4. Palei, A  (58)
  5. Tanus-Santos, J  (54)
  6. Bettiol, H  (45)
  7. Moisés, E  (45)
  8. Cardoso, V  (44)
  9. Cunha, S  (44)
  10. Barbieri, M  (44)
  11. Lanchote, V  (42)
  12. Machado, J  (32)
  13. Berezowski, A  (30)
  14. Quintana, S  (30)
  15. Marcolin, A  (26)
  16. Duarte, L  (24)
  17. Silva, A  (23)
  18. Luizon, M  (20)
  19. Amaral, L  (18)
  20. Marques, M  (17)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (13)
  2. 1991Até1998  (58)
  3. 1999Até2006  (136)
  4. 2007Até2015  (265)
  5. Após 2015  (242)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (583)
  2. Português  (122)
  3. Japonês  (32)
  4. Italiano  (11)
  5. Espanhol  (5)
  6. Francês  (3)
  7. Indeterminado  (1)
  8. Alemão  (1)
  9. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Cavalli, R
  2. Duarte, G
  3. Sandrim, V
  4. Palei, A
  5. Tanus-Santos, J

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Gravidez
  5. Pré-Eclâmpsia

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

Buscando em bases de dados remotas. Favor aguardar.