Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

PDF
English
Year: 2012
Author: Alessandro Cimatti, Roberto Sebastiani

Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

PDF
English
Year: 2012
Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

PDF
English
Year: 2009
Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)

Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings

PDF
English
Year: 2017
Author: Cimatti, Alessandro; Sirjani, Marjan

Archaeological Landscapes of Roman Etruria: Research and Field Papers: 1 (Medito - Archaeological and Historical Landscapes of Mediterranean Central Italy)

PDF
English
Year: 2021
Author: Carolina Megale (editor), Alessandro Sebastiani (editor)

Automated Reasoning

PDF
English
Year: 2018
Author: Didier Galmiche, Stephan Schulz, Roberto Sebastiani

Learning to Quantify

PDF
English
Year: 2023
Author: Andrea Esuli, Alessandro Fabris, Alejandro Moreo, Fabrizio Sebastiani

Research and Advanced Technology for Digital Libraries: 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings

PDF
English
Year: 2010
Author: Mounia Lalmas, Joemon Jose, Andreas Rauber, Roberto Sebastiani, Ingo Frommholz

Automatic Text Categorization: from Information Retrieval to Support Vector Learning

PDF
English
Year: 2005
Author: Roberto Basili, Alessandro Moschitti

Quantitative Real-Time PCR: Methods and Protocols

PDF
English
Year: 2014
Author: Roberto Biassoni, Alessandro Raso (eds.)