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
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
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.)
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
A Biosemiotic Ontology: The Philosophy of Giorgio Prodi
  • PDF
  • English
  • Year: 2018
  • Author: Felice Cimatti
Filosofia dell’animalità
  • PDF
  • Italian
  • Year: 2017
  • Author: Cimatti, Felice
Il senso della mente. Per una critica del cognitivismo
  • PDF
  • Italian
  • Year: 2004
  • Author: Felice Cimatti
Cose: Per una filosofia del reale
  • EPUB
  • Italian
  • Year: 2018
  • Author: Felice Cimatti
Il taglio. Linguaggio e pulsione di morte
  • PDF
  • Italian
  • Year: 2015
  • Author: Felice Cimatti
search