Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /

This book constitutes the revised selected papers of the 12th Italian Workshop on Advances in Artificial Life, Evolutionary Computation, WIVACE 2017, held in Venice, Italy, in September 2017. The 23 full papers presented were thoroughly reviewed and selected from 33 submissions. They cover the follo...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Pelillo, Marcello (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Poli, Irene (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Roli, Andrea (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Serra, Roberto (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Slanzi, Debora (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Villani, Marco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Communications in Computer and Information Science, 830
Θέματα:	Artificial intelligence. Algorithms. Mathematical logic. Computer science-Mathematics. Artificial Intelligence. Algorithm Analysis and Problem Complexity. Mathematical Logic and Formal Languages. Mathematics of Computing.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers /
Έκδοση: (2019)

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
Έκδοση: (2018)

Algorithmic Learning Theory 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings /
Έκδοση: (1999)

Machine Learning: ECML 2003 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

Machine Learning: ECML 2002 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings /
Έκδοση: (2002)

Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
Έκδοση: (2001)

Computational Learning Theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings /
Έκδοση: (2001)

Machine Learning: ECML 2004 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings /
Έκδοση: (2004)

Computational Learning Theory 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings /
Έκδοση: (2002)

Algorithmic Learning Theory 9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings /
Έκδοση: (1998)

Learning Theory and Kernel Machines 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings /
Έκδοση: (2003)

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings /
Έκδοση: (2019)

Conceptual Structures: Integration and Interfaces 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings /
Έκδοση: (2002)

Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings /
Έκδοση: (1999)

Conceptual Structures: Broadening the Base 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings /
Έκδοση: (2001)

Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers /
Έκδοση: (2003)

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /
Έκδοση: (2002)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
Έκδοση: (2019)

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers /
Έκδοση: (2019)

Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /
Έκδοση: (2001)

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers /
Έκδοση: (2019)

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings /
Έκδοση: (2019)

Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
Έκδοση: (1998)

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Έκδοση: (2001)

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings /
Έκδοση: (2019)

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
Έκδοση: (2018)

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings /
Έκδοση: (2018)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
Έκδοση: (2019)

Computational Learning Theory 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings /
Έκδοση: (1999)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Έκδοση: (2003)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
Έκδοση: (2018)

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings /
Έκδοση: (2018)

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
Έκδοση: (2018)

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
Έκδοση: (1997)

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings /
Έκδοση: (2019)

Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /
Έκδοση: (2000)

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
Έκδοση: (2019)

Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Έκδοση: (2019)

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
Έκδοση: (2018)

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