skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quality Metrics for Benchmarking Sequences Comparison Tools
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Quality Metrics for Benchmarking Sequences Comparison Tools

Drezen, Erwan ; Lavenier, Dominique Campos, Sérgio

Advances in Bioinformatics and Computational Biology, p.144-153 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

2
U-Check: Model Checking and Parameter Synthesis Under Uncertainty
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

U-Check: Model Checking and Parameter Synthesis Under Uncertainty

Bortolussi, Luca ; Milios, Dimitrios ; Sanguinetti, Guido Campos, Javier ; Haverkort, Boudewijn R.

Quantitative Evaluation of Systems, p.89-104 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

3
Rethinking Adoption and Diffusion as a Collective Social Process: Towards an Interactional Perspective
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Rethinking Adoption and Diffusion as a Collective Social Process: Towards an Interactional Perspective

Campos, Hugo

The Innovation Revolution in Agriculture, 2020

Switzerland: Springer International Publishing AG

Texto completo disponível

4
Computing Structural Properties of Symmetric Nets
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Computing Structural Properties of Symmetric Nets

Capra, Lorenzo ; De Pierro, Massimiliano ; Franceschinis, Giuliana Campos, Javier ; Haverkort, Boudewijn R.

Quantitative Evaluation of Systems, p.125-140 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

5
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

Brázdil, Tomáš ; Korenčiak, Ľuboš ; Krčál, Jan ; Novotný, Petr ; Řehák, Vojtěch Campos, Javier ; Haverkort, Boudewijn R.

Quantitative Evaluation of Systems, p.141-159 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

6
Productivity in Agriculture for a Sustainable Future
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Productivity in Agriculture for a Sustainable Future

Campos, Hugo

The Innovation Revolution in Agriculture, 2020

Switzerland: Springer International Publishing AG

Texto completo disponível

7
Impact of Policy Design on Workflow Resiliency Computation Time
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Impact of Policy Design on Workflow Resiliency Computation Time

Mace, John C. ; Morisset, Charles ; Moorsel, Aad van Campos, Javier ; Haverkort, Boudewijn R.

Quantitative Evaluation of Systems, p.244-259 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

8
Perfect Sampling for Multiclass Closed Queueing Networks
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Perfect Sampling for Multiclass Closed Queueing Networks

Bouillard, Anne ; Bušić, Ana ; Rovetta, Christelle Campos, Javier ; Haverkort, Boudewijn R.

Quantitative Evaluation of Systems, p.263-278 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

9
Stochastic Modeling for Performance Evaluation of Database Replication Protocols
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Stochastic Modeling for Performance Evaluation of Database Replication Protocols

Popov, Peter ; Salako, Kizito ; Stankovic, Vladimir Campos, Javier ; Haverkort, Boudewijn R.

Quantitative Evaluation of Systems, p.21-37 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

10
Development of Sustainable Business Models for Innovation in the Swedish Agri-sector: Resource-Effective Producer or Stewardship-Based Entrepreneur?
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Development of Sustainable Business Models for Innovation in the Swedish Agri-sector: Resource-Effective Producer or Stewardship-Based Entrepreneur?

Campos, Hugo

The Innovation Revolution in Agriculture, 2020

Switzerland: Springer International Publishing AG

Texto completo disponível

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 (174)

Data de Publicação 

De até
  1. Antes de1986  (48)
  2. 1986Até1995  (37)
  3. 1996Até2004  (134)
  4. 2005Até2014  (863)
  5. Após 2014  (1.092)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.725)
  2. Espanhol  (403)
  3. Português  (119)
  4. Francês  (34)
  5. Japonês  (11)
  6. Italiano  (6)
  7. Alemão  (2)
  8. Galego  (2)
  9. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.