Kanály - Theory and Applications of Satisfiability Testing : :: Biblioteca ITESO

Podobné jednotky: Theory and Applications of Satisfiability Testing :

Rychlý náhled
Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /
Rychlý náhled
Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Rychlý náhled
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Rychlý náhled
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings /
Rychlý náhled
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /
Rychlý náhled
Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /
Rychlý náhled
Theory and Applications of Satisfiability Testing . SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings /
Rychlý náhled
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /
Rychlý náhled
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Rychlý náhled
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 /
Rychlý náhled
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
Rychlý náhled
Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings /
Rychlý náhled
Principles and Practice of Constraint Programming - CP 2001 : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Rychlý náhled
Testing of Communicating Systems : 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings /
Rychlý náhled
Theory and Application of Diagrams : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /
Rychlý náhled
Learning Theory : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings /
Rychlý náhled
Testing Applications on the Web : Test Planning for Mobile and Internet-Based Systems /
Rychlý náhled
Theory and practice of psychological testing.
Rychlý náhled
Theory and practice of psychological testing.
Rychlý náhled
Algorithmic Learning Theory : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings /
Rychlý náhled
Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings /
Rychlý náhled
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /
Rychlý náhled
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /
Rychlý náhled
Developments in Language Theory : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /

Autor: Fahiem Bacchus, Toby Walsh

Rychlý náhled
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0