Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time SystemsBraga, Christiano ; Martí-Oliet, NarcisoFormal Methods: Foundations and Applications, 2015, Vol.8941, p.48-63 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Modelling and forecasting geometallurgical recovery at a phosphate mineAndrade, L.B. ; Cabral, I.E. ; Costa, J.F.C.L. Mueller, Christoph ; Dauber, Christoph ; Nagovitsyn, Oleg ; Doran, Chris ; Baafi, Ernest ; Assibey-Bonsu, Winfred ; Jerzy Jaszczuk, MarekMining Goes Digital, 2019, Vol.3, p.551-556CRC PressTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
A Note on Bayesian Inference for Long-Range Dependence of a Stationary Two-State ProcessPolpo, Adriano ; Louzada, Francisco ; Rifo, Laura L. R ; Stern, Julio M ; Lauretto, MarceloInterdisciplinary Bayesian Statistics, 2015, Vol.118, p.301-310Switzerland: Springer International Publishing AGTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
The Coordination Development EnvironmentGouveia, Jo∼ao ; Koutsoukos, Georgios ; Wermelinger, Michel ; Andrade, Luís ; Fiadeiro, José LuizFundamental Approaches to Software Engineering, 2002, p.323-326 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Consequences of defects on lattice vibrations semiclassical theoryAndrade, L.Recent Progress in Many-Body Theories, 2005, p.309-317Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Cell-Matrix Interactionsde Sousa Andrade, L.N. ; Pescatore, L.A. ; Chammas, R.Reference Module in Biomedical Research, 2015Elsevier IncTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Classroom Assessment in the Context of Learning Theory and ResearchMcMillan, James H McMillan, James H.SAGE Handbook of Research on Classroom Assessment, 2012, p.17United States: SAGE Publications, IncorporatedTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Why Formative Assessment is Always both Domain-general and Domain-specific and What Matters is the Balance between the TwoWiliam, Dylan Andrade, Heidi L ; Cizek, Gregory J ; Bennett, Randy ERoutledge 2019Texto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
A Multianalytical Approach for the Assessment of Toxic Element Distribution in Soils From Mine and Quarry AreasBech, Jaume ; Bini, Claudio ; Pashkevich, Mariya AAssessment, Restoration and Reclamation of Mining Influenced Soils, 2017United States: Elsevier Science & TechnologyTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Chapter 2 - A Multianalytical Approach for the Assessment of Toxic Element Distribution in Soils From Mine and Quarry AreasArenas-Lago, D. ; Rodríguez-Seijo, A. ; Andrade Couce, L. ; Vega, F. AlonsoAssessment, Restoration and Reclamation of Mining Influenced Soils, 2017, p.33-62Elsevier IncTexto completo disponível |