Cargando…

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /

This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite wor...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bianculli, Domenico (Editor ), Calinescu, Radu (Editor ), Rumpe, Bernhard (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:	1st ed. 2015.
Colección:	Programming and Software Engineering, 9509
Temas:	Application software. Artificial intelligence. Algorithms. Computer science-Mathematics. Mathematical statistics. Computer science. Database management. Computer and Information Systems Applications. Artificial Intelligence. Probability and Statistics in Computer Science. Theory of Computation. Database Management.
Acceso en línea:	Texto Completo

Ejemplares similares

Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings /
Publicado: (2015)

Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised and Selected Papers /
Publicado: (2012)

Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II /
Publicado: (2012)

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings /
Publicado: (2016)

Advances in Knowledge Discovery and Data Mining 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings /
Publicado: (2008)

Advances in Knowledge Discovery and Data Mining 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005, Proceedings /
Publicado: (2005)

Data-driven Generation of Policies
por: Parker, Austin, et al.
Publicado: (2014)

Advances in Intelligent Data Analysis VII 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007, Proceedings /
Publicado: (2007)

Flexible Databases Supporting Imprecision and Uncertainty
Publicado: (2006)

Pattern Recognition in Bioinformatics Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings /
Publicado: (2007)

Data Mining for Biomedical Applications PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006, Proceedings /
Publicado: (2006)

Knowledge Discovery in Life Science Literature International Workshop, KDLL 2006, Singapore, April 9, 2006, Proceedings /
Publicado: (2006)

Fuzzy Database Modeling of Imprecise and Uncertain Engineering Information
por: Ma, Zongmin
Publicado: (2006)

Privacy in Statistical Databases CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006, Proceedings /
Publicado: (2006)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part I /
Publicado: (2011)

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
Publicado: (2008)

Biological and Medical Data Analysis 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings /
Publicado: (2005)

Machine Learning and Knowledge Discovery in Databases, Part III European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part III /
Publicado: (2011)

Machine Learning and Knowledge Discovery in Databases, Part II European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part II /
Publicado: (2011)

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
Publicado: (2008)

Knowledge Discovery from XML Documents First International Workshop, KDXD 2006, Singapore, April 9, 2006, Proceedings /
Publicado: (2006)

Evolutionary Computation in Data Mining
Publicado: (2005)

Fundamentals of Relational Database Management Systems
por: Sumathi, S., et al.
Publicado: (2007)

Intelligent Systems for Knowledge Management
Publicado: (2009)

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /
Publicado: (2005)

Statistical Learning and Data Sciences Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings /
Publicado: (2015)

Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /
Publicado: (2006)

Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings /
Publicado: (2015)

Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II /
Publicado: (2005)

Web Technologies and Applications APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers /
Publicado: (2015)

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers /
Publicado: (2016)

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /
Publicado: (2006)

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
Publicado: (2015)

Recent Advances in Reinforcement Learning 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers /
Publicado: (2008)

Machine Learning, Optimization, and Big Data First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers /
Publicado: (2015)

Advances in Knowledge Discovery and Data Mining 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006, Proceedings /
Publicado: (2006)

Enterprise Information Systems VI
Publicado: (2006)

Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedings /
Publicado: (2007)

Knowledge Discovery in Databases: PKDD 2005 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings /
Publicado: (2005)

Knowledge Discovery in Databases: PKDD 2006 10th European Conference on Principles and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006, Proceedings /
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_7rt7056na1j4igahk676rtsfdf