Roberto Sebastiani – författare
Visar alla böcker från författaren Roberto Sebastiani. Handla med fri frakt och snabb leverans.
8 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, 2018
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International …
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 Roberto Sebastiani, Stephan Schulz m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International …
Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Av Silvio Ghilardi, Roberto Sebastiani
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on …
Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Av Roberto Sebastiani, Silvio Ghilardi
E-bok, 2009
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on …
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, 2010
568 kr
Lägg i varukorg
In the 14 years since its ?rst edition back in 1997, the European Conference on Research and Advanced Technology for Digital Libraries (ECDL) has become the reference meeting for an interdisciplinary community of researchers and practitioners whose professional activities revolve around the theme …
Research and Advanced Technology for Digital Libraries
14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings
Av Ingo Frommholz, Roberto Sebastiani m. fl.
E-bok, 2010
739 kr
Lägg i varukorg
In the 14 years since its ?rst edition back in 1997, the European Conference on Research and Advanced Technology for Digital Libraries (ECDL) has become the reference meeting for an interdisciplinary community of researchers and practitioners whose professional activities revolve around the theme …
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, 2012
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were …
Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Av Roberto Sebastiani, Alessandro Cimatti
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were …
