Search Results for Computer system failures. - Narrowed by: Electronic Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bsystem$002bfailures.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-27T16:37:31Z Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:520981 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Boonsang, Siridech. editor.&#160;Fujita, Hamido. editor.&#160;Hnatkowska, Bogumi&#322;a. editor.&#160;Hong, Tzung-Pei. editor. (orcid)<br/>Preferred Shelf Number&#160;XX(520981.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-5834-4">https://doi.org/10.1007/978-981-99-5834-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Pattern Languages of Programming IV ent://SD_ILS/0/SD_ILS:482831 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Noble, James. editor.&#160;Johnson, Ralph. editor.&#160;Zdun, Uwe. editor.&#160;Wallingford, Eugene. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:482859 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Keller, Chantal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483004 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Feld, Sebastian. editor.&#160;Linnhoff-Popien, Claudia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Handbook of Biometric Anti-Spoofing Presentation Attack Detection ent://SD_ILS/0/SD_ILS:482691 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Marcel, S&eacute;bastien. editor.&#160;Nixon, Mark S. editor.&#160;Fierrez, Julian. editor.&#160;Evans, Nicholas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> 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:482905 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Pnevmatikatos, Dionisios N. editor.&#160;Pelcat, Maxime. editor.&#160;Jung, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:482746 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483307 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:483424 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Liu, Shuai. editor. (orcid)0000-0001-9909-0664&#160;Yang, Gelan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483739 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Franch, Xavier. editor. (orcid)0000-0001-9733-8830&#160;M&auml;nnist&ouml;, Tomi. editor. (orcid)0000-0001-7470-5183&#160;Mart&iacute;nez-Fern&aacute;ndez, Silverio. editor. (orcid)0000-0001-9928-133X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483756 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Kasahara, Shoji. editor. (orcid)0000-0001-9785-8350&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483758 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Younas, Muhammad. editor.&#160;Awan, Irfan. editor.&#160;Benbernou, Salima. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483848 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Fontaine, Pascal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:484022 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Renault, &Eacute;ric. editor.&#160;Boumerdassi, Selma. editor.&#160;Bouzefrane, Samia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:484032 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Tang, Yong. editor.&#160;Zu, Qiaohong. editor.&#160;Rodr&iacute;guez Garc&iacute;a, Jos&eacute; G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:484505 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Obaidat, Mohammad S. editor.&#160;Cabello, Enrique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:484655 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:484656 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII ent://SD_ILS/0/SD_ILS:485990 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486017 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Li, Zheng. editor. (orcid)0000-0002-3938-7033&#160;Jiang, He. editor. (orcid)0000-0001-8674-4948&#160;Li, Ge. editor.&#160;Zhou, Minghui. editor.&#160;Li, Ming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:485971 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Ren, Rui. editor.&#160;Zheng, Chen. editor.&#160;Zhan, Jianfeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486138 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Palattella, Maria Rita. editor. (orcid)0000-0002-4945-1406&#160;Scanzio, Stefano. editor. (orcid)0000-0001-7643-2342&#160;Coleri Ergen, Sinem. editor. (orcid)0000-0002-7502-3122&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486603 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;MacIntyre, John. editor.&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor.&#160;Pimenidis, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:487080 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:487047 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Strous, Leon. editor.&#160;Cerf, Vinton G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:487064 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:487065 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484880 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Cuzzocrea, Alfredo. editor.&#160;Greco, Sergio. editor.&#160;Larsen, Henrik Legind. editor.&#160;Sacc&agrave;, Domenico. editor.&#160;Andreasen, Troels. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:484898 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Piattini, Mario. editor. (orcid)0000-0002-7212-8279&#160;Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248&#160;Garc&iacute;a Rodr&iacute;guez de Guzm&aacute;n, Ignacio. editor. (orcid)0000-0002-0038-0942&#160;P&eacute;rez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:484903 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Meneses, Esteban. editor. (orcid)0000-0002-4307-6000&#160;Castro, Harold. editor.&#160;Barrios Hern&aacute;ndez, Carlos Jaime. editor.&#160;Ramos-Pollan, Raul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:485282 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:485304 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;P&eacute;rez, Jorge A. editor. (orcid)0000-0002-1452-6180&#160;Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:485539 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Duan, Zhenhua. editor.&#160;Liu, Shaoying. editor.&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives ent://SD_ILS/0/SD_ILS:483062 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Beisbart, Claus. editor.&#160;Saam, Nicole J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:485699 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Cleaveland, Rance. editor.&#160;Grosu, Radu. editor. (orcid)0000-0001-5715-2142&#160;Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:485859 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Damiani, Ernesto. editor.&#160;Spanoudakis, George. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet ent://SD_ILS/0/SD_ILS:485874 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Ko&#322;odziej, Joanna. editor. (orcid)0000-0002-5181-8713&#160;Gonz&aacute;lez-V&eacute;lez, Horacio. editor. (orcid)0000-0003-0241-6053&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486015 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Mandal, Jyotsna Kumar. editor.&#160;Mukhopadhyay, Somnath. editor.&#160;Dutta, Paramartha. editor.&#160;Dasgupta, Kousik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486031 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;van der Aalst, Wil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Biondi, Fabrizio. editor.&#160;Given-Wilson, Thomas. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486944 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Fournaris, Apostolos P. editor. (orcid)0000-0002-4758-2349&#160;Lampropoulos, Konstantinos. editor.&#160;Mar&iacute;n Tordera, Eva. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486968 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486969 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486999 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Luhach, Ashish Kumar. editor.&#160;Jat, Dharm Singh. editor.&#160;Hawari, Kamarul Bin Ghazali. editor.&#160;Gao, Xiao-Zhi. editor.&#160;Lingras, Pawan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:482766 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Da Silva, Dilma. editor.&#160;Wang, Qingyang. editor. (orcid)0000-0002-5729-2898&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483194 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Bordeleau, Francis. editor.&#160;Sillitti, Alberto. editor.&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483527 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Obaidat, Mohammad S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483605 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Cerrito, Serenella. editor.&#160;Popescu, Andrei. editor. (orcid)0000-0001-8747-0619&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:483626 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148&#160;Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434&#160;Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486228 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Xia, Yunni. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486177 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048&#160;Excell, Peter S. editor. (orcid)0000-0002-7602-2957&#160;Ware, Andrew. editor. (orcid)0000-0002-9354-5039&#160;Soomro, Safeeullah. editor. (orcid)0000-0001-5571-1262&#160;Ali, Maaruf. editor. (orcid)0000-0001-9906-5004<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486304 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486311 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:486319 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Goldberg, Ian. editor.&#160;Moore, Tyler. editor. (orcid)0000-0002-8771-8191&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482656 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Horv&aacute;th, Andr&aacute;s. editor.&#160;Wolter, Katinka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10885-8">https://doi.org/10.1007/978-3-319-10885-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482660 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;an Mey, Dieter. editor.&#160;Alexander, Michael. editor.&#160;Paolo, Bientinesi. editor.&#160;Cannataro, Mario. editor.&#160;Clauss, Carsten. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54420-0">https://doi.org/10.1007/978-3-642-54420-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings ent://SD_ILS/0/SD_ILS:486917 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Sericola, Bruno. editor.&#160;Mikl&oacute;s, Telek. editor.&#160;Horv&aacute;th, G&aacute;bor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08219-6">https://doi.org/10.1007/978-3-319-08219-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Passive and Active Measurement 15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014, Proceedings ent://SD_ILS/0/SD_ILS:486874 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Faloutsos, Michalis. editor.&#160;Kuzmanovic, Aleksandar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04918-2">https://doi.org/10.1007/978-3-319-04918-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things, Smart Spaces, and Next Generation Networks and Systems 14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487828 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Balandin, Sergey. editor. (orcid)0000-0003-3238-4830&#160;Andreev, Sergey. editor.&#160;Koucheryavy, Yevgeni. editor. (orcid)0000-0003-3976-297X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10353-2">https://doi.org/10.1007/978-3-319-10353-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 3D Future Internet Media ent://SD_ILS/0/SD_ILS:488876 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Kondoz, Ahmet. editor.&#160;Dagiuklas, Tasos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8373-1">https://doi.org/10.1007/978-1-4614-8373-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485453 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931&#160;Murphy, Amy L. editor.&#160;Trigoni, Niki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04651-8">https://doi.org/10.1007/978-3-319-04651-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485532 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Sikora, Axel. editor.&#160;Berbineau, Marion. editor. (orcid)0000-0003-3807-9669&#160;Vinel, Alexey. editor.&#160;Jonsson, Magnus. editor.&#160;Pirovano, Alain. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06644-8">https://doi.org/10.1007/978-3-319-06644-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485683 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Norman, Gethin. editor.&#160;Sanders, William. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10696-0">https://doi.org/10.1007/978-3-319-10696-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485691 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;DeRose, Luiz. editor.&#160;de Supinski, Bronis R. editor.&#160;Olivier, Stephen L. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:485778 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14325-5">https://doi.org/10.1007/978-3-319-14325-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technologies and Mathematical Modelling 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485811 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Dudin, Alexander. editor.&#160;Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629&#160;Yakupov, Rafael. editor.&#160;Gortsev, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13671-4">https://doi.org/10.1007/978-3-319-13671-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructure: Development of Networks and Communities 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486833 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Leung, Victor C.M. editor.&#160;Chen, Min. editor.&#160;Wan, Jiafu. editor.&#160;Zhang, Yin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13326-3">https://doi.org/10.1007/978-3-319-13326-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487217 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Kunkel, Julian Martin. editor.&#160;Ludwig, Thomas. editor.&#160;Meuer, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07518-1">https://doi.org/10.1007/978-3-319-07518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IT Quality Management ent://SD_ILS/0/SD_ILS:487312 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Osterhage, Wolfgang W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43767-4">https://doi.org/10.1007/978-3-662-43767-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Quality ent://SD_ILS/0/SD_ILS:487425 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;O&rsquo;Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications ent://SD_ILS/0/SD_ILS:487577 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Fehling, Christoph. author.&#160;Leymann, Frank. author.&#160;Retter, Ralph. author.&#160;Schupeck, Walter. author.&#160;Arbitter, Peter. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-7091-1568-8">https://doi.org/10.1007/978-3-7091-1568-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487644 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Hernandez, Gonzalo. editor.&#160;Barrios Hernandez, Carlos Jaime. editor.&#160;D&iacute;az, Gilberto. editor.&#160;Garc&iacute;a Garino, Carlos. editor.&#160;Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45483-1">https://doi.org/10.1007/978-3-662-45483-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Wireless Sensor Networks 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488697 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Sun, Limin. editor.&#160;Ma, Huadong. editor.&#160;Hong, Feng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54522-1">https://doi.org/10.1007/978-3-642-54522-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489003 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489315 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Jarvis, Stephen A. editor.&#160;Wright, Steven A. editor.&#160;Hammond, Simon D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10214-6">https://doi.org/10.1007/978-3-319-10214-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489093 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Silva, Fernando. editor.&#160;Dutra, In&ecirc;s. editor.&#160;Santos Costa, Vitor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09873-9">https://doi.org/10.1007/978-3-319-09873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy-Efficient Data Centers Second International Workshop, E&sup2;DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489547 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Klingert, Sonja. editor.&#160;Hesselbach-Serra, Xavier. editor.&#160;Perez Ortega, Maria. editor.&#160;Giuliani, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55149-9">https://doi.org/10.1007/978-3-642-55149-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part &#8545; ent://SD_ILS/0/SD_ILS:489568 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Fei, Minrui. editor.&#160;Peng, Chen. editor.&#160;Su, Zhou. editor.&#160;Song, Yang. editor.&#160;Han, Qinglong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45261-5">https://doi.org/10.1007/978-3-662-45261-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484391 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Leung, Victor C.M. editor.&#160;Chen, Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05506-0">https://doi.org/10.1007/978-3-319-05506-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486894 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04936-6">https://doi.org/10.1007/978-3-319-04936-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488029 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847&#160;Kozyrev, Dmitry. editor. (orcid)0000-0003-0538-8430&#160;Larionov, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05209-0">https://doi.org/10.1007/978-3-319-05209-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Biometric Anti-Spoofing Trusted Biometrics under Spoofing Attacks ent://SD_ILS/0/SD_ILS:488228 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Marcel, S&eacute;bastien. editor.&#160;Nixon, Mark S. editor.&#160;Li, Stan Z. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6524-8">https://doi.org/10.1007/978-1-4471-6524-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 21st International Conference, CN 2014, Brun&oacute;w, Poland, June 23-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488282 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Kwiecien, Andrzej. editor.&#160;Gaj, Piotr. editor. (orcid)0000-0002-2291-7341&#160;Stera, Piotr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07941-7">https://doi.org/10.1007/978-3-319-07941-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488510 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Zowghi, Didar. editor.&#160;Jin, Zhi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43610-3">https://doi.org/10.1007/978-3-662-43610-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:488925 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14313-2">https://doi.org/10.1007/978-3-319-14313-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488942 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Dainotti, Alberto. editor.&#160;Mahanti, Anirban. editor.&#160;Uhlig, Steve. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54999-1">https://doi.org/10.1007/978-3-642-54999-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489049 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;Magoutis, Kostas. editor.&#160;Pietzuch, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43352-2">https://doi.org/10.1007/978-3-662-43352-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Marine navigation and safety of sea transportation ent://SD_ILS/0/SD_ILS:290184 2024-11-27T16:37:31Z 2024-11-27T16:37:31Z Author&#160;International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland)&#160;Weintrit, Adam.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9780203869345">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>