Home Advanced Search

Advanced Search - Page 1

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, 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 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.)
Introducing Erlang: Getting Started in Functional Programming
  • PDF
  • English
  • Year: 2017
  • Author: Simon St. Laurent
Introducing Erlang: Getting Started in Functional Programming
  • EPUB
  • English
  • Year: 2017
  • Author: Simon St. Laurent
Introducing Erlang: Getting Started in Functional Programming
  • PDF
  • English
  • Year: 2017
  • Author: Simon St. Laurent
Introducing Erlang: Getting Started in Functional Programming
  • AZW3
  • English
  • Year: 2017
  • Author: Simon St. Laurent
Introducing Erlang
  • PDF
  • English
  • Year: 2013
  • Author: Simon St. Laurent
Xml: A Primer
  • PDF
  • English
  • Year: 1998
  • Author: Simon St. Laurent
search