G Barthe; Alberto Pardo; Gerardo Schneider's Documents

G Barthe; Alberto Pardo; Gerardo Schneider's Documents

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
Read more
Software Engineering and Formal Methods. SEFM 2011 Proceedings (Lecture Notes in Computer Science)

Software Engineering and Formal Methods. SEFM 2011 Proceedings (Lecture Notes in Computer Science)
Read more
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... Programming and Software Engineering)

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... Programming and Software Engineering)
Read more
Uneasy Neighbors: Israel and the European Union

Uneasy Neighbors: Israel and the European Union
Read more
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)
Read more
The Evaluation and Optimization of Trading Strategies

The Evaluation and Optimization of Trading Strategies
Read more
Geology of Cuba (AAPG Studies in Geology 58)

Geology of Cuba (AAPG Studies in Geology 58)
Read more
El Sistema De Autodiagnostico Empresarial

El Sistema De Autodiagnostico Empresarial
Read more
Design, Testing, and Optimization of Trading Systems

Design, Testing, and Optimization of Trading Systems
Read more
Naturaleza Y Sociedad Escalas De Espacio Y Tiempo

Naturaleza Y Sociedad Escalas De Espacio Y Tiempo
Read more
Managing Existence in Naples: Morality, Action and Structure (Cambridge Studies in Social and Cultural Anthropology)

Managing Existence in Naples: Morality, Action and Structure (Cambridge Studies in Social and Cultural Anthropology)
Read more
Statistical inference based on divergence measures

Statistical inference based on divergence measures
Read more
The Evaluation and Optimization of Trading Strategies

The Evaluation and Optimization of Trading Strategies
Read more
BIBLIOGRAPHY OF BUTTERFLIES: An Annotated Bibliography of the Neotropical Butterflies and Skippers (Lepidoptera: Papilionoidea and Hesperioidea) (Atlas of Neotropical Lepidoptera, 124)

BIBLIOGRAPHY OF BUTTERFLIES: An Annotated Bibliography of the Neotropical Butterflies and Skippers (Lepidoptera: Papilionoidea and Hesperioidea) (Atlas of Neotropical Lepidoptera, 124)
Read more
La Isla Desnuda

La Isla Desnuda
Read more
Organizational Knowledge in the Making: How Firms Create, Use, and Institutionalize Knowledge

Organizational Knowledge in the Making: How Firms Create, Use, and Institutionalize Knowledge
Read more
Food for the Few: Neoliberal Globalism and Biotechnology in Latin America

Food for the Few: Neoliberal Globalism and Biotechnology in Latin America
Read more
Ties That Bind

Ties That Bind
Read more
Aureliano

Aureliano
Read more
The Evaluation and Optimization of Trading Strategies

The Evaluation and Optimization of Trading Strategies
Read more
A Mosaic of Believers: Diversity and Innovation in a Multiethnic Church

A Mosaic of Believers: Diversity and Innovation in a Multiethnic Church
Read more
Mexico in Transition: Neoliberal Globalism, the State and Civil Society (Globalization and the Semi-Periphery: Impacts, Opposition, Alternatives)

Mexico in Transition: Neoliberal Globalism, the State and Civil Society (Globalization and the Semi-Periphery: Impacts, Opposition, Alternatives)
Read more
Chemistry of Crop Protection

Chemistry of Crop Protection
Read more
Cuentos De Tierra Caliente

Cuentos De Tierra Caliente
Read more
The Origins of Mexican Catholicism: Nahua Rituals and Christian Sacraments in Sixteenth-Century Mexico

The Origins of Mexican Catholicism: Nahua Rituals and Christian Sacraments in Sixteenth-Century Mexico
Read more
Reversible Destiny: Mafia, Antimafia, and the Struggle for Palermo

Reversible Destiny: Mafia, Antimafia, and the Struggle for Palermo
Read more
Música y sociedad en Colombia. Traslaciones, legitimaciones e identificaciones

Música y sociedad en Colombia. Traslaciones, legitimaciones e identificaciones
Read more
The Origins of Mexican Catholicism: Nahua Rituals and Christian Sacraments in Sixteenth-Century Mexico

The Origins of Mexican Catholicism: Nahua Rituals and Christian Sacraments in Sixteenth-Century Mexico
Read more
Hijo Del Alma

Hijo Del Alma
Read more
Desde Alla

Desde Alla
Read more