Theory and applications of satisfiability testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /

Theory and applications of satisfiability testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Hutchison, David
Формат:	eКнига
Мова:	English
Опубліковано:	Berlin, Heidelberg Springer Berlin 2009.
Серія:	Lecture Notes in Computer Science, 5584
Предмети:	Computer science
Онлайн доступ:	Click here to view the full text content
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Опубліковано: (2010)

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Опубліковано: (2013)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Опубліковано: (2012)

Theory and applications of satisfiability testing - SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Опубліковано: (2014)

Theory and applications of satisfiability testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
Опубліковано: (2006)

Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Опубліковано: (2005)

SAT 2005 : satisfiability research in the Year 2005 /

Theory and Applications of Satisfiability Testing, SAT 2018: 21st International Conference SAT 2018 held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 9-12 2018 Proceeding/
Опубліковано: (2018)

Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

The insider's guide to the SAT /
за авторством: Weber, Karl
Опубліковано: (2001)

SAT math workbook
Опубліковано: (2000)

SAT math lessons

Inside the SAT & PSAT

SAT math workbook
Опубліковано: (2000)

Bob Miller's SAT math for the clueless : SAT MATH /
за авторством: Miller, Robert
Опубліковано: (2005)

SAT vocabulary prep level 1
Опубліковано: (2008)

SAT vocabulary prep level 1
Опубліковано: (2008)

Numerical mathematics and advanced applications 2009 proceedings of ENUMATH 2009, the 8th european conference on numerical mathematics and advanced applications, Uppsala, July 2009 /
Опубліковано: (2010)

CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
Опубліковано: (2009)

Schaum's quick guide to the verbal SAT /
за авторством: Sova, Dawn B.
Опубліковано: (2001)

SAT score-raising math dictionary
за авторством: Le Ny, Jeanine
Опубліковано: (2008)

SAT score-raising math dictionary
за авторством: Le Ny, Jeanine
Опубліковано: (2008)

Developments in language theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /
Опубліковано: (2009)

Applications and theory of petri nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Опубліковано: (2009)

SAT-based scalable formal verification solutions /
за авторством: Ganai, Malay K.
Опубліковано: (2007)

By the river piedra i sat down and wept /
за авторством: Coelho, Paulo
Опубліковано: (1994)

By the river piedra i sat down and wept /
за авторством: Coelho, Paulo
Опубліковано: (1994)

Intelligent environments 2009 : proceedings of the 5th International Conference on Intelligent Environments, Barcelona 2009 /
Опубліковано: (2009)

Computational science and its applications ICCSA 2009 international conference, Seoul, Korea, June 29-July 2, 2009. Proceedings, Part I /
Опубліковано: (2009)

Computational science and its applications ICCSA 2009 international conference, Seoul, Korea, June 29-July 2, 2009. Proceedings, Part II /
Опубліковано: (2009)

tests and proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Опубліковано: (2009)

Advances in cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings /
Опубліковано: (2009)

Gyroless attitude nonlinear observer for RazakSAT satellite
за авторством: Nor Hazadura Hamzah
Опубліковано: (2018)

Gyroless attitude nonlinear observer for RazakSAT satellite
за авторством: Nor Hazadura Hamzah
Опубліковано: (2018)

Development of an attitude control system for InnoSAT satellite /
за авторством: Muhyi Yaakop
Опубліковано: (2011)

Development of an attitude control system for InnoSAT satellite /
за авторством: Muhyi Yaakop
Опубліковано: (2011)

Advances in cryptology - Eurocrypt 2009 : 28th annual international conference on the theory and applications of cryptographic techniques, Cologne, Germany, April 26-30, 2009 proceedings /
Опубліковано: (2009)

High quality test pattern generation and boolean satisfiability /
за авторством: Eggersglub, Stephan
Опубліковано: (2012)

Theory and practice of model transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings /
Опубліковано: (2009)

Combinatorial optimization and applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
Опубліковано: (2009)