Home Advanced Search

Advanced Search - Page 1

Tests and Proofs
  • PDF
  • English
  • Year: 2018
  • Author: Catherine Dubois, Burkhart Wolff
Beyond: How Humankind Thinks About Heaven
  • EPUB
  • English
  • Year: 2021
  • Author: Wolff, Catherine
Not Less Than Everything: Catholic Writers on Heroes of Conscience, from Joan of Arc to Oscar Romero
  • EPUB
  • English
  • Year: 2013
  • Author: Catherine Wolff
Intelligent Computer Mathematics. 16th International Conference, CICM 2023 Cambridge, UK, September 5–8, 2023 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Catherine Dubois, Manfred Kerber
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Catherine Dubois; Manfred Kerber
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.)
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Martin Gogolla, Burkhart Wolff (eds.)
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.)
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Martin Gogolla, Burkhart Wolff (eds.)
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
  • EPUB
  • English
  • Year: 2023
  • Author: Catherine Dubois; Pierluigi San Pietro
search