Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers /

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers /

This book constitutes the proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, held in Seville, Spain, in July 12011. The 13 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 220 submissions. The papers a...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Escalona, María José (Επιμελητής έκδοσης), Cordeiro, José (Επιμελητής έκδοσης), Shishkov, Boris (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:	Communications in Computer and Information Science, 303
Θέματα:	Computer science. Software engineering. Programming languages (Electronic computers). Database management. Artificial intelligence. Computer Science. Software Engineering. Programming Languages, Compilers, Interpreters. Artificial Intelligence (incl. Robotics). Database Management.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /
Έκδοση: (2012)

Generic Model Management Concepts and Algorithms /
ανά: Melnik, Sergey
Έκδοση: (2004)

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Έκδοση: (2012)

Machine Learning with R
ανά: Ghatak, Abhijit
Έκδοση: (2017)

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /
Έκδοση: (2008)

Machine Learning and Data Mining in Pattern Recognition 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings /
Έκδοση: (2009)

Software and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers /
Έκδοση: (2011)

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers /
Έκδοση: (2013)

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
Έκδοση: (2015)

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers /
Έκδοση: (2017)

Methodologies and Software Engineering for Agent Systems The Agent-Oriented Software Engineering Handbook /
Έκδοση: (2004)

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
Έκδοση: (2015)

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
Έκδοση: (2013)

Agent-Oriented Software Engineering IV 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers /
Έκδοση: (2004)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings /
Έκδοση: (2008)

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
Έκδοση: (2013)

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
Έκδοση: (2011)

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Έκδοση: (2016)

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Έκδοση: (2014)

Computational Intelligence for Knowledge-Based Systems Design 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /
Έκδοση: (2010)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II /
Έκδοση: (2010)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I /
Έκδοση: (2010)

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers /
Έκδοση: (2016)

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
Έκδοση: (2017)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Έκδοση: (2013)

Software Engineering for Self-Adaptive Systems
Έκδοση: (2009)

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /
Έκδοση: (2012)

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Έκδοση: (2008)

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
Έκδοση: (2014)

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /
Έκδοση: (2013)

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Έκδοση: (2011)

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

Intelligent Web Data Management: Software Architectures and Emerging Technologies
ανά: Ma, Kun, κ.ά.
Έκδοση: (2016)

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings /
Έκδοση: (2017)

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Έκδοση: (2014)

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
Έκδοση: (2011)

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /
Έκδοση: (2011)

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /
Έκδοση: (2011)

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)

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
Έκδοση: (2015)

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

Cannot write session to /tmp/vufind_sessions/sess_2o5bmsq6cqbr9ti4jflg9eeknt