Home Advanced Search

Advanced Search - Page 1

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 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 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
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.)
Transmission Techniques for 4G Systems
  • PDF
  • Year: 2012
  • Author: Mario Marques da Silva (Author); Americo Correia (Author); Rui Dinis (Author); Nuno Souto (Author); Joao Carlos Silva (Author)
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.)
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.)
Adhesive Bonding Technology and Testing
  • PDF
  • English
  • Year: 2023
  • Author: Ana Sofia Queiros Ferreira Barbosa, Lucas Filipe Martins da Silva, Ricardo Joao Camilo Carbas, Eduardo Andre Sousa Marques, Alireza Akhavan-Safar
The Bang-Bang Club: snapshots from a hidden war
  • PDF
  • English
  • Year: 2000
  • Author: Marinovich, Greg;Silva, Joao
Multimedia communications and networking
  • PDF
  • English
  • Year: 2012
  • Author: Mario Marques da Silva
search