Search

نمایش تعداد 1-9 از 9

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

نوع: Ebook

نویسنده : Marcel Vin�cius Medeiros Oliveira; Jim Woodcock

ناشر: Springer

سال: 2009

Request PDF

Formal Methods: foundations and Applications, 12 conf., SBMF2009

نوع: Ebook

نویسنده : Marcel Vin�cius Medeiros Oliveira; Jim Woodcock

ناشر: Springer

سال: 2009

Request PDF

Elastic resistance training to increase muscle strength in elderly: A systematic review with meta-analysis

نوع: Journal Paper

نویسنده : Martins, Wagner Rodrigues; de Oliveira, Ricardo JacÃ³; Carvalho, Rodrigo Storck; de Oliveira Damasceno, VinÃcius; da Silva, VinÃcius Zacarias Maldaner; Silva, Michel Santos

ناشر: Elsevier Science

سال: 2013

Request PDF

Impact of the TrÃªs Marias dam on the reproduction of the forage fish Astyanax bimaculatus and A. fasciatus from the SÃ£o Francisco River, downstream from the dam, southeastern Brazil

نوع: Journal Paper

نویسنده : Normando, Felipe Talin; Santiago, Kleber Biana; Gomes, Marcos VinÃcius Teles; Rizzo, Elizete; Bazzoli, Nilo

ناشر: Springer

سال: 2013

Request PDF

Discrete-Time Sliding Mode Observer for Sensorless Vector Control of Permanent Magnet Synchronous Machine

نوع: Journal Paper

نویسنده : Bernardes, Thiago; Foletto Montagner, Viní cius; Grundling, Hilton /A/.; Pinheiro, Humberto

ناشر: IEEE

سال: 2014

Provenance, volcanic record, and tectonic setting of the Paleozoic Ventania Fold Belt and the ClaromecÃ³ Foreland Basin: implications on sedimentation and volcanism along the southwestern Gondwana margin

نوع: Journal Paper

نویسنده : Alessandretti, Luciano; Philipp, Ruy Paulo; Chemale, Farid; BrÃ¼ckmann, Matheus Philipe; Zvirtes, Gustavo; MattÃ©, VinÃcius; Ramos, Victor A.

ناشر: Elsevier Science

سال: 2013

Request PDF

LMI-Based Control for Grid-Connected Converters With LCL Filters Under Uncertain Parameters

نوع: Journal Paper

نویسنده : Maccari, Luiz Antonio; Massing, Jorge R.; Schuch, L.; Rech, Cassiano; Pinheiro, Humberto; Oliveira, Ricardo C. L. F.; Foletto Montagner, Viní cius

ناشر: IEEE

سال: 2014

Acute effects of resistance training on cytokines and osteoprotegerin in women with metabolic syndrome

نوع: Journal Paper

نویسنده : Pereira, Guilherme B.; Tibana, Ramires A.; Navalta, James; Sousa, Nuno M. F.; CÃ³rdova, Claudio; Souza, VinÃcius C.; NÃ³brega, OtÃ¡vio T.; Prestes, Jonato; Perez, Sergio E. A.

سال: 2013

Request PDF

Design and implementation of a discrete-time H-infinity controller for uninterruptible power supply systems

نوع: Journal Paper

نویسنده : Ribas, Samuel Polato; Maccari, Luiz Antonio; Pinheiro, Humberto; Coraç ã o de Leã o Fontoura de Oliveira, Ricardo; Foletto Montagner, Viní cius

ناشر: IET

سال: 2014

Search

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

Formal Methods: foundations and Applications, 12 conf., SBMF2009

Elastic resistance training to increase muscle strength in elderly: A systematic review with meta-analysis

Impact of the TrÃªs Marias dam on the reproduction of the forage fish Astyanax bimaculatus and A. fasciatus from the SÃ£o Francisco River, downstream from the dam, southeastern Brazil

Discrete-Time Sliding Mode Observer for Sensorless Vector Control of Permanent Magnet Synchronous Machine

Provenance, volcanic record, and tectonic setting of the Paleozoic Ventania Fold Belt and the ClaromecÃ³ Foreland Basin: implications on sedimentation and volcanism along the southwestern Gondwana margin

LMI-Based Control for Grid-Connected Converters With LCL Filters Under Uncertain Parameters

Acute effects of resistance training on cytokines and osteoprotegerin in women with metabolic syndrome

Design and implementation of a discrete-time H-infinity controller for uninterruptible power supply systems

نویسنده

موضوع

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر