Frédéric Serie

Floc: L'incroyable aventure d'une goutte d'eau

€ 23,84

M. Abu-Orf || B. Ormeci

A New Tool for Measuring Biosolids Floc Strength

€ 175,70

Le Floc''h-J

Imagerie Ultrasonore Quantitative � Haute Fr�quence de la Souris

€ 128,46

Ben H Peterson

Effect of Stats on the Rate of Coagulation and the Optimum Precipitation of Alum Floc

€ 21,94

Klaus Havelund || Jan Peleska || Bill Roscoe || Erik de Vink

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

€ 127,66

Fernando Bobillo || Paulo Cesar G. Costa || Claudia d'Amato || Nicola Fanizzi || Kathryn B. Laskey

Uncertainty Reasoning for the Semantic Web II: International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers

€ 75,10

Jeremy Avigad || Assia Mahboubi

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

€ 127,66

Didier Galmiche || Stephan Schulz || Roberto Sebastiani

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

€ 75,10

Hana Chockler || Georg Weissenbacher

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

€ 75,10

Hana Chockler || Georg Weissenbacher

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

€ 75,10