Pierluigi Graziani

Glorious Haravets: Illustrated Guide to Vegetables

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Sefm 2012 Satellite Events, Insuedu, Mokmasd, and Opencert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers

Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011, Proceedings

Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Formal Methods for an Informal World: Ictac 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures