Yannick Barthe's Documents

Yannick Barthe's Documents

Acting in an Uncertain World: An Essay on Technical Democracy (Inside Technology)

Acting in an Uncertain World: An Essay on Technical Democracy (Inside Technology)
Read more
The Call A Novel

The Call A Novel
Read more
WordPress Plugin Development Cookbook

WordPress Plugin Development Cookbook
Read more
The Call

The Call
Read more
Oracle WebCenter 11g PS3 Administration Cookbook

Oracle WebCenter 11g PS3 Administration Cookbook
Read more
WordPress Plugin Development Cookbook

WordPress Plugin Development Cookbook
Read more
200 Femmes de l'histoire : Des origines a nos jours

200 Femmes de l'histoire : Des origines a nos jours
Read more
The Call

The Call
Read more
WordPress Plugin Development Cookbook

WordPress Plugin Development Cookbook
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
Photoshop CS3 - Retouche photo - Les techniques de pro

Photoshop CS3 - Retouche photo - Les techniques de pro
Read more
The Call

The Call
Read more
Signed, Mata Hari: A Novel

Signed, Mata Hari: A Novel
Read more
Ties That Bind

Ties That Bind
Read more
L'allocation universelle

L'allocation universelle
Read more
Extreme Financial Risks: From Dependence to Risk Management

Extreme Financial Risks: From Dependence to Risk Management
Read more
Old Friend, We Made This for You

Old Friend, We Made This for You
Read more
Mathématiques de l'ingénieur

Mathématiques de l'ingénieur
Read more
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)
Read more
Baby Polar

Baby Polar
Read more
Nano-Architectured and Nanostructured Materials: Fabrication, Control and Properties

Nano-Architectured and Nanostructured Materials: Fabrication, Control and Properties
Read more
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Read more
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Read more
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
Productivity, Inequality, and the Digital Economy: A Transatlantic Perspective

Productivity, Inequality, and the Digital Economy: A Transatlantic Perspective
Read more
Cars, Carriers of Regionalism?

Cars, Carriers of Regionalism?
Read more
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
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
Theory of Zipf's law and beyond

Theory of Zipf's law and beyond
Read more
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Read more