Mohammad Reza Mousavi - Böcker
909 kr
Skickas inom 5-8 vardagar
Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
819 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
989 kr
Skickas
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
929 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
569 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
689 kr
Skickas inom 10-15 vardagar
Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
709 kr
Skickas inom 10-15 vardagar
Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
709 kr
Skickas inom 10-15 vardagar