Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papersFATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. DBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papersFATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten WeiseBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3997 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Pyomo: Optimization Modeling in PythonHart, William E ; Laird, Carl ; Watson, Jean-Paul ; Woodruff, David L Woodruff, David L ; Watson, Jean-Paul ; Laird, CarlNetherlands: Springer Nature 2012Texto completo disponível |
|
4 |
Material Type: Artigo
|
CitNetExplorer: A new software tool for analyzing and visualizing citation networksvan Eck, Nees Jan ; Waltman, LudoJournal of informetrics, 2014-10, Vol.8 (4), p.802-823 [Periódico revisado por pares]Oxford: Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Livro
|
The Essence of Software: Why Concepts Matter for Great DesignJackson, DanielUnited States: Princeton University Press 2021Texto completo disponível |
|
6 |
Material Type: Artigo
|
Oases: robust de novo RNA-seq assembly across the dynamic range of expression levelsSchulz, Marcel H ; Zerbino, Daniel R ; Vingron, Martin ; Birney, EwanBioinformatics (Oxford, England), 2012-04, Vol.28 (8), p.1086-1092 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
DnaSP v5: a software for comprehensive analysis of DNA polymorphism dataLibrado, P. ; Rozas, J.Bioinformatics, 2009-06, Vol.25 (11), p.1451-1452 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
|
8 |
Material Type: Livro
|
Process-Aware Information Systems: Bridging People and Software Through Process TechnologyDumas, Marlon ; van der Aalst, Wil M ; ter Hofstede, Arthur HNewark: John Wiley & Sons, Incorporated 2005Texto completo disponível |
|
9 |
Material Type: Artigo
|
openair — An R package for air quality data analysisCarslaw, David C. ; Ropkins, KarlEnvironmental modelling & software : with environment data news, 2012, Vol.27, p.52-61 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
10 |
Material Type: Livro
|
Pro TBB : C++ Parallel Programming with Threading Building BlocksVoss, Michael ; Asenjo, Rafael ; Reinders, JamesBerkeley, CA: Apress 2019Texto completo disponível |