skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Mathematics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Finite difference computing with exponential decay models
Finite difference computing with exponential decay models
Material Type:
Livro 		Adicionar ao Meu Espaço

Finite difference computing with exponential decay models

Hans Petter Langtangen

Cham Springer 2016

Acesso online. A biblioteca também possui exemplares impressos.

2
Granularity in software product lines
Granularity in software product lines
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Granularity in software product lines

Kästner, Christian ; Apel, Sven ; Kuhlemann, Martin

2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.311-320

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Patterns in property specifications for finite-state verification
Patterns in property specifications for finite-state verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Patterns in property specifications for finite-state verification

Dwyer, Matthew B. ; Avrunin, George S. ; Corbett, James C.

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), 1999, p.411-420

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
Software Reliability Modeling: Fundamentals and Applications
Software Reliability Modeling: Fundamentals and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Reliability Modeling: Fundamentals and Applications

Yamada, Shigeru

Tokyo: Springer Japan 2013

Texto completo disponível

Citações Citado por
5
A Systematic Review of Software Development Cost Estimation Studies
A Systematic Review of Software Development Cost Estimation Studies
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Systematic Review of Software Development Cost Estimation Studies

Jorgensen, M. ; Shepperd, M.

IEEE transactions on software engineering, 2007-01, Vol.33 (1), p.33-53 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
6
Spectrum-Based Multiple Fault Localization
Spectrum-Based Multiple Fault Localization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Spectrum-Based Multiple Fault Localization

Abreu, Rui ; Zoeteweij, Peter ; van Gemund, Arjan J.C.

2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.88-99

IEEE

Texto completo disponível

Citações Citado por
7
A survey on search-based model-driven engineering
A survey on search-based model-driven engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

A survey on search-based model-driven engineering

Boussaïd, Ilhem ; Siarry, Patrick ; Ahmed-Nacer, Mohamed

Automated software engineering, 2017-06, Vol.24 (2), p.233-294 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
8
The Tapenade Automatic Differentiation Tool: Principles, Model, and Specification
The Tapenade Automatic Differentiation Tool: Principles, Model, and Specification
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Tapenade Automatic Differentiation Tool: Principles, Model, and Specification

HASCOET, Laurent ; PASCUAL, Valérie

ACM transactions on mathematical software, 2013-04, Vol.39 (3), p.1-43 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Greuel, Gert-Martin ; Koch, Thorsten ; Paule, Peter ; Sommese, Andrew Greuel, Gert-Martin ; Paule, Peter ; Sommese, Andrew ; Koch, Thorsten ; Sommese, Andrew ; Greuel, Gert-Martin ; Koch, Thorsten ; Paule, Peter

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
10
Uncertainty-aware Simulation of Adaptive Systems
Uncertainty-aware Simulation of Adaptive Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Uncertainty-aware Simulation of Adaptive Systems

Jézéquel, Jean-Marc ; Vallecillo, Antonio

ACM transactions on modeling and computer simulation, 2023-05, Vol.33 (3), p.1-19, Article 8 [Periódico revisado por pares]

New York, NY: ACM

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  (41.561)
  2. Anais de Congresso  (5.216)
  3. Livros  (1.118)
  4. Book Chapters  (507)
  5. magazinearticle  (266)
  6. Reports  (38)
  7. Newsletter Articles  (27)
  8. Resenhas  (11)
  9. Recursos Textuais  (1)
  10. Artigos de Jornal  (1)
  11. Verbetes  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1972  (25)
  2. 1972Até1984  (1.147)
  3. 1985Até1997  (7.241)
  4. 1998Até2011  (20.347)
  5. Após 2011  (20.557)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (48.647)
  2. Japonês  (2.557)
  3. Português  (201)
  4. Espanhol  (38)
  5. Alemão  (36)
  6. Norueguês  (11)
  7. Russo  (8)
  8. Chinês  (2)
  9. Polonês  (1)
  10. Francês  (1)
  11. Sueco  (1)
  12. Italiano  (1)
  13. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Langtangen, H

Neste Assunto:

  1. Mathematics
  2. Mathematics
  3. Science & Technology
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.