Home Advanced Search

Advanced Search - Page 1

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.)
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: 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Greg Nelson (auth.), Alessandro Armando (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.)
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic, 14)
  • DJVU
  • English
  • Year: 2010
  • Author: Silvio Ghilardi, M. Zawadowski
Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics
  • PDF
  • English
  • Year: 2002
  • Author: Silvio Ghilardi, Marek Zawadowski
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
search