Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Escalona, Maria José (Editor ), Cordeiro, José (Editor ), Shishkov, Boris (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Colección:	Communications in Computer and Information Science, 303
Temas:	Software engineering. Compilers (Computer programs). Artificial intelligence. Database management. Software Engineering. Compilers and Interpreters. Artificial Intelligence. Database Management.
Acceso en línea:	Texto Completo

Ejemplares similares

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers /
Publicado: (2013)

Software and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers /
Publicado: (2011)

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /
Publicado: (2008)

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings /
Publicado: (2012)

Machine Learning and Data Mining in Pattern Recognition 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings /
Publicado: (2009)

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /
Publicado: (2010)

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28-July 2, 2010. Proceedings, Part II /
Publicado: (2010)

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28-July 2, 2010. Proceedings, Part I /
Publicado: (2010)

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Publicado: (2012)

Advances in Natural Language Processing 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010, Proceedings /
Publicado: (2010)

New Frontiers in Artificial Intelligence JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers /
por: McCready, Elin
Publicado: (2010)

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
Publicado: (2013)

Intelligent Web Data Management: Software Architectures and Emerging Technologies
por: Ma, Kun, et al.
Publicado: (2016)

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /
Publicado: (2013)

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
Publicado: (2015)

Software Engineering for Self-Adaptive Systems International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
Publicado: (2013)

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
Publicado: (2014)

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
Publicado: (2015)

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
Publicado: (2011)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publicado: (2013)

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Publicado: (2014)

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
Publicado: (2009)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Fourth International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008, Proceedings /
Publicado: (2008)

Technologies and Innovation Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings /
Publicado: (2016)

Software Engineering for Self-Adaptive Systems
Publicado: (2009)

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers /
Publicado: (2012)

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /
Publicado: (2008)

Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010, Proceedings /
Publicado: (2010)

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado: (2016)

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Publicado: (2010)

Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings /
Publicado: (2011)

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
Publicado: (2016)

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers /
Publicado: (2011)

Software Engineering, Business Continuity, and Education International Conferences, ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
Publicado: (2011)

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
Publicado: (2006)

Multi-Agent Programming Languages, Platforms and Applications /
Publicado: (2005)

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
Publicado: (2005)

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
Publicado: (2006)

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
Publicado: (2008)

Programming Multi-Agents Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers /
Publicado: (2012)