Home Advanced Search

Advanced Search - Page 1

Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli (auth.), Bernhard Gramlich (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.)
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.)
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.)
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)
Genome Structure and Function: From Chromosomes Characterization to Genes Technology
  • PDF
  • English
  • Year: 1997
  • Author: C. Nicolini (auth.), Claudio Nicolini (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
Molecular Manufacturing
  • PDF
  • English
  • Year: 1996
  • Author: Claudio Nicolini (auth.), Claudio Nicolini, Sergei Vakula (eds.)
search