Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

Titulo del libro: Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

Número de páginas: 456 páginas

Fecha de lanzamiento: June 13, 2008

ISBN: 3540372067

Editor: Springer

Descargue o lea el libro de Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science) en formato PDF y EPUB. Aquí puedes descargar cualquier libro en formato PDF o Epub gratis. Use el botón disponible en esta página para descargar o leer libros en línea.