Massimo Silva's Documents

Massimo Silva's Documents

Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010

Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010
Read more
On Second Language Writing

On Second Language Writing
Read more
A Synthesis of Research on Second Language Writing in English

A Synthesis of Research on Second Language Writing in English
Read more
Dependable Computing - EDCC-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings

Dependable Computing - EDCC-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings
Read more
Nanotechnology for Biology and Medicine: At the Building Block Level

Nanotechnology for Biology and Medicine: At the Building Block Level
Read more
Kinesiologie

Kinesiologie
Read more
Yoga: The Iyengar Way

Yoga: The Iyengar Way
Read more
The Impact of Economic Policies on Poverty and Income Distribution: Evaluation Techniques and Tools

The Impact of Economic Policies on Poverty and Income Distribution: Evaluation Techniques and Tools
Read more
Obra poética motivos

Obra poética motivos
Read more
Geometric models for noncommutative algebras

Geometric models for noncommutative algebras
Read more
Geometric Models for Noncommutative Algebra

Geometric Models for Noncommutative Algebra
Read more
Yoga: the Iyengar way

Yoga: the Iyengar way
Read more
Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Read more
Química Inorgânica Básica

Química Inorgânica Básica
Read more
Dynamic Characterisation of Analogue-to-Digital Converters

Dynamic Characterisation of Analogue-to-Digital Converters
Read more
The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500 TM Frontiers in Electronic Testing

The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500 TM Frontiers in Electronic Testing
Read more
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Read more
Soft Computing and Intelligent Systems Design: Theory, Tools and Applications

Soft Computing and Intelligent Systems Design: Theory, Tools and Applications
Read more
The Chemistry of Evolution: The Development of our Ecosystem

The Chemistry of Evolution: The Development of our Ecosystem
Read more
Sequential Methods and Their Applications

Sequential Methods and Their Applications
Read more
Complex analysis and geometry

Complex analysis and geometry
Read more
Sequential Methods and Their Applications

Sequential Methods and Their Applications
Read more
Chaos and Coarse Graining in Statistical Mechanics

Chaos and Coarse Graining in Statistical Mechanics
Read more
Endoscopic Mucosal Resection

Endoscopic Mucosal Resection
Read more
Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings

Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
Read more
An Experimental Approach to CDMA and Interference Mitigation: From System Architecture to Hardware Testing through VLSI Design

An Experimental Approach to CDMA and Interference Mitigation: From System Architecture to Hardware Testing through VLSI Design
Read more
Magnetic Nanostructures in Modern Technology: Spintronics, Magnetic Mems and Recording

Magnetic Nanostructures in Modern Technology: Spintronics, Magnetic Mems and Recording
Read more
Advanced Methods of Solid Oxide Fuel Cell Modeling

Advanced Methods of Solid Oxide Fuel Cell Modeling
Read more
Chaos and Coarse Graining in Statistical Mechanics

Chaos and Coarse Graining in Statistical Mechanics
Read more
Cooperative Information Systems: 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings

Cooperative Information Systems: 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings
Read more