SAT 2005 Satisfiability Research in the Year 2005 /

SAT 2005 Satisfiability Research in the Year 2005 /

Εμφάνιση άλλων εκδόσεων (1)

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning proble...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Giunchiglia, Enrico (Επιμελητής έκδοσης), Walsh, Toby (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2006.
Θέματα:	Computer science. Software engineering. Computers. Artificial intelligence. Computer Science. Software Engineering/Programming and Operating Systems. Artificial Intelligence (incl. Robotics). Theory of Computation.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Έκδοση: (2017)

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
Έκδοση: (2016)

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers /
Έκδοση: (2006)

History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
Έκδοση: (2016)

Reverse Engineering
Έκδοση: (1996)

Knowledge-Based Software Engineering
Έκδοση: (1997)

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers /
Έκδοση: (2005)

SAT 2005 Satisfiability Research in the Year 2005
ανά: Giunchiglia, Enrico
Έκδοση: (2006)

Metasynthetic Computing and Engineering of Complex Systems
ανά: Cao, Longbing
Έκδοση: (2015)

Model Driven Engineering and Ontology Development
ανά: Deved¿ic, Vladan, κ.ά.
Έκδοση: (2009)

Software Verification and Validation An Engineering and Scientific Approach /
ανά: Fisher, Marcus S.
Έκδοση: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
Έκδοση: (2005)

Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers /
Έκδοση: (2009)

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
Έκδοση: (2008)

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings /
Έκδοση: (2005)

Handbook of Neuroevolution Through Erlang
ανά: Sher, Gene I.
Έκδοση: (2013)

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings /
Έκδοση: (2005)

Autonomic Computing Principles, Design and Implementation /
ανά: Lalanda, Philippe, κ.ά.
Έκδοση: (2013)

Organic Computing – Technical Systems for Survival in the Real World
ανά: Müller-Schloer, Christian, κ.ά.
Έκδοση: (2017)

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I /
Έκδοση: (2017)

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II /
Έκδοση: (2017)

Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers /
Έκδοση: (2010)

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Έκδοση: (2010)

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings /
Έκδοση: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
Έκδοση: (2005)

Technologies and Innovation Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings /
Έκδοση: (2016)

Engineering Self-Organising Systems Nature-Inspired Approaches to Software Engineering /
Έκδοση: (2004)

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings /
Έκδοση: (2005)

Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers /
Έκδοση: (2008)

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /
Έκδοση: (2007)

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers /
Έκδοση: (2009)

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers /
Έκδοση: (2005)

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers /
Έκδοση: (2008)

Declarative Agent Languages and Technologies First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers /
Έκδοση: (2004)

Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK /
ανά: Mariani, Stefano
Έκδοση: (2016)

Crisis Management for Software Development and Knowledge Transfer
ανά: Zykov, Sergey V.
Έκδοση: (2016)

Behavioral Program Synthesis with Genetic Programming
ανά: Krawiec, Krzysztof
Έκδοση: (2016)

Software and Network Engineering
Έκδοση: (2012)

Genetic Programming Theory and Practice II
Έκδοση: (2005)

Genetic Programming Theory and Practice IV
Έκδοση: (2007)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_7cv4asgg428q6lq9on7cposnqh