Search Results for - Narrowed by: Springer E-Book Collection - Computer system failures. - 2019SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092019$0025092019$0026ps$003d300?2024-05-21T13:23:36ZEmbedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4277132024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Pnevmatikatos, Dionisios N. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27562-4">https://doi.org/10.1007/978-3-030-27562-4</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282092024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Ölveczky, Peter Csaba. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280422024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Cerrito, Serenella. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Electronic Resources<br/>Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282252024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Filiot, Emmanuel. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format: Electronic Resources<br/>Information and Operational Technology Security Systems First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4283282024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Fournaris, Apostolos P. editor. (orcid)0000-0002-4758-2349<br/><a href="https://doi.org/10.1007/978-3-030-12085-6">https://doi.org/10.1007/978-3-030-12085-6</a><br/>Format: Electronic Resources<br/>Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281512024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Ordonez, Carlos. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27520-4">https://doi.org/10.1007/978-3-030-27520-4</a><br/>Format: Electronic Resources<br/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283402024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441<br/><a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Electronic Resources<br/>Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectivesent://SD_ILS/0/SD_ILS:4277802024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Beisbart, Claus. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70766-2">https://doi.org/10.1007/978-3-319-70766-2</a><br/>Format: Electronic Resources<br/>Mobile, Secure, and Programmable Networking 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4282682024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Renault, Éric. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03101-5">https://doi.org/10.1007/978-3-030-03101-5</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:4288432024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Li, Zheng. editor. (orcid)0000-0002-3938-7033<br/><a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIIent://SD_ILS/0/SD_ILS:4285832024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Hameurlain, Abdelkader. editor.<br/><a href="https://doi.org/10.1007/978-3-662-60531-8">https://doi.org/10.1007/978-3-662-60531-8</a><br/>Format: Electronic Resources<br/>Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4289782024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Nambiar, Raghunath. editor.<br/><a href="https://doi.org/10.1007/978-3-030-11404-6">https://doi.org/10.1007/978-3-030-11404-6</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VIent://SD_ILS/0/SD_ILS:4280002024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331<br/><a href="https://doi.org/10.1007/978-3-030-24311-1">https://doi.org/10.1007/978-3-030-24311-1</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280132024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096<br/><a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Electronic Resources<br/>Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281862024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Fontaine, Pascal. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format: Electronic Resources<br/>Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278332024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Bordeleau, Francis. editor.<br/><a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part Vent://SD_ILS/0/SD_ILS:4282302024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331<br/><a href="https://doi.org/10.1007/978-3-030-24308-1">https://doi.org/10.1007/978-3-030-24308-1</a><br/>Format: Electronic Resources<br/>Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4279322024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Liu, Shuai. editor. (orcid)0000-0001-9909-0664<br/><a href="https://doi.org/10.1007/978-3-030-19086-6">https://doi.org/10.1007/978-3-030-19086-6</a><br/>Format: Electronic Resources<br/>Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281342024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830<br/><a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format: Electronic Resources<br/>Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281412024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946<br/><a href="https://doi.org/10.1007/978-3-030-27181-7">https://doi.org/10.1007/978-3-030-27181-7</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4284112024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176<br/><a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4282702024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Tang, Yong. editor.<br/><a href="https://doi.org/10.1007/978-3-030-15127-0">https://doi.org/10.1007/978-3-030-15127-0</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287292024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Duan, Zhenhua. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format: Electronic Resources<br/>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 IIIent://SD_ILS/0/SD_ILS:4286422024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289442024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Xia, Yunni. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23381-5">https://doi.org/10.1007/978-3-030-23381-5</a><br/>Format: Electronic Resources<br/>Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285552024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048<br/><a href="https://doi.org/10.1007/978-3-030-23943-5">https://doi.org/10.1007/978-3-030-23943-5</a><br/>Format: Electronic Resources<br/>Data Quality and Trust in Big Data 5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4285582024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343<br/><a href="https://doi.org/10.1007/978-3-030-19143-6">https://doi.org/10.1007/978-3-030-19143-6</a><br/>Format: Electronic Resources<br/>Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291452024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Walker, Alastair. editor.<br/><a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4288492024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613<br/><a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4288662024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558<br/><a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4276482024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Caires, Luís. editor. (orcid)0000-0002-3215-6734<br/><a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4276492024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Da Silva, Dilma. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23502-4">https://doi.org/10.1007/978-3-030-23502-4</a><br/>Format: Electronic Resources<br/>Transactions on Pattern Languages of Programming IVent://SD_ILS/0/SD_ILS:4276682024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Noble, James. editor.<br/><a href="https://doi.org/10.1007/978-3-030-14291-9">https://doi.org/10.1007/978-3-030-14291-9</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4276872024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Electronic Resources<br/>E-Business and Telecommunications 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26–28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4280022024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Obaidat, Mohammad S. editor.<br/><a href="https://doi.org/10.1007/978-3-030-34866-3">https://doi.org/10.1007/978-3-030-34866-3</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4281042024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283132024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X<br/><a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Electronic Resources<br/>Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4277522024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Feld, Sebastian. editor.<br/><a href="https://doi.org/10.1007/978-3-030-14082-3">https://doi.org/10.1007/978-3-030-14082-3</a><br/>Format: Electronic Resources<br/>Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281432024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Younas, Muhammad. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27355-2">https://doi.org/10.1007/978-3-030-27355-2</a><br/>Format: Electronic Resources<br/>E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paperent://SD_ILS/0/SD_ILS:4284002024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Obaidat, Mohammad S. editor.<br/><a href="https://doi.org/10.1007/978-3-030-11039-0">https://doi.org/10.1007/978-3-030-11039-0</a><br/>Format: Electronic Resources<br/>Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280642024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948<br/><a href="https://doi.org/10.1007/978-3-030-29852-4">https://doi.org/10.1007/978-3-030-29852-4</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4279932024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X<br/><a href="https://doi.org/10.1007/978-3-030-33702-5">https://doi.org/10.1007/978-3-030-33702-5</a><br/>Format: Electronic Resources<br/>Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4283542024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Strous, Leon. editor.<br/><a href="https://doi.org/10.1007/978-3-030-15651-0">https://doi.org/10.1007/978-3-030-15651-0</a><br/>Format: Electronic Resources<br/>Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278872024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Tan, Ying. editor.<br/><a href="https://doi.org/10.1007/978-981-32-9563-6">https://doi.org/10.1007/978-981-32-9563-6</a><br/>Format: Electronic Resources<br/>Ad-Hoc, Mobile, and Wireless Networks 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289142024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Palattella, Maria Rita. editor. (orcid)0000-0002-4945-1406<br/><a href="https://doi.org/10.1007/978-3-030-31831-4">https://doi.org/10.1007/978-3-030-31831-4</a><br/>Format: Electronic Resources<br/>From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4287652024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format: Electronic Resources<br/>Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291532024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227<br/><a href="https://doi.org/10.1007/978-3-030-33388-1">https://doi.org/10.1007/978-3-030-33388-1</a><br/>Format: Electronic Resources<br/>Introduction to Queueing Systems with Telecommunication Applicationsent://SD_ILS/0/SD_ILS:4276342024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Lakatos, László. author.<br/><a href="https://doi.org/10.1007/978-3-030-15142-3">https://doi.org/10.1007/978-3-030-15142-3</a><br/>Format: Electronic Resources<br/>Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291582024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Fullér, Robert. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12544-8">https://doi.org/10.1007/978-3-030-12544-8</a><br/>Format: Electronic Resources<br/>High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSetent://SD_ILS/0/SD_ILS:4287922024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar KoĆodziej, Joanna. editor. (orcid)0000-0002-5181-8713<br/><a href="https://doi.org/10.1007/978-3-030-16272-6">https://doi.org/10.1007/978-3-030-16272-6</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290952024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150<br/><a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4292332024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331<br/><a href="https://doi.org/10.1007/978-3-030-24305-0">https://doi.org/10.1007/978-3-030-24305-0</a><br/>Format: Electronic Resources<br/>Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:4291932024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Luhach, Ashish Kumar. editor.<br/><a href="https://doi.org/10.1007/978-981-15-0111-1">https://doi.org/10.1007/978-981-15-0111-1</a><br/>Format: Electronic Resources<br/>Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4285032024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279<br/><a href="https://doi.org/10.1007/978-3-030-29238-6">https://doi.org/10.1007/978-3-030-29238-6</a><br/>Format: Electronic Resources<br/>Passive and Active Measurement 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287412024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Choffnes, David. editor.<br/><a href="https://doi.org/10.1007/978-3-030-15986-3">https://doi.org/10.1007/978-3-030-15986-3</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4286592024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180<br/><a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287632024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Bures, Tomas. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29983-5">https://doi.org/10.1007/978-3-030-29983-5</a><br/>Format: Electronic Resources<br/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288352024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750<br/><a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Electronic Resources<br/>Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289502024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Biondi, Fabrizio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format: Electronic Resources<br/>Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:4288412024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Mandal, Jyotsna Kumar. editor.<br/><a href="https://doi.org/10.1007/978-981-13-8578-0">https://doi.org/10.1007/978-981-13-8578-0</a><br/>Format: Electronic Resources<br/>Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287942024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Damiani, Ernesto. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22559-9">https://doi.org/10.1007/978-3-030-22559-9</a><br/>Format: Electronic Resources<br/>Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4292442024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652<br/><a href="https://doi.org/10.1007/978-3-030-29743-5">https://doi.org/10.1007/978-3-030-29743-5</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4292632024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331<br/><a href="https://doi.org/10.1007/978-3-030-24289-3">https://doi.org/10.1007/978-3-030-24289-3</a><br/>Format: Electronic Resources<br/>High Performance Computing 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26–28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4285082024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Meneses, Esteban. editor. (orcid)0000-0002-4307-6000<br/><a href="https://doi.org/10.1007/978-3-030-16205-4">https://doi.org/10.1007/978-3-030-16205-4</a><br/>Format: Electronic Resources<br/>Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291202024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar MacIntyre, John. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19909-8">https://doi.org/10.1007/978-3-030-19909-8</a><br/>Format: Electronic Resources<br/>Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288282024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Ren, Rui. editor.<br/><a href="https://doi.org/10.1007/978-981-13-5910-1">https://doi.org/10.1007/978-981-13-5910-1</a><br/>Format: Electronic Resources<br/>Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289612024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Peng, Xin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format: Electronic Resources<br/>Handbook of Biometric Anti-Spoofing Presentation Attack Detectionent://SD_ILS/0/SD_ILS:4276382024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Marcel, Sébastien. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92627-8">https://doi.org/10.1007/978-3-319-92627-8</a><br/>Format: Electronic Resources<br/>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 Ient://SD_ILS/0/SD_ILS:4289812024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4289922024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Miller, John. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23499-7">https://doi.org/10.1007/978-3-030-23499-7</a><br/>Format: Electronic Resources<br/>Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4289962024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Goldberg, Ian. editor.<br/><a href="https://doi.org/10.1007/978-3-030-32101-7">https://doi.org/10.1007/978-3-030-32101-7</a><br/>Format: Electronic Resources<br/>Ubiquitous Communications and Network Computing Second EAI International Conference, Bangalore, India, February 8–10, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4288902024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Kumar, Navin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-20615-4">https://doi.org/10.1007/978-3-030-20615-4</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4292642024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331<br/><a href="https://doi.org/10.1007/978-3-030-24302-9">https://doi.org/10.1007/978-3-030-24302-9</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4292652024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331<br/><a href="https://doi.org/10.1007/978-3-030-24296-1">https://doi.org/10.1007/978-3-030-24296-1</a><br/>Format: Electronic Resources<br/>Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284952024-05-21T13:23:36Z2024-05-21T13:23:36ZYazar Cuzzocrea, Alfredo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27629-4">https://doi.org/10.1007/978-3-030-27629-4</a><br/>Format: Electronic Resources<br/>