Springer International Publishing: 24533 books
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Language: English
Release Date: June 12, 2014
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers...
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Language: English
Release Date: January 9, 2017
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions....
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Language: English
Release Date: August 23, 2015
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96...
Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Language: English
Release Date: July 12, 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed...
Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Language: English
Release Date: January 29, 2016
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.
The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from...
Big Data Analytics and Knowledge Discovery
17th International Conference, DaWaK 2015, Valencia, Spain, September 1-4, 2015, Proceedings
Language: English
Release Date: August 9, 2015
This book constitutes the refereed proceedings of the 17th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2015, held in Valencia, Spain, September 2015.
The 31 revised full papers presented were carefully reviewed and selected from 90 submissions. The papers are...
Information Security and Cryptology – ICISC 2017
20th International Conference, Seoul, South Korea, November 29 - December 1, 2017, Revised Selected Papers
Language: English
Release Date: March 21, 2018
This book constitutes revised selected papers from the 20th International Conference on Information Security and Cryptology, ICISC 2017, held in Seoul, South Korea, in November/December 2017.
The total of 20 papers presented in this volume were carefully reviewed and selected from 70 submissions. The...
by
Language: English
Release Date: February 17, 2014
Language: English
Release Date: February 17, 2014
Software reuse and integration has been described as the process of creating software systems from existing software rather than building software systems from scratch. Whereas reuse solely deals with the artifacts creation, integration focuses on how reusable artifacts interact with the already existing...
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Language: English
Release Date: May 23, 2016
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.
The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections...
Search-Based Software Engineering
7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Language: English
Release Date: July 27, 2015
This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.
The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13...
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Language: English
Release Date: May 14, 2018
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.
The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60...
Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Language: English
Release Date: June 24, 2014
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such...
Networked Systems
Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers
Language: English
Release Date: August 2, 2014
This book constitutes the revised selected papers of the Second International Conference on Networked Systems, NETYS 2014, held in Marrakech, Morocco, in May 2014. The 20 full papers and the 6 short papers presented together with 2 keynotes were carefully reviewed and selected from 80 submissions....
Networked Systems
5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
Language: English
Release Date: May 11, 2017
This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017.
The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81...