Roberto Sebastiani - Böcker

Visar alla böcker från författaren Roberto Sebastiani.

4 produkter

Kategorier

4 produkter

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

Av Didier Galmiche, Stephan Schulz m. fl

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

Av Silvio Ghilardi, Roberto Sebastiani

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

Av Mounia Lalmas, Joemon Jose m. fl

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

Av Alessandro Cimatti, Roberto Sebastiani

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar