Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto?ndthebestsolution,ortoobtaina...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Jermann, Christophe (Επιμελητής έκδοσης), Neumaier, Arnold (Επιμελητής έκδοσης), Sam, Djamila (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:	Lecture Notes in Computer Science, 3478
Θέματα:	Computer science. Computer logic. Mathematical logic. Numerical analysis. Computer science > Mathematics. Computer Science. Numeric Computing. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Symbolic and Algebraic Manipulation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Έκδοση: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Έκδοση: (2017)

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
Έκδοση: (2006)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
Έκδοση: (2009)

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
Έκδοση: (2007)

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Έκδοση: (2014)

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
Έκδοση: (2011)

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Έκδοση: (2011)

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
Έκδοση: (2009)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Έκδοση: (2013)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Έκδοση: (2013)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Έκδοση: (2011)

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings /
Έκδοση: (2009)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
Έκδοση: (2007)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
Έκδοση: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
Έκδοση: (2007)

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Έκδοση: (2009)

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
Έκδοση: (2011)

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /
Έκδοση: (2005)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
Έκδοση: (2007)

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Έκδοση: (2013)

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /
Έκδοση: (2011)

Sets, Logic and Maths for Computing
ανά: Makinson, David
Έκδοση: (2012)

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings /
Έκδοση: (2011)

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /
Έκδοση: (2009)

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings /
Έκδοση: (2008)

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
Έκδοση: (2016)

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /
Έκδοση: (2011)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Έκδοση: (2009)

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
Έκδοση: (2007)

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /
Έκδοση: (2011)

Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings /
Έκδοση: (2011)

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings /
Έκδοση: (2014)

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings /
Έκδοση: (2012)

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings /
Έκδοση: (2013)

Rigorous Software Development An Introduction to Program Verification /
ανά: Almeida, José Bacelar, κ.ά.
Έκδοση: (2011)

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Έκδοση: (2009)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Έκδοση: (2016)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
Έκδοση: (2005)

Sets, Logic and Maths for Computing
ανά: Makinson, David
Έκδοση: (2008)

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

Cannot write session to /tmp/vufind_sessions/sess_e8dhkt966t7ho01l130idmtddi