Channels - Theory and Applications of Satisfiability Testing : :: Biblioteca ITESO

相似書籍: Theory and Applications of Satisfiability Testing :

Quick Look
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Quick Look
Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /
Quick Look
Theory and Applications of Satisfiability Testing . SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings /
Quick Look
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /
Quick Look
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
Quick Look
Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /
Quick Look
Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Quick Look
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 /
Quick Look
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings /
Quick Look
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /
Quick Look
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
Quick Look
Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
Quick Look
Systems Modeling and Simulation: Theory and Applications : Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers /
Quick Look
Game Theory for Networks : Third International ICST Conference, GameNets 2012, Vancouver, Canada, May 24-26, 2012, Revised Selected Papers /
Quick Look
Implementation and Application of Automata : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
Quick Look
Software Engineering Research and Applications : Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /
Quick Look
Testing Applications on the Web : Test Planning for Mobile and Internet-Based Systems /
Quick Look
Theory and practice of psychological testing.
Quick Look
Theory and practice of psychological testing.
Quick Look
Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings /
Quick Look
Craking the SAT and PSAT with sample tests on computer disk /
Quick Look
Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings /
Quick Look
Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /
Quick Look
Computer Algebra and Geometric Algebra with Applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers /

作者: Holger H. Hoos, David G. Mitchell

Quick Look
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /

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