Mohammad Reza Mousavi – författare
959 kr
Skickas inom 5-8 vardagar
Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
849 kr
Skickas inom 10-15 vardagar
Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
1 029 kr
Skickas inom 10-15 vardagar
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
1 099 kr
Skickas inom 10-15 vardagar
Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
589 kr
Skickas inom 10-15 vardagar
Topics in Theoretical Computer Science
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
739 kr
Skickas inom 10-15 vardagar
739 kr
Skickas inom 10-15 vardagar
739 kr
Skickas inom 10-15 vardagar