Roberto Sebastiani - Böcker
Visar alla böcker från författaren Roberto Sebastiani.
4 produkter
4 produkter
Del 10900 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Häftad, Engelska, 2009
729 kr
Skickas inom 10-15 vardagar
Research and Advanced Technology for Digital Libraries
14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings
Häftad, Engelska, 2010
729 kr
Skickas inom 10-15 vardagar
Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Häftad, Engelska, 2012
709 kr
Skickas inom 10-15 vardagar