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

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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bianculli, Domenico (Επιμελητής έκδοσης), Calinescu, Radu (Επιμελητής έκδοσης), Rumpe, Bernhard (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Έκδοση:	1st ed. 2015.
Σειρά:	Lecture Notes in Computer Science, 9509
Θέματα:	Computer science. Computers. Algorithms. Mathematical statistics. Database management. Artificial intelligence. Computer Science. Information Systems Applications (incl. Internet). Artificial Intelligence (incl. Robotics). Algorithm Analysis and Problem Complexity. Probability and Statistics in Computer Science. Computation by Abstract Devices. Database Management.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings /
Έκδοση: (2015)

Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers /
Έκδοση: (2012)

Statistical Learning and Data Sciences Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings /
Έκδοση: (2015)

Local Pattern Detection International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /
Έκδοση: (2005)

Web Technologies and Applications APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers /
Έκδοση: (2015)

Machine Learning, Optimization, and Big Data First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers /
Έκδοση: (2015)

Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014. Proceedings /
Έκδοση: (2014)

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

Research in Computational Molecular Biology 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings /
Έκδοση: (2011)

Computational Intelligence Methods for Bioinformatics and Biostatistics 7th International Meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers /
Έκδοση: (2011)

Computational Intelligence Methods for Bioinformatics and Biostatistics 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 – July 2, 2011, Revised Selected Papers /
Έκδοση: (2012)

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I /
Έκδοση: (2010)

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II /
Έκδοση: (2010)

Algorithms in Bioinformatics 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings /
Έκδοση: (2010)

Computational Intelligence and Bioinformatics International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III /
Έκδοση: (2006)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
Έκδοση: (2008)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
Έκδοση: (2008)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011. Proceedings, Part I /
Έκδοση: (2011)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part II /
Έκδοση: (2011)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part III /
Έκδοση: (2011)

Multiple Classifier Systems 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings /
Έκδοση: (2010)

Artificial Neural Networks – ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III /
Έκδοση: (2010)

Advances in Soft Computing 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part II /
Έκδοση: (2010)

Intelligent Data Engineering and Automated Learning - IDEAL 2011 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings /
Έκδοση: (2011)

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings /
Έκδοση: (2010)

Artificial Immune Systems 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings /
Έκδοση: (2006)

Artificial Immune Systems 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005. Proceedings /
Έκδοση: (2005)

Advances in Bioinformatics and Computational Biology 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011. Proceedings /
Έκδοση: (2011)

Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings /
Έκδοση: (2012)

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011. Proceedings /
Έκδοση: (2011)

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings /
Έκδοση: (2010)

Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings /
Έκδοση: (2007)

Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings /
Έκδοση: (2007)

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings /
Έκδοση: (2012)

Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings /
Έκδοση: (2012)

Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings /
Έκδοση: (2016)

Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings /
Έκδοση: (2016)

Conformal and Probabilistic Prediction with Applications 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings /
Έκδοση: (2016)

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I /
Έκδοση: (2011)

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II /
Έκδοση: (2011)

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