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