Search Results for - Narrowed by: Software engineering. - Operating systems (Computers).

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2024-06-19T07:39:31Z

Yazar Hochberger, Christian. editor.
https://doi.org/10.1007/978-3-030-17227-5
Format: Electronic Resources

Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

2024-06-19T07:39:31Z

Yazar Schmorrow, Dylan D. editor.
https://doi.org/10.1007/978-3-030-22419-6
Format: Electronic Resources

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

2024-06-19T07:39:31Z

Yazar Yew, Pen-Chung. editor.
https://doi.org/10.1007/978-3-030-29611-7
Format: Electronic Resources

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 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-06-19T07:39:31Z

Yazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580
https://doi.org/10.1007/978-3-030-22397-7
Format: Electronic Resources

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367
https://doi.org/10.1007/978-3-030-04918-8
Format: Electronic Resources

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Xu, Weixia. editor.
https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Software Fault Detection and Correction: Modeling and Applications

2024-06-19T07:39:31Z

Yazar Peng, Rui. author.
https://doi.org/10.1007/978-981-13-1162-8
Format: Electronic Resources

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Ferguson, Donald. editor.
https://doi.org/10.1007/978-3-319-94959-8
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVIII

2024-06-19T07:39:31Z

Yazar Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Fortino, Giancarlo. editor.
https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources

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

2024-06-19T07:39:31Z

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

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Bonomi, Silvia. editor.
https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

Handbook of Model Checking

2024-06-19T07:39:31Z

Yazar Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Pahl, Claus. editor.
https://doi.org/10.1007/978-3-030-03596-9
Format: Electronic Resources

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-06-19T07:39:31Z

Yazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-06-19T07:39:31Z

Yazar Yang, Alvin. editor.
https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2024-06-19T07:39:31Z

Yazar Sun, Yu. editor.
https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources

Low-Power Design and Power-Aware Verification

2024-06-19T07:39:31Z

Yazar Khondkar, Progyna. author.
https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

2024-06-19T07:39:31Z

Yazar Lintas, Alessandra. editor.
https://doi.org/10.1007/978-3-319-68612-7
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Spirakis, Paul. editor.
https://doi.org/10.1007/978-3-319-69084-1
Format: Electronic Resources

QoS Prediction in Cloud and Service Computing Approaches and Applications

2024-06-19T07:39:31Z

Yazar Zhang, Yilei. author.
https://doi.org/10.1007/978-981-10-5278-1
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

2024-06-19T07:39:31Z

Yazar Lintas, Alessandra. editor.
https://doi.org/10.1007/978-3-319-68600-4
Format: Electronic Resources

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-319-61473-1
Format: Electronic Resources

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Dou, Yong. editor.
https://doi.org/10.1007/978-3-319-67952-5
Format: Electronic Resources

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2024-06-19T07:39:31Z

Yazar Ding, Chen. editor.
https://doi.org/10.1007/978-3-319-52709-3
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Blieberger, Johann. editor.
https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI

2024-06-19T07:39:31Z

Yazar Liu, Derong. editor.
https://doi.org/10.1007/978-3-319-70136-3
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Gaspers, Serge. editor. (orcid)0000-0002-6947-9238
https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2024-06-19T07:39:31Z

Yazar O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-64021-1
Format: Electronic Resources

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686
https://doi.org/10.1007/978-3-319-62932-2
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

2024-06-19T07:39:31Z

Yazar Bodden, Eric. editor.
https://doi.org/10.1007/978-3-319-62105-0
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

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

2024-06-19T07:39:31Z

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

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-06-19T07:39:31Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-06-19T07:39:31Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings

2024-06-19T07:39:31Z

Yazar Pinho, Luís Miguel Pinho. editor.
http://dx.doi.org/10.1007/978-3-319-16086-3
Format: Electronic Resources

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

2024-06-19T07:39:31Z

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

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Brodman, James. editor.
http://dx.doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2024-06-19T07:39:31Z

Yazar Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
Format: Electronic Resources

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

2024-06-19T07:39:31Z

Yazar Chen, Yunji. editor.
http://dx.doi.org/10.1007/978-3-319-23216-4
Format: Electronic Resources

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-06-19T07:39:31Z

Yazar Cohen, Albert. editor.
http://dx.doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-06-19T07:39:31Z

Yazar Desai, Narayan. editor.
http://dx.doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

2024-06-19T07:39:31Z

Yazar Maehle, Erik. editor.
http://dx.doi.org/10.1007/978-3-319-04891-8
Format: Electronic Resources

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

2024-06-19T07:39:31Z

Yazar Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-06-19T07:39:31Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources