Home Advanced Search
Advanced Search - Page 1
Unity of Logic and Computation. 19th Conference on Computability in Europe, CiE 2023 Batumi, Georgia, July 24–28, 2023 Proceedings
- English
- Year: 2023
- Author: Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
- English
- Year: 2020
- Author: Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
Handbook of Formal Analysis and Verification in Cryptography
- English
- Year: 2024
- Author: Sedat Akleylek, Besik Dundua
Handbook of Formal Analysis and Verification in Cryptography
- English
- Year: 2023
- Author: Sedat Akleylek (editor), Besik Dundua (editor)
Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
- English
- Year: 2017
- Author: Jarkko Kari, Florin Manea, Ion Petre (eds.)
Recursion Theory and Complexity: Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997
- English
- Year: 1999
- Author: Marat M. Arslanov (editor); Steffen Lempp (editor)
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
- English
- Year: 2019
- Author: Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
Women and Shari'a Law: The Impact of Legal Pluralism in the UK
- English
- Year: 2016
- Author: Elham Manea