Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
Reflections of a Veteran Pessimist: Contemplating Modern Europe, Russia, and Jewish History
Precolonial Black Africa: A Comparative Study of the Political and Social Systems of Europe and Black Africa
Alexandre le Grand à la lumière des manuscrits et des premiers imprimés en Europe (XIIe-XVIe siècle): Matérialité des textes, contextes et paratextes: des lectures originales
Alexandre le Grand à la lumière des manuscrits et des premiers imprimés en Europe (XIIe-XVIe siècle): Matérialité des textes, contextes et paratextes: des lectures originales