Search Results for - Narrowed by: Springer E-Book Collection - Computer system failures. - Software engineering.

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Ölveczky, Peter Csaba. editor.
https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Cerrito, Serenella. editor.
https://doi.org/10.1007/978-3-030-29026-9
Format: Electronic Resources

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033
https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

2024-05-22T01:17:40Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24311-1
Format: Electronic Resources

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Fontaine, Pascal. editor.
https://doi.org/10.1007/978-3-030-29436-6
Format: Electronic Resources

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Bordeleau, Francis. editor.
https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

2024-05-22T01:17:40Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24308-1
Format: Electronic Resources

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830
https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2024-05-22T01:17:40Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Walker, Alastair. editor.
https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources

Computing and Software Science State of the Art and Perspectives

2024-05-22T01:17:40Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734
https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Da Silva, Dilma. editor.
https://doi.org/10.1007/978-3-030-23502-4
Format: Electronic Resources

Transactions on Pattern Languages of Programming IV

2024-05-22T01:17:40Z

Yazar Noble, James. editor.
https://doi.org/10.1007/978-3-030-14291-9
Format: Electronic Resources

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-31157-5
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-05-22T01:17:40Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-29852-4
Format: Electronic Resources

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X
https://doi.org/10.1007/978-3-030-33702-5
Format: Electronic Resources

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2024-05-22T01:17:40Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-030-31514-6
Format: Electronic Resources

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

2024-05-22T01:17:40Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24305-0
Format: Electronic Resources

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279
https://doi.org/10.1007/978-3-030-29238-6
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Bures, Tomas. editor.
https://doi.org/10.1007/978-3-030-29983-5
Format: Electronic Resources

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-030-22559-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

2024-05-22T01:17:40Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24289-3
Format: Electronic Resources

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2024-05-22T01:17:40Z

Yazar Peng, Xin. editor.
https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2024-05-22T01:17:40Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Goldberg, Ian. editor.
https://doi.org/10.1007/978-3-030-32101-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

2024-05-22T01:17:40Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24302-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

2024-05-22T01:17:40Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24296-1
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-05-22T01:17:40Z

Yazar van Eekelen, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Maruyama, Naoya. editor.
http://dx.doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings

2024-05-22T01:17:40Z

Yazar Zhang, Yin. editor.
http://dx.doi.org/10.1007/978-3-319-38904-2
Format: Electronic Resources

Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Clarke, Paul M. editor.
http://dx.doi.org/10.1007/978-3-319-38980-6
Format: Electronic Resources

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Hildebrandt, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Mamatas, Lefteris. editor.
http://dx.doi.org/10.1007/978-3-319-33936-8
Format: Electronic Resources

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Bogdan, Cristian. editor.
http://dx.doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Fiems, Dieter. editor.
http://dx.doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-05-22T01:17:40Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

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

2024-05-22T01:17:40Z

Yazar Jelasity, Márk. editor.
http://dx.doi.org/10.1007/978-3-319-39577-7
Format: Electronic Resources

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources

Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Hunold, Sascha. editor.
http://dx.doi.org/10.1007/978-3-319-27308-2
Format: Electronic Resources

Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Qiang, Weizhong. editor.
http://dx.doi.org/10.1007/978-3-319-28430-9
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-05-22T01:17:40Z

Yazar Kormanyos, Christopher. author.
http://dx.doi.org/10.1007/978-3-662-47810-3
Format: Electronic Resources

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2024-05-22T01:17:40Z

Yazar Terboven, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-24595-9
Format: Electronic Resources

Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings

2024-05-22T01:17:40Z

Yazar Abdelzaher, Tarek. editor.
http://dx.doi.org/10.1007/978-3-319-15582-1
Format: Electronic Resources

Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Leung, Victor C.M. editor.
http://dx.doi.org/10.1007/978-3-319-16050-4
Format: Electronic Resources

Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-05-22T01:17:40Z

Yazar Bessani, Alysson. editor.
http://dx.doi.org/10.1007/978-3-319-19129-4
Format: Electronic Resources

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2024-05-22T01:17:40Z

Yazar Träff, Jesper Larsson. editor.
http://dx.doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2024-05-22T01:17:40Z

Yazar Krishnamachari, Bhaskar. editor.
http://dx.doi.org/10.1007/978-3-319-04651-8
Format: Electronic Resources

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

2024-05-22T01:17:40Z

Yazar Dingel, Juergen. editor.
http://dx.doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings

2024-05-22T01:17:40Z

Yazar Horváth, András. editor.
http://dx.doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

2024-05-22T01:17:40Z

Yazar Lopes, Luís. editor.
http://dx.doi.org/10.1007/978-3-319-14325-5
Format: Electronic Resources

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Mey, Dieter an. editor.
http://dx.doi.org/10.1007/978-3-642-54420-0
Format: Electronic Resources

Introduction to Software Quality

2024-05-22T01:17:40Z

Yazar O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources

Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers

2024-05-22T01:17:40Z

Yazar Leung, Victor C.M. editor.
http://dx.doi.org/10.1007/978-3-319-05506-0
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings

2024-05-22T01:17:40Z

Yazar Sericola, Bruno. editor.
http://dx.doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources

Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2024-05-22T01:17:40Z

Yazar Magoutis, Kostas. editor.
http://dx.doi.org/10.1007/978-3-662-43352-2
Format: Electronic Resources

Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings

2024-05-22T01:17:40Z

Yazar Zowghi, Didar. editor.
http://dx.doi.org/10.1007/978-3-662-43610-3
Format: Electronic Resources

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

2024-05-22T01:17:40Z

Yazar Lopes, Luís. editor.
http://dx.doi.org/10.1007/978-3-319-14313-2
Format: Electronic Resources