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: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
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.)
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
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.)
String Processing and Information Retrieval: 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Erik D. Demaine (auth.), Roberto Grossi, Fabrizio Sebastiani, Fabrizio Silvestri (eds.)
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (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
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures
  • PDF
  • English
  • Year: 2004
  • Author: Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)
Quantitative Real-Time PCR: Methods and Protocols
  • PDF
  • English
  • Year: 2014
  • Author: Roberto Biassoni, Alessandro Raso (eds.)
Quantitative Real-Time PCR: Methods and Protocols
  • PDF
  • English
  • Year: 2014
  • Author: Roberto Biassoni, Alessandro Raso (eds.)
search