Results for "constraint programming"

Results for "constraint programming" Showing 1 - 50 results of 222 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22constraint+programming%22&type=AllFields&lng=en 222 0 50 Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 / Thu, 01 Jan 2015 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-15248-6 https://find.library.upatras.gr/Record/978-3-319-15248-6 Electronic eBook 2015 0 Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / Thu, 01 Jan 2015 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-18008-3 https://find.library.upatras.gr/Record/978-3-319-18008-3 Electronic eBook 2015 0 Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-19282-6 https://find.library.upatras.gr/Record/978-3-319-19282-6 Electronic eBook 2015 0 Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / Thu, 01 Jan 2015 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-23219-5 https://find.library.upatras.gr/Record/978-3-319-23219-5 Electronic eBook 2015 0 Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / Thu, 01 Jan 2015 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-23485-4 https://find.library.upatras.gr/Record/978-3-319-23485-4 Electronic eBook 2015 0 Hybrid Metaheuristics Powerful Tools for Optimization / Fri, 01 Jan 2016 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-30883-8 https://find.library.upatras.gr/Record/978-3-319-30883-8 Blum, Christian Electronic eBook 2016 Blum, Christian 0 Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / Fri, 01 Jan 2016 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-29604-3 https://find.library.upatras.gr/Record/978-3-319-29604-3 Electronic eBook 2016 0 Internet and Distributed Computing Systems 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings / Fri, 01 Jan 2016 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-45940-0 https://find.library.upatras.gr/Record/978-3-319-45940-0 Electronic eBook 2016 0 Progress in Artificial Intelligence - IBERAMIA 98 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998 Proceedings / Thu, 01 Jan 1998 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-49795-0 https://find.library.upatras.gr/Record/978-3-540-49795-0 Electronic eBook 1998 0 Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / Wed, 01 Jan 1997 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69249-2 https://find.library.upatras.gr/Record/978-3-540-69249-2 Electronic eBook 1997 0 Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings / Tue, 01 Jan 2002 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45931-6 https://find.library.upatras.gr/Record/978-3-540-45931-6 Electronic eBook 2002 0 Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / Wed, 01 Jan 2003 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-36607-2 https://find.library.upatras.gr/Record/978-3-540-36607-2 Electronic eBook 2003 0 MICAI 2002: Advances in Artificial Intelligence Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings / Tue, 01 Jan 2002 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-46016-9 https://find.library.upatras.gr/Record/978-3-540-46016-9 Electronic eBook 2002 0 Advances in Information Systems First International Conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000, Proceedings / Sat, 01 Jan 2000 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-40888-8 https://find.library.upatras.gr/Record/978-3-540-40888-8 Electronic eBook 2000 0 Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / Thu, 01 Jan 2004 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-30227-8 https://find.library.upatras.gr/Record/978-3-540-30227-8 Electronic eBook 2004 0 Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / Thu, 01 Jan 1998 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-49481-2 https://find.library.upatras.gr/Record/978-3-540-49481-2 Electronic eBook 1998 0 Advances in Artificial Intelligence 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings / Mon, 01 Jan 2001 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45153-2 https://find.library.upatras.gr/Record/978-3-540-45153-2 Electronic eBook 2001 0 Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings / Mon, 01 Jan 2001 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45578-3 https://find.library.upatras.gr/Record/978-3-540-45578-3 Electronic eBook 2001 0 Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings / Tue, 01 Jan 2002 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-46135-7 https://find.library.upatras.gr/Record/978-3-540-46135-7 Electronic eBook 2002 0 Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / Wed, 01 Jan 1997 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69642-1 https://find.library.upatras.gr/Record/978-3-540-69642-1 Electronic eBook 1997 0 Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / Mon, 01 Jan 2001 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45575-2 https://find.library.upatras.gr/Record/978-3-540-45575-2 Electronic eBook 2001 0 Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Thu, 01 Jan 1998 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69722-0 https://find.library.upatras.gr/Record/978-3-540-69722-0 Electronic eBook 1998 0 Object-Oriented Technology. ECOOP'99 Workshop Reader ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings / Fri, 01 Jan 1999 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-46589-8 https://find.library.upatras.gr/Record/978-3-540-46589-8 Electronic eBook 1999 0 Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / Sat, 01 Jan 2000 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45022-1 https://find.library.upatras.gr/Record/978-3-540-45022-1 Electronic eBook 2000 0 Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / Mon, 01 Jan 2001 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45241-6 https://find.library.upatras.gr/Record/978-3-540-45241-6 Electronic eBook 2001 0 Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Thu, 01 Jan 1998 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69353-6 https://find.library.upatras.gr/Record/978-3-540-69353-6 Electronic eBook 1998 0 Coordination Languages and Models Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings / Wed, 01 Jan 1997 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69527-1 https://find.library.upatras.gr/Record/978-3-540-69527-1 Electronic eBook 1997 0 Analysis and Visualization Tools for Constraint Programming Constraint Debugging / Sat, 01 Jan 2000 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-40016-5 https://find.library.upatras.gr/Record/978-3-540-40016-5 Electronic eBook 2000 0 Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / Sat, 01 Jan 2000 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-46584-3 https://find.library.upatras.gr/Record/978-3-540-46584-3 Electronic eBook 2000 0 Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / Tue, 01 Jan 2002 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45788-6 https://find.library.upatras.gr/Record/978-3-540-45788-6 Electronic eBook 2002 0 Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings / Wed, 01 Jan 1997 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69187-7 https://find.library.upatras.gr/Record/978-3-540-69187-7 Electronic eBook 1997 0 Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Fri, 01 Jan 1999 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-48164-5 https://find.library.upatras.gr/Record/978-3-540-48164-5 Electronic eBook 1999 0 Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings / Sat, 01 Jan 2000 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45349-9 https://find.library.upatras.gr/Record/978-3-540-45349-9 Electronic eBook 2000 0 Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings / Thu, 01 Jan 2004 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-30201-8 https://find.library.upatras.gr/Record/978-3-540-30201-8 Electronic eBook 2004 0 Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings / Sat, 01 Jan 2000 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-44957-7 https://find.library.upatras.gr/Record/978-3-540-44957-7 Electronic eBook 2000 0 Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / Thu, 01 Jan 1998 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-49201-6 https://find.library.upatras.gr/Record/978-3-540-49201-6 Electronic eBook 1998 0 Advanced Information Systems Engineering 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002 Proceedings / Tue, 01 Jan 2002 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-47961-1 https://find.library.upatras.gr/Record/978-3-540-47961-1 Electronic eBook 2002 0 Programming Constraint Services High-Level Programming of Standard and New Constraint Services / Tue, 01 Jan 2002 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45945-3 https://find.library.upatras.gr/Record/978-3-540-45945-3 Schulte, Christian Electronic eBook 2002 Schulte, Christian 0 Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 / Thu, 01 Jan 1998 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-68532-6 https://find.library.upatras.gr/Record/978-3-540-68532-6 Electronic eBook 1998 0 Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Mon, 01 Jan 2001 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-47764-8 https://find.library.upatras.gr/Record/978-3-540-47764-8 Electronic eBook 2001 0 Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / Fri, 01 Jan 2016 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-50349-3 https://find.library.upatras.gr/Record/978-3-319-50349-3 Electronic eBook 2016 0 Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach / Fri, 01 Jan 2016 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-50137-6 https://find.library.upatras.gr/Record/978-3-319-50137-6 Electronic eBook 2016 0 Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings / Fri, 01 Jan 2016 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-319-33954-2 https://find.library.upatras.gr/Record/978-3-319-33954-2 Electronic eBook 2016 0 Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings / Tue, 01 Jan 2002 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-36078-0 https://find.library.upatras.gr/Record/978-3-540-36078-0 Electronic eBook 2002 0 Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / Mon, 01 Jan 2001 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45406-9 https://find.library.upatras.gr/Record/978-3-540-45406-9 Electronic eBook 2001 0 Global Optimization and Constraint Satisfaction First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers / Wed, 01 Jan 2003 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-39901-8 https://find.library.upatras.gr/Record/978-3-540-39901-8 Electronic eBook 2003 0 Principles and Practice of Constraint Programming - CP 2003 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / Wed, 01 Jan 2003 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-45193-8 https://find.library.upatras.gr/Record/978-3-540-45193-8 Electronic eBook 2003 0 CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings / Wed, 01 Jan 1997 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69188-4 https://find.library.upatras.gr/Record/978-3-540-69188-4 Electronic eBook 1997 0 Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / Fri, 01 Jan 1999 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-48242-0 https://find.library.upatras.gr/Record/978-3-540-48242-0 Electronic eBook 1999 0 Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings / Wed, 01 Jan 1997 10:05:18 +0200 https://find.library.upatras.gr/Record/978-3-540-69549-3 https://find.library.upatras.gr/Record/978-3-540-69549-3 Electronic eBook 1997 0