Springer International Publishing: 24533 books
by
Language: English
Release Date: December 20, 2018
Language: English
Release Date: December 20, 2018
This two-volume set represents a collection of papers presented at the 18th International Conference on Environmental Degradation of Materials in Nuclear Power Systems – Water Reactors. The purpose of this conference series is to foster an exchange of ideas about problems and their remedies in water-cooled...
Robotics Research
The 15th International Symposium ISRR
Language: English
Release Date: August 25, 2016
This volume presents a collection of papers presented at the 15th International Symposium of Robotic Research (ISRR). ISRR is the biennial meeting of the International Foundation of Robotic Research (IFRR) and its 15th edition took place in Flagstaff, Arizona on December 9 to December 12, 2011. As...
Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Language: English
Release Date: October 19, 2016
This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.
The 17 full papers presented together with 3 short papers were carefully reviewed...
Distributed Applications and Interoperable Systems
16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Language: English
Release Date: May 23, 2016
This book constitutes the proceedings of the 16th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2016, held in Heraklion, Crete, Greece, in June 2016.
The 13 papers presented together with 3 short papers in this volume were carefully reviewed and selected...
Rules and Reasoning
International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Language: English
Release Date: July 3, 2017
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule...
Accelerator Programming Using Directives
4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Language: English
Release Date: February 9, 2018
This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.
The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The...
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Language: English
Release Date: January 10, 2017
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the
12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers...
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Language: English
Release Date: October 17, 2017
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
The 19 full papers presented together with 3 invited talks were carefully reviewed and selected...
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Language: English
Release Date: October 7, 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.
The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected...
Logic-Based Program Synthesis and Transformation
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Language: English
Release Date: April 22, 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully...
Critical Information Infrastructures Security
11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers
Language: English
Release Date: November 21, 2017
This book constitutes the post-conference proceedings of the 11th International Conference on Critical Information Infrastructures Security, CRITIS 2016, held in Paris, France, in October 2016.
The 22 full papers and 8 short papers presented were carefully reviewed and selected from 58 submissions....
Human-Computer Interaction. User Interface Design, Development and Multimodality
19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
Language: English
Release Date: June 28, 2017
The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.
The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully...
Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Language: English
Release Date: December 16, 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.
The 21 revised full papers presented together with 3 invited talks were carefully...
Business Process Management Workshops
BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Language: English
Release Date: April 11, 2015
This book constitutes the refereed proceedings of ten international workshops held in Eindhoven, The Netherlands, in conjunction with the 12th International Conference on Business Process Management, BPM 2014, in September 2014.
The ten workshops comprised Process-oriented Information Systems...