Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Improved pairwise coupling classification with correcting classifiersMoreira, Miguel ; Mayoraz, Eddy Nédellec, Claire ; Rouveirol, CélineLecture notes in computer science, 2005, p.160-171 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Diagnosis of Pulmonary EmbolismTerzi, R. G. G. ; Mello Moreira, M. Lumb, Philip D. ; Gullo, AntoninoIntensive and Critical Care Medicine, p.167-182Milano: Springer MilanTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Combinatorial Approach for Data BinarizationMayoraz, Eddy ; Moreira, Miguel Żytkow, Jan M. ; Rauch, JanLecture notes in computer science, 1999, p.442-447 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Effect of pulsation on morphology of Aspergillus niger and Phanerochaete chrysosporium in a fluidized-bed reactorMoreira, M.T. ; Feijoo, G. ; Sanromán, A. ; Lema, J.M.Progress in Biotechnology, 1996, Vol.11, p.518-523 [Periódico revisado por pares]Texto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Combining object-oriented analysis and formal description techniquesMoreira, Ana M. D. ; Clark, Robert G. Pareschi, Remo ; Tokoro, MarioObject-Oriented Programming, 2006, p.344-364 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Controlo Unput-output em job-shops: como as regras de decisoes interagem e reagem a falhas nas máquinasMoreira, M. RosarioConocimiento, innovación y emprendedores, 2007Universidad de La RiojaTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Rigorous object-oriented analysisMoreira, Ana M. D. ; Clark, Robert G. Urban, Susan ; Bertino, ElisaObject-Oriented Methodologies and Systems, 2005, p.65-78 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Symbolic Model Checking with Fewer Fixpoint ComputationsDéharbe, David ; Moreira, Anamaria Martins Davies, Jim ; Woodcock, Jim ; Wing, Jeannette M.FM’99 — Formal Methods, 1999, p.272-288 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Teaching Objects: The Case for ModellingMoreira, Ana M. D. Bosch, Jan ; Demeyer, SergeObject-Oriented Technology: ECOOP’98 Workshop Reader, p.350-354 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Interactions Between Water Waves and SingularitiesMoreira, Roger M. ; Peregrine, D. Howell King, A. C. ; Shikhmurzaev, Y. D.IUTAM Symposium on Free Surface Flows, p.205-212Dordrecht: Springer NetherlandsTexto completo disponível |