Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing – SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Martin Davis (auth.), João Marques-Silva, Karem A. Sakallah (eds.)
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2007
  • Author: Joao Marques-Silva, Karem A. Sakallah
Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ryan Williams (auth.), Karem A. Sakallah, Laurent Simon (eds.)
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Hossein M. Sheini, Karem A. Sakallah (auth.), Armin Biere, Carla P. Gomes (eds.)
Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Karem A. Sakallah, Laurent Simon
Precision agriculture ’13
  • PDF
  • English
  • Year: 2013
  • Author: J. Serrano, S. Shahidian, J. Marques da Silva (auth.), John V. Stafford (eds.)
Entertaining Lisbon : music, theater, and modern life in the late 19th century
  • PDF
  • English
  • Year: 2016
  • Author: Silva, João
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Biografia José Saramago
  • EPUB
  • Portuguese
  • Year: 2021
  • Author: João Marques Lopes
Dependable Computing — EDCC-2: Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Jean-Charles Fabre, Tanguy Pérennou (auth.), Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (eds.)
search