Browse Results

Showing 29,026 through 29,050 of 54,582 results
Title Author ISBN Copyright Features Action
Logic-Based 0–1 Constraint Programming (Operations Research/Computer Science Interfaces Series #5) 3746294 Peter Barth 9781461313151 1996
Logic-Based Benders Decomposition: Theory and Applications (Synthesis Lectures on Operations Research and Applications) 5782001 John Hooker 9783031450396 2024 Contains images
Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction (Wiley Series in Discrete Mathematics and Optimization #2) 2971089 John Hooker 9781118031285 2000
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7844) 4725431 Elvira Albert 9783642381973 2013
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (Lecture Notes in Computer Science #13290) 4464643 Emanuele De Angelis Wim Vanhoof 9783030988692 2022 Contains images
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science #1817) 4726190 Annalisa Bossi 9783540451488 2000
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science #3018) 4792364 Maurice Bruynooghe 9783540259381 2004
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3573) 4770830 Sandro Etalle 9783540316831 2005
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9527) 2837935 Moreno Falaschi 9783319274362 2015 Contains images
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Lecture Notes in Computer Science #12561) 3902975 Maribel Fernández 9783030684464 2021 Contains images
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10855) 2266012 Fabio Fioravanti John P. Gallagher 9783319944609 2018 Contains images
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8901) 2824222 Gopal Gupta Ricardo Peña 9783319141251 2014
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science #5438) 4714727 Michael Hanus 9783642005152 2009
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10184) 2248060 Manuel V Hermenegildo Pedro Lopez-Garcia 9783319631394 2017 Contains images
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3901) 4611610 Patricia M. Hill 9783540326564 2006
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers (Lecture Notes in Computer Science #4915) 4669465 Andy King 9783540787693 2008
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers (Lecture Notes in Computer Science #2042) 4680319 Kung-Kiu Lau 9783540451426 2001
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science #2664) 4813408 M. Leuschel 9783540450139 2003
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11408) 2532790 Fred Mesnard Peter J. Stuckey 9783030138387 2019 Contains images
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science #2372) 4710015 Alberto Pettorossi 9783540456070 2002
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Lecture Notes in Computer Science #8981) 2827766 Maurizio Proietti Hirohisa Seki 9783319178226 2015 Contains images
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4407) 4832528 Germán Puebla 9783540714101 2007
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science #6037) 4788864 Danny De Schreye 9783642125928 2010
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science #7225) 4792228 Germán Vidal 9783642322112 2012
Logic Circuit Design: Selected Methods 4704908 Shimon P. Vingron 9783642276576 2012 Contains images

Refine Search

Showing 29,026 through 29,050 of 54,582 results