نتایج جستجو
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Enrico Giunchiglia, Armando Tacchella, 2004
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Holger H. Hoos, David G. Mitchell, 2005
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Joao Marques-Silva, Karem A. Sakallah, 2007
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Hans Kleine Büning, Xishun Zhao, 2008
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Ofer Strichman, Stefan Szeider, 2010
Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Karem A. Sakallah, Laurent Simon, 2011
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Alessandro Cimatti, Roberto Sebastiani, 2012
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Matti Jarvisalo, Allen Van Gelder, 2013
Smart Graphics: 12th International Symposium, SG 2014, Taipei, Taiwan, August 27-29, 2014, Proceedings
Marc Christie, Tsai-Yen Li, 2014
Smart Graphics: 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised Selected Papers
Yaxi Chen, Marc Christie, Wenrong Tan, 2017
Theory and Practice of Digital Libraries: Second International Conference, TPDL 2012, Paphos, Cyprus, September 23-27, 2012, Proceedings
Panayiotis Zaphiris, George Buchanan, Edie Rasmussen, Fernando Loizides, 2012
Logic Programming: The 1999 International Conference
Danny De Schreye, 1999
International Tourism Development and the Gulf Cooperation Council States: Challenges and Opportunities
Marcus L. Stephenson, Ala Al-Hamarneh, 2017
Posthuman Dialogues in International Relations
Erika Cudworth, Stephen Hobden and Emilian Kavalski (eds.), 2018
L’expulsion des étrangers en droit international et européen
Anne-Lise Ducroquetz
The Palgrave International Handbook of School Discipline, Surveillance and Social Control
Jo Deakin, Emmeline Taylor, Aaron Kupchik (eds.), 2018
