Home Advanced Search
Advanced Search - Page 1
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
- English
- Year: 2022
- Author: Maurice H. ter Beek, Marjan Sirjani
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
- English
- Year: 2022
- Author: Maurice H. ter Beek, Rosemary Monahan
Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings
- English
- Year: 2017
- Author: Cimatti, Alessandro; Sirjani, Marjan
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
- English
- Year: 2019
- Author: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
- English
- Year: 2017
- Author: Mehdi Dastani, Marjan Sirjani (eds.)
Menjadi pemuda peka zaman langkah-langkah menjadi generasi idaman
- Indonesian
- Year: 2006
- Author: Raghib As-Sirjani
Maria Montessori
- EPUB
- Italian
- Year: 1999
- Author: Marjan Schwegman
Don't Lose Your Money or Your Mind: Simple Strategies to Invest with Confidence and Never Lose Your Principal
- EPUB
- English
- Year: 2019
- Author: Marjan Stojanovski