skip to main content
Idioma:
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Simulation of optical diagnostics for crystal growth: models and results
Simulation of optical diagnostics for crystal growth: models and results
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Simulation of optical diagnostics for crystal growth: models and results

Banish, Michele R ; Clark, Rodney L ; Kathman, Alan D ; Lawson, Shelah M

SPIE 1991

Texto completo disponível

Citações Citado por
2
On the temporal analysis of fairness
On the temporal analysis of fairness
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On the temporal analysis of fairness

Gabbay, Dov ; Pnueli, Amir ; Shelah, Saharon ; Stavi, Jonathan

Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1980, p.163-173

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
McColm's conjecture [positive elementary inductions]
McColm's conjecture [positive elementary inductions]
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

McColm's conjecture [positive elementary inductions]

Gurevich, Y. ; Immerman, N. ; Shelah, S.

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994, p.10-19

IEEE Comput. Soc. Press

Texto completo disponível

Citações Citado por
4
Spectra of monadic second-order formulas with one unary function
Spectra of monadic second-order formulas with one unary function
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Spectra of monadic second-order formulas with one unary function

Gurevich, Y. ; Shelah, S.

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings, 2003, p.291-300

IEEE

Texto completo disponível

Citações Citado por
5
Fixed-point extensions of first-order logic
Fixed-point extensions of first-order logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fixed-point extensions of first-order logic

Gurevich, Yuri ; Shelah, Saharon

26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 1985, p.346-353

IEEE

Texto completo disponível

Citações Citado por
6
Nondeterministic linear tasks may require substantially nonlinear deterministic time in the case of sublinear work space
Nondeterministic linear tasks may require substantially nonlinear deterministic time in the case of sublinear work space
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Nondeterministic linear tasks may require substantially nonlinear deterministic time in the case of sublinear work space

Gurevich, Yuri ; Shelah, Saharon

Annual ACM Symposium on Theory of Computing: Proceedings of the twentieth annual ACM symposium on Theory of computing; 02-04 May 1988, 1988, p.281-289

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
Δ1/3-sets of reals
Δ1/3-sets of reals
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Δ1/3-sets of reals

JUDAH, H ; SHELAH, S

The Journal of symbolic logic, 1993, Vol.58 (1), p.72-80 [Periódico revisado por pares]

Pasadena, CA: Association for Symbolic Logic

Texto completo disponível

Citações Citado por
8
Wave-optic model to determine image quality through supersonic boundary and mixing layers
Wave-optic model to determine image quality through supersonic boundary and mixing layers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Wave-optic model to determine image quality through supersonic boundary and mixing layers

Lawson, Shelah M ; Clark, Rodney L ; Banish, Michele R ; Crouse, Randy F

SPIE 1991

Texto completo disponível

Citações Citado por
9
Aero-optic performance of supersonic mixing layers
Aero-optic performance of supersonic mixing layers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Aero-optic performance of supersonic mixing layers

Lawson, Shelah M ; Clark, Rodney L ; Crouse, Randy F

SPIE 1990

Texto completo disponível

Citações Citado por
10
Promotion of resource enhancement of seahorse in an island community in Negros Occidental, Central Philippines
Promotion of resource enhancement of seahorse in an island community in Negros Occidental, Central Philippines
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Promotion of resource enhancement of seahorse in an island community in Negros Occidental, Central Philippines

Shelah Mae B. Ursua

ASFA Monographs, 2021, p.121-126

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (11)
  2. Revistas revisadas por pares (2)

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

Buscando em bases de dados remotas. Favor aguardar.