Home Advanced Search

Advanced Search - Page 1

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 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 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 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 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
Control of Biological and Drug-Delivery Systems for Chemical, Biomedical, and Pharmaceutical Engineering
  • PDF
  • English
  • Year: 2013
  • Author: Laurent Simon(auth.)
Small States Inside and Outside the European Union: Interests and Policies
  • PDF
  • English
  • Year: 1998
  • Author: Laurent Goetschel (auth.), Laurent Goetschel (eds.)
The Politics of Sleep: Governing (Un)consciousness in the Late Modern Age
  • PDF
  • English
  • Year: 2011
  • Author: Simon J. Williams (auth.)
The Influencer Economy: How to Launch Your Idea, Share It with the World, and Thrive in the Digital Age
  • EPUB
  • English
  • Year: 2016
  • Author: Ryan Williams [Williams, Ryan]
Laptops Just the Steps For Dummies (For Dummies (Computer Tech))
  • PDF
  • English
  • Year: 2008
  • Author: Ryan Williams
search