Αποτελέσματα για "constraint satisfaction problem"

Αποτελέσματα για "constraint satisfaction problem" Εμφανίζονται 1 - 50 Αποτελέσματα από 142 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22constraint+satisfaction+problem%22&type=AllFields&lng=el 142 0 50 Artificial Intelligence Perspectives and Applications Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Applications / Thu, 01 Jan 2015 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-18476-0 https://find.library.upatras.gr/Record/978-3-319-18476-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computational Complexity of Solving Equation Systems Thu, 01 Jan 2015 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-21750-5 https://find.library.upatras.gr/Record/978-3-319-21750-5 Broniek, Przemysław Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Broniek, Przemysław 0 Bridging Constraint Satisfaction and Boolean Satisfiability Thu, 01 Jan 2015 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-21810-6 https://find.library.upatras.gr/Record/978-3-319-21810-6 Petke, Justyna Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Petke, Justyna 0 Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / Thu, 01 Jan 2015 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-23264-5 https://find.library.upatras.gr/Record/978-3-319-23264-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings / Fri, 01 Jan 2016 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-39636-1 https://find.library.upatras.gr/Record/978-3-319-39636-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Decision Procedures An Algorithmic Point of View / Fri, 01 Jan 2016 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-662-50497-0 https://find.library.upatras.gr/Record/978-3-662-50497-0 Kroening, Daniel Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Kroening, Daniel 0 Symbolic and Quantitative Approaches to Reasoning with Uncertainty 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings / Wed, 01 Jan 2003 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45062-7 https://find.library.upatras.gr/Record/978-3-540-45062-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 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 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-36607-2 https://find.library.upatras.gr/Record/978-3-540-36607-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Mathematical Foundations of Computer Science 2000 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings / Sat, 01 Jan 2000 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-44612-5 https://find.library.upatras.gr/Record/978-3-540-44612-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Artificial Evolution 4th European Conference, AE'99 Dunkerque, France, November 3-5, 1999 Selected Papers / Sat, 01 Jan 2000 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-44908-9 https://find.library.upatras.gr/Record/978-3-540-44908-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / Thu, 01 Jan 1998 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-49481-2 https://find.library.upatras.gr/Record/978-3-540-49481-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings / Sat, 01 Jan 2000 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-44404-6 https://find.library.upatras.gr/Record/978-3-540-44404-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Intelligent Agents V: Agents Theories, Architectures, and Languages 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings / Fri, 01 Jan 1999 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-49057-9 https://find.library.upatras.gr/Record/978-3-540-49057-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computing and Combinatorics 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings / Tue, 01 Jan 2002 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45655-1 https://find.library.upatras.gr/Record/978-3-540-45655-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 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 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45153-2 https://find.library.upatras.gr/Record/978-3-540-45153-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45578-3 https://find.library.upatras.gr/Record/978-3-540-45578-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-46135-7 https://find.library.upatras.gr/Record/978-3-540-46135-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Engineering of Intelligent Systems 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings / Mon, 01 Jan 2001 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45517-2 https://find.library.upatras.gr/Record/978-3-540-45517-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings / Thu, 01 Jan 1998 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-68066-6 https://find.library.upatras.gr/Record/978-3-540-68066-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Artificial Intelligence: Methodology, Systems, and Applications 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings / Thu, 01 Jan 2004 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-30106-6 https://find.library.upatras.gr/Record/978-3-540-30106-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeto, NY, USA, August 24-26,2003 / Wed, 01 Jan 2003 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45198-3 https://find.library.upatras.gr/Record/978-3-540-45198-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Parallel Problem Solving from Nature - PPSN V 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings / Thu, 01 Jan 1998 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-49672-4 https://find.library.upatras.gr/Record/978-3-540-49672-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Advanced Topics in Artificial Intelligence 10th Australian Joint Conference on Artificial Intelligence AI'97, Perth, Australia, November 30 - December 4, 1997. Proceedings / Wed, 01 Jan 1997 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-69649-0 https://find.library.upatras.gr/Record/978-3-540-69649-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Innovations in Applied Artificial Intelligence 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings / Thu, 01 Jan 2004 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-24677-0 https://find.library.upatras.gr/Record/978-3-540-24677-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / Wed, 01 Jan 1997 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-69642-1 https://find.library.upatras.gr/Record/978-3-540-69642-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / Sat, 01 Jan 2000 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45022-1 https://find.library.upatras.gr/Record/978-3-540-45022-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings / Tue, 01 Jan 2002 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45465-6 https://find.library.upatras.gr/Record/978-3-540-45465-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Stochastic Algorithms: Foundations and Applications International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings / Mon, 01 Jan 2001 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45322-2 https://find.library.upatras.gr/Record/978-3-540-45322-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 AI 2001: Advances in Artificial Intelligence 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings / Mon, 01 Jan 2001 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45656-8 https://find.library.upatras.gr/Record/978-3-540-45656-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Advances in Artificial Intelligence 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000 Montreal, Quebec, Canada, May 14-17, 2000 Proceedings / Sat, 01 Jan 2000 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45486-1 https://find.library.upatras.gr/Record/978-3-540-45486-1 Hamilton, Howard J. Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 Hamilton, Howard J. 0 Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings / Wed, 01 Jan 1997 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-69187-7 https://find.library.upatras.gr/Record/978-3-540-69187-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Applications of Evolutionary Computing EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3-4, 2002. Proceedings / Tue, 01 Jan 2002 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-46004-6 https://find.library.upatras.gr/Record/978-3-540-46004-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Computing with Words in Information/Intelligent Systems 2 Applications / Fri, 01 Jan 1999 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-7908-1872-7 https://find.library.upatras.gr/Record/978-3-7908-1872-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45349-9 https://find.library.upatras.gr/Record/978-3-540-45349-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Flexible Query Answering Systems 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings / Thu, 01 Jan 2004 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-25957-2 https://find.library.upatras.gr/Record/978-3-540-25957-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Ordered Sets An Introduction with Connections from Combinatorics to Topology / Fri, 01 Jan 2016 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-29788-0 https://find.library.upatras.gr/Record/978-3-319-29788-0 Schröder, Bernd Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Schröder, Bernd 0 Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach / Fri, 01 Jan 2016 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-50137-6 https://find.library.upatras.gr/Record/978-3-319-50137-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 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 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-39901-8 https://find.library.upatras.gr/Record/978-3-540-39901-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Topics in Artificial Intelligence 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002. Proceedings / Tue, 01 Jan 2002 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-36079-7 https://find.library.upatras.gr/Record/978-3-540-36079-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Coordination Languages and Models 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / Sat, 01 Jan 2000 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-45263-8 https://find.library.upatras.gr/Record/978-3-540-45263-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings / Fri, 01 Jan 1999 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-48085-3 https://find.library.upatras.gr/Record/978-3-540-48085-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Progress in Artificial Intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / Wed, 01 Jan 1997 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-540-69605-6 https://find.library.upatras.gr/Record/978-3-540-69605-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Αυτόματη δημιουργία σταυρολέξων Fri, 01 Jan 2016 19:03:51 +0200 https://find.library.upatras.gr/Record/nemertes-10889-9584 https://find.library.upatras.gr/Record/nemertes-10889-9584 Χαλκιόπουλος, Χρήστος Thesis 2016 Χαλκιόπουλος, Χρήστος 0 Σύστημα αυτόματης κατασκευής και επίλυσης σταυρολέξων Fri, 01 Jan 2021 19:03:51 +0200 https://find.library.upatras.gr/Record/nemertes-10889-15068 https://find.library.upatras.gr/Record/nemertes-10889-15068 Καραθανάσης, Σπυρίδων 2021 Καραθανάσης, Σπυρίδων 0 Ανάπτυξη περιβάλλοντος για την παραγωγή ακολουθιών συναρμολόγησης υπό περιορισμούς κατά τον σχεδιασμό Wed, 01 Jan 2020 19:03:51 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13216 https://find.library.upatras.gr/Record/nemertes-10889-13216 Στεφανίδης, Δημήτριος Thesis 2020 Στεφανίδης, Δημήτριος 0 Μοντέλα ασυνήθους δικτυακής κυκλοφορίας σε TCP/IP δικτυακά υπολογιστικά περιβάλλοντα Thu, 01 Jan 2009 19:03:51 +0200 https://find.library.upatras.gr/Record/nemertes-10889-1484 https://find.library.upatras.gr/Record/nemertes-10889-1484 Κομνηνός, Θεόδωρος Thesis 2009 Κομνηνός, Θεόδωρος 0 Μοντέλα διάδοσης απειλών σε δίκτυα υπολογιστών : ένα προτεινόμενο μοντέλο Thu, 01 Jan 2009 19:03:51 +0200 https://find.library.upatras.gr/Record/nemertes-10889-1594 https://find.library.upatras.gr/Record/nemertes-10889-1594 Βαβίτσας, Γιώργος Thesis 2009 Βαβίτσας, Γιώργος 0 Ανάπτυξη εφαρμογής για την αυτόματη παραγωγή σταυρολέξων από βάση δεδομένων ελληνικών λέξεων Sun, 01 Jan 2012 19:03:51 +0200 https://find.library.upatras.gr/Record/nemertes-10889-4888 https://find.library.upatras.gr/Record/nemertes-10889-4888 Τραυλός, Σπυρίδων Thesis 2012 Τραυλός, Σπυρίδων 0 Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / Thu, 01 Jan 2015 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-319-28702-7 https://find.library.upatras.gr/Record/978-3-319-28702-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / Thu, 01 Jan 2015 19:03:51 +0200 https://find.library.upatras.gr/Record/978-3-662-47672-7 https://find.library.upatras.gr/Record/978-3-662-47672-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0