Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Editat de Silvio Ghilardi et al.
7 sep 2009
Paperback
Preț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
Cărți de Roberto Sebastiani
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Editat de Alessandro Cimatti et al.
22 iun 2012
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Editat de Didier Galmiche et al.
iul 2018
Paperback
Preț: 340.99 lei 426.24 lei
6-8 săpt.
-20%