Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Editat de Gabriel Ciobanu et al.
23 sep 2014
Paperback
Preț: 329.25 lei 411.55 lei
6-8 săpt.
-20%
Cărți de Dominique Méry
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Editat de Dominique Méry et al.
6 oct 2010
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Editat de Alexander Raschke et al.
23 mai 2021
Paperback
Preț: 368.90 lei 461.13 lei
6-8 săpt.
-20%
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Editat de Uwe Glässer et al.
15 mai 2023
Paperback
Preț: 488.56 lei 610.69 lei
6-8 săpt.
-20%
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Editat de Alexander Raschke et al.
15 mai 2020
Paperback
Preț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Editat de Yamine Ait-Ameur et al.
29 iul 2021
Paperback
Preț: 618.10 lei 772.63 lei
6-8 săpt.
-20%
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Editat de El Hassan Abdelwahed et al.
13 sep 2018
Paperback
Preț: 327.36 lei 409.20 lei
6-8 săpt.
-20%