Roberto Sebastiani – författare

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

4 produkter

Kategorier

4 produkter

Del 10900
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
AvDidier Galmiche,Stephan Schulzm. 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
AvSilvio 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
AvMounia Lalmas,Joemon Josem. 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
AvAlessandro Cimatti,Roberto Sebastiani
Häftad, Engelska, 2012
709 kr
Skickas inom 10-15 vardagar