skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books Online Archive remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Timing assumptions and verification of finite-state concurrent systems
Timing assumptions and verification of finite-state concurrent systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Timing assumptions and verification of finite-state concurrent systems

Dill, David L. Sifakis, Joseph

Automatic Verification Methods for Finite State Systems, 2005, p.197-212 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Improved Approximation Algorithms for Metric Facility Location Problems
Improved Approximation Algorithms for Metric Facility Location Problems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Improved Approximation Algorithms for Metric Facility Location Problems

Mahdian, Mohammad ; Ye, Yinyu ; Zhang, Jiawei Leonardi, Stefano ; Vazirani, Vijay ; Jansen, Klaus

Approximation Algorithms for Combinatorial Optimization, 2002, Vol.2462, p.229-242 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
3
Asymmetric Star Polymers: Synthesis and Properties
Asymmetric Star Polymers: Synthesis and Properties
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Asymmetric Star Polymers: Synthesis and Properties

Hadjichristidis, Nikos ; Pispas, Stergios ; Pitsikalis, Marinos ; Iatrou, Hermis ; Vlahos, Costas Roovers, Jacques

Branched Polymers I, 1999, Vol.142, p.71-127 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
4
Modal specifications
Modal specifications
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modal specifications

Larsen, Kim Guldstrand Sifakis, Joseph

Automatic Verification Methods for Finite State Systems, 2005, p.232-246 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Luminescent Metal Complexes: Diversity of Excited States
Luminescent Metal Complexes: Diversity of Excited States
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Luminescent Metal Complexes: Diversity of Excited States

Vogler, Arnd ; Kunkely, Horst Yersin, Hartmut

Transition Metal and Rare Earth Compounds, 2001, Vol.213, p.143-182 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
6
Dialgebras
Dialgebras
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Dialgebras

Frabetti, A ; Chapoton, F ; Loday, J.-L ; Goichot, F

Dialgebras and Related Operads, 2001, Vol.1763, p.7-66 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
7
Poly(macromonomers): Homo- and Copolymerization
Poly(macromonomers): Homo- and Copolymerization
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Poly(macromonomers): Homo- and Copolymerization

Ito, Koichi ; Kawaguchi, Seigou Roovers, Jacques

Branched Polymers I, 1999, Vol.142, p.129-178 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
The Spin Crossover Phenomenon Under High Magnetic Field
The Spin Crossover Phenomenon Under High Magnetic Field
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Spin Crossover Phenomenon Under High Magnetic Field

Bousseksou, A. ; Varret, F. ; Goiran, M. ; Boukheddaden, K. ; Tuchagues, J. P.

Spin Crossover in Transition Metal Compounds III, 2004, Vol.235, p.65-84 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Approximate Integer Common Divisors
Approximate Integer Common Divisors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Approximate Integer Common Divisors

Howgrave-Graham, Nick Silverman, Joseph H.

Cryptography and Lattices, 2001, Vol.2146, p.51-66 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Improving Lattice Based Cryptosystems Using the Hermite Normal Form
Improving Lattice Based Cryptosystems Using the Hermite Normal Form
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Improving Lattice Based Cryptosystems Using the Hermite Normal Form

Micciancio, Daniele Silverman, Joseph H.

Cryptography and Lattices, 2001, Vol.2146, p.126-145 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

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.   

Mostrar Somente

  1. Revistas revisadas por pares (362)

Data de Publicação 

De até
Refinar
  1. Antes de1983  (13)
  2. 1983Até1992  (86)
  3. 1993Até1999  (52)
  4. 2000Até2006  (2.256)
  5. Após 2006  (217)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.015)
  2. Japonês  (22)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.