Search Results for - Narrowed by: Computers. - Computer system failures.

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

2024-05-19T15:09:12Z

Yazar Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
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-19T15:09:12Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-17138-4
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-19T15:09:12Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
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-19T15:09:12Z

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

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

2024-05-19T15:09:12Z

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

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

2024-05-19T15:09:12Z

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

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

2024-05-19T15:09:12Z

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

Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-19T15:09:12Z

Yazar Miller, John. editor.
https://doi.org/10.1007/978-3-030-23499-7
Format: Electronic Resources

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I

2024-05-19T15:09:12Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652
https://doi.org/10.1007/978-3-030-29743-5
Format: Electronic Resources

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2024-05-19T15:09:12Z

Yazar Ren, Rui. editor.
https://doi.org/10.1007/978-981-13-5910-1
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-19T15:09:12Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-2
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-19T15:09:12Z

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

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2024-05-19T15:09:12Z

Yazar Cuzzocrea, Alfredo. editor.
https://doi.org/10.1007/978-3-030-27629-4
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-19T15:09:12Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17462-0
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-19T15:09:12Z

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-19T15:09:12Z

Yazar Da Silva, Dilma. editor.
https://doi.org/10.1007/978-3-030-23502-4
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-19T15:09:12Z

Yazar Bordeleau, Francis. editor.
https://doi.org/10.1007/978-3-030-20883-7
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-19T15:09:12Z

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

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

2024-05-19T15:09:12Z

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

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

2024-05-19T15:09:12Z

Yazar Bures, Tomas. editor.
https://doi.org/10.1007/978-3-030-29983-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-19T15:09:12Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
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-19T15:09:12Z

Yazar Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-030-22559-9
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-19T15:09:12Z

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

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

2024-05-19T15:09:12Z

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

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

2024-05-19T15:09:12Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

2024-05-19T15:09:12Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-60531-8
Format: Electronic Resources

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

2024-05-19T15:09:12Z

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

Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings

2024-05-19T15:09:12Z

Yazar Liu, Shuai. editor. (orcid)0000-0001-9909-0664
https://doi.org/10.1007/978-3-030-19086-6
Format: Electronic Resources

Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I

2024-05-19T15:09:12Z

Yazar Mandal, Jyotsna Kumar. editor.
https://doi.org/10.1007/978-981-13-8578-0
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-19T15:09:12Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033
https://doi.org/10.1007/978-981-15-0310-8
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-19T15:09:12Z

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

Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II

2024-05-19T15:09:12Z

Yazar Luhach, Ashish Kumar. editor.
https://doi.org/10.1007/978-981-15-0111-1
Format: Electronic Resources

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2024-05-19T15:09:12Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-44615-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-19T15:09:12Z

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

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2024-05-19T15:09:12Z

Yazar Trsek, Henning. author.
http://dx.doi.org/10.1007/978-3-662-49158-4
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-05-19T15:09:12Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

2024-05-19T15:09:12Z

Yazar Kunkel, Julian M. editor.
http://dx.doi.org/10.1007/978-3-319-41321-1
Format: Electronic Resources

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

2024-05-19T15:09:12Z

Yazar Kunkel, Julian M. editor.
http://dx.doi.org/10.1007/978-3-319-20119-1
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-19T15:09:12Z

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

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2024-05-19T15:09:12Z

Yazar Campos, Javier. editor.
http://dx.doi.org/10.1007/978-3-319-22264-6
Format: Electronic Resources

Collaborative Information Seeking Best Practices, New Domains and New Thoughts

2024-05-19T15:09:12Z

Yazar Hansen, Preben. editor.
http://dx.doi.org/10.1007/978-3-319-18988-8
Format: Electronic Resources

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-05-19T15:09:12Z

Yazar Norman, Gethin. editor.
http://dx.doi.org/10.1007/978-3-319-10696-0
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-19T15:09:12Z

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

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

2024-05-19T15:09:12Z

Yazar Tanaka, Satoshi. editor.
http://dx.doi.org/10.1007/978-3-662-45289-9
Format: Electronic Resources

Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications

2024-05-19T15:09:12Z

Yazar Fehling, Christoph. author.
http://dx.doi.org/10.1007/978-3-7091-1568-8
Format: Electronic Resources

High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings

2024-05-19T15:09:12Z

Yazar Hernández, Gonzalo. editor.
http://dx.doi.org/10.1007/978-3-662-45483-1
Format: Electronic Resources

Benchmarking Transaction and Analytical Processing Systems The Creation of a Mixed Workload Benchmark and its Application

2024-05-19T15:09:12Z

Yazar Bog, Anja. author.
http://dx.doi.org/10.1007/978-3-642-38070-9
Format: Electronic Resources

Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers

2024-05-19T15:09:12Z

Yazar Li, Kenli. editor.
http://dx.doi.org/10.1007/978-3-642-53962-6
Format: Electronic Resources

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

2024-05-19T15:09:12Z

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

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

2024-05-19T15:09:12Z

Yazar Kunkel, Julian Martin. editor.
http://dx.doi.org/10.1007/978-3-319-07518-1
Format: Electronic Resources