Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Editat de Anne Remke et al.
31 oct 2014
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
Algorithms and Architectures for Parallel Processing: 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II
Editat de Xiang-he Sun et al.
sep 2014
Paperback
Preț: 339.55 lei 424.44 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Editat de Tiziana Margaria et al.
7 oct 2014
Paperback
Preț: 332.60 lei 415.75 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Editat de Tiziana Margaria et al.
7 oct 2014
Paperback
Preț: 337.18 lei 421.48 lei
6-8 săpt.
-20%
Combinatorial Optimization and Applications: 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings
Editat de Zhao Zhang et al.
19 noi 2014
Paperback
Preț: 343.23 lei 429.04 lei
6-8 săpt.
-20%
Swarm Intelligence Based Optimization: Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers
Editat de Patrick Siarry et al.
25 noi 2016
Paperback
Preț: 257.48 lei 321.84 lei
6-8 săpt.
-20%