Home Advanced Search

Advanced Search - Page 1

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science)
  • PDF
  • English
  • Year: 2022
  • Author: Maurice H. ter Beek (editor), Rosemary Monahan (editor)
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Maurice H. ter Beek, Rosemary Monahan
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–17, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Maurice H. ter Beek, Marjan Sirjani
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (eds.)
Creolizing Hegel
  • PDF
  • English
  • Year: 2017
  • Author: Michael Monahan (editor)
Handbuch der Statistik
  • PDF
  • German
  • Year: 1880
  • Author: Maurice Block (editor); H. v. Scheel (editor)
Animals in Dutch Travel Writing, 1800-present
  • PDF
  • English
  • Year: 2023
  • Author: Rick Honings (editor); Esther Beek (editor)
War and Refugees: The Western Sahara Conflict
  • PDF
  • English
  • Year: 1987
  • Author: Richard Lawless, Laila Monahan (editor)
search