Search Results for - Narrowed by: Springer E-Book Collection - Computer system failures. - 2019 SirsiDynix Enterprise https://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:36Z Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427713 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428209 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;&Ouml;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:&#160;Electronic Resources<br/> Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428042 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428225 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Information and Operational Technology Security Systems First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428328 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428151 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428340 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives ent://SD_ILS/0/SD_ILS:427780 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Mobile, Secure, and Programmable Networking 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428268 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;Renault, &Eacute;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:&#160;Electronic Resources<br/> Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4&ndash;5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428843 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII ent://SD_ILS/0/SD_ILS:428583 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;31, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428978 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:428000 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428013 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Automated Deduction &ndash; CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428186 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427833 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:428230 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:427932 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428134 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428141 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428411 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Human Centered Computing 4th International Conference, HCC 2018, M&eacute;rida, Mexico, December, 5&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428270 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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 Papers ent://SD_ILS/0/SD_ILS:428729 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:428642 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Services &ndash; SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428944 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428555 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428558 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429145 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428849 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;H&auml;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:&#160;Electronic Resources<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:428866 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427648 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;Caires, Lu&iacute;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:&#160;Electronic Resources<br/> Cloud Computing &ndash; CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427649 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Transactions on Pattern Languages of Programming IV ent://SD_ILS/0/SD_ILS:427668 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427687 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> E-Business and Telecommunications 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428002 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428104 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428313 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;Janota, Mikol&aacute;&scaron;. 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:&#160;Electronic Resources<br/> Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427752 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428143 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper ent://SD_ILS/0/SD_ILS:428400 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428064 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427993 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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 Papers ent://SD_ILS/0/SD_ILS:428354 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427887 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;3, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428914 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:428765 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;30, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429153 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Introduction to Queueing Systems with Telecommunication Applications ent://SD_ILS/0/SD_ILS:427634 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;Lakatos, L&aacute;szl&oacute;. 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:&#160;Electronic Resources<br/> Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429158 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;Full&eacute;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:&#160;Electronic Resources<br/> High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet ent://SD_ILS/0/SD_ILS:428792 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429095 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:429233 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15&ndash;16, 2019, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:429193 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428503 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Passive and Active Measurement 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428741 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428659 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;P&eacute;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:&#160;Electronic Resources<br/> Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428763 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428835 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428950 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27&ndash;28, 2018, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:428841 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23&ndash;24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428794 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Creativity in Intelligent Technologies and Data Science Third Conference, CIT&amp;DS 2019, Volgograd, Russia, September 16&ndash;19, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:429244 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:429263 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> High Performance Computing 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428508 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;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&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429120 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428828 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428961 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Handbook of Biometric Anti-Spoofing Presentation Attack Detection ent://SD_ILS/0/SD_ILS:427638 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;Marcel, S&eacute;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:&#160;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&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:428981 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. 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:&#160;Electronic Resources<br/> Web Services &ndash; ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428992 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18&ndash;22, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428996 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Ubiquitous Communications and Network Computing Second EAI International Conference, Bangalore, India, February 8&ndash;10, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428890 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:429264 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:429265 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/> Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428495 2024-05-21T13:23:36Z 2024-05-21T13:23:36Z Yazar&#160;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:&#160;Electronic Resources<br/>