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
  • PDF
  • 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
  • PDF
  • English
  • Year: 2020
  • Author: Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
Handbook of Formal Analysis and Verification in Cryptography
  • PDF
  • English
  • Year: 2024
  • Author: Sedat Akleylek, Besik Dundua
Handbook of Formal Analysis and Verification in Cryptography
  • PDF
  • English
  • Year: 2023
  • Author: Sedat Akleylek (editor), Besik Dundua (editor)
Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Sergio Pozzi, Gianluca Della Vedova, Giancarlo Mauri (auth.), Vincent Danos, Vincent Schachter (eds.)
Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi (auth.), Steven L. Salzberg, Tandy Warnow (eds.)
Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi (auth.), Steven L. Salzberg, Tandy Warnow (eds.)
Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi (auth.), Steven L. Salzberg, Tandy Warnow (eds.)
Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Jarkko Kari, Florin Manea, Ion Petre (eds.)
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Cezar Câmpeanu, Florin Manea, Jeffrey Shallit (eds.)
search