5 Ebooks por Roberto Sebastiani
Didier Galmiche & Stephan Schulz: Automated Reasoning
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 …
EPUB
Inglês
DRM
€57.37
Silvio Ghilardi & Roberto Sebastiani: Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, Fro Co S 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full …
PDF
Inglês
DRM
€57.02
Ingo Frommholz & Joemon Jose: Research and Advanced Technology for Digital Libraries
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 …
PDF
Inglês
DRM
€57.54
Alessandro Cimatti & Roberto Sebastiani: Theory and Applications of Satisfiability Testing — SAT 2012
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 …
PDF
Inglês
DRM
€57.78
