Home Books

Books : Page 54235

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Armin Biere, Carla P. Gomes
Natural Language Understanding
Natural Language Understanding
  • DJVU
  • English
  • Year: 1994
  • Author: James Allen
A Journey Through Discrete Mathematics: A Tribute to Jiří Matoušek
A Journey Through Discrete Mathematics: A Tribute to Jiří Matoušek
  • PDF
  • English
  • Year: 2017
  • Author: Martin Loebl, Jaroslav Nešetřil, Robin Thomas
Foundations of Rigid Geometry I
Foundations of Rigid Geometry I
  • PDF
  • English
  • Year: 2018
  • Author: Kazuhiro Fujiwara, Fumiharu Kato
An Atlas of Erectile Dysfunction
An Atlas of Erectile Dysfunction
  • PDF
  • English
  • Year: 2003
  • Author: Roger S. Kirby
Entropy Methods for Diffusive Partial Differential Equations
Entropy Methods for Diffusive Partial Differential Equations
  • PDF
  • English
  • Year: 2016
  • Author: Ansgar Jüngel
Computational Methods with Applications in Bioinformatics Analysis
Computational Methods with Applications in Bioinformatics Analysis
  • PDF
  • English
  • Year: 2017
  • Author: Jeffrey J. P. Tsai, Jeffrey J. P. Tsai, Ka-log Ng
Dense Image Correspondences for Computer Vision
Dense Image Correspondences for Computer Vision
  • PDF
  • English
  • Year: 2015
  • Author: Tal Hassner, Ce Liu
The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability
The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability
  • PDF
  • English
  • Year: 2015
  • Author: Donald E. Knuth
Game theory, alive
  • PDF
  • English
  • Year: 2016
  • Author: Karlin A.R., Peres Y.
search