Armando Petrucci's Documents

Armando Petrucci's Documents

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools
Read more
Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools
Read more
Proceedings of the 31st Conference of the International Group for the Psychology of Mathematics Education and PME-NA XXX Volume 2

Proceedings of the 31st Conference of the International Group for the Psychology of Mathematics Education and PME-NA XXX Volume 2
Read more
Pattern Recognition and Image Analysis: 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings

Pattern Recognition and Image Analysis: 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings
Read more
Pattern Recognition and Image Analysis: 4th Iberian Conference, IbPRIA 2009 Povoa de Varzim, Portugal, June 10-12, 2009 Proceedings (Lecture Notes in ... Vision, Pattern Recognition, and Graphics)

Pattern Recognition and Image Analysis: 4th Iberian Conference, IbPRIA 2009 Povoa de Varzim, Portugal, June 10-12, 2009 Proceedings (Lecture Notes in ... Vision, Pattern Recognition, and Graphics)
Read more
Insecurity and Welfare Regimes in Asia, Africa and Latin America: Social Policy in Development Contexts

Insecurity and Welfare Regimes in Asia, Africa and Latin America: Social Policy in Development Contexts
Read more
Pattern recognition and image analysis 4th Iberian conference, IbPRIA 2009, Póvoa de Varzim, Portugal, June 10-12, 2009: proceedings

Pattern recognition and image analysis 4th Iberian conference, IbPRIA 2009, Póvoa de Varzim, Portugal, June 10-12, 2009: proceedings
Read more
Atlas of Neoplastic Pulmonary Disease: Pathology, Cytology, Endoscopy and Radiology

Atlas of Neoplastic Pulmonary Disease: Pathology, Cytology, Endoscopy and Radiology
Read more