Search Results for Computer science. - Narrowed by: 2018 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-11-01T21:11:02Z Computer and Information Science ent://SD_ILS/0/SD_ILS:402560 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lee, Roger. 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-60170-0">https://doi.org/10.1007/978-3-319-60170-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probability and Statistics for Computer Science ent://SD_ILS/0/SD_ILS:402185 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Forsyth, David. 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-64410-3">https://doi.org/10.1007/978-3-319-64410-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Imaginary Mathematics for Computer Science ent://SD_ILS/0/SD_ILS:400402 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Vince, John. 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-94637-5">https://doi.org/10.1007/978-3-319-94637-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science and Engineering&mdash;Theory and Applications ent://SD_ILS/0/SD_ILS:402632 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Sanchez, Mauricio A. editor.&#160;Aguilar, Leocundo. editor.&#160;Casta&ntilde;&oacute;n-Puga, Manuel. editor.&#160;Rodr&iacute;guez-D&iacute;az, Antonio. 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-74060-7">https://doi.org/10.1007/978-3-319-74060-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400065 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Lian. editor.&#160;Lu, Pinyan. editor.&#160;He, Kun. 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-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400552 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Desharnais, Jules. editor. (orcid)0000-0002-4780-2698&#160;Guttmann, Walter. editor. (orcid)0000-0003-2969-1688&#160;Joosten, Stef. editor. (orcid)0000-0001-8308-0189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer ent://SD_ILS/0/SD_ILS:400983 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Jenkyns, Tom. author.&#160;Stephenson, Ben. 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-70151-6">https://doi.org/10.1007/978-3-319-70151-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir V. 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-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399102 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;C&icirc;rstea, Corina. editor. (orcid)0000-0003-3165-5678&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399615 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Brandst&auml;dt, Andreas. editor.&#160;K&ouml;hler, Ekkehard. editor.&#160;Meer, Klaus. 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-00256-5">https://doi.org/10.1007/978-3-030-00256-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399686 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zhou, Qinglei. editor.&#160;Gan, Yong. editor.&#160;Jing, Weipeng. editor.&#160;Song, Xianhua. editor.&#160;Wang, Yan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2203-7">https://doi.org/10.1007/978-981-13-2203-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400029 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75214-3">https://doi.org/10.1007/978-3-319-75214-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400433 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zhou, Qinglei. editor.&#160;Miao, Qiguang. editor.&#160;Wang, Hongzhi. editor.&#160;Xie, Wei. editor.&#160;Wang, Yan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2206-8">https://doi.org/10.1007/978-981-13-2206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399045 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145&#160;Dagien&#279;, Valentina. 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-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399949 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. 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-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400711 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Bellatreche, Ladjel. editor.&#160;Biffl, Stefan. editor.&#160;van Leeuwen, Jan. editor.&#160;Wiedermann, Ji&#345;&iacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science ent://SD_ILS/0/SD_ILS:399360 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Ausiello, Giorgio. 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-62680-2">https://doi.org/10.1007/978-3-319-62680-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017 ent://SD_ILS/0/SD_ILS:399448 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Le, Nguyen-Thinh. editor.&#160;van Do, Tien. editor.&#160;Nguyen, Ngoc Thanh. editor.&#160;Thi, Hoai An Le. 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-61911-8">https://doi.org/10.1007/978-3-319-61911-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Higher Education Computer Science A Manual of Practical Approaches ent://SD_ILS/0/SD_ILS:399820 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Carter, Jenny. editor.&#160;O'Grady, Michael. editor. (orcid)0000-0002-6250-4736&#160;Rosen, Clive. 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-98590-9">https://doi.org/10.1007/978-3-319-98590-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Ubiquitous Computing CSA-CUTE 17 ent://SD_ILS/0/SD_ILS:399338 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Park, James J. editor.&#160;Loia, Vincenzo. editor.&#160;Yi, Gangman. editor.&#160;Sung, Yunsick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7605-3">https://doi.org/10.1007/978-981-10-7605-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics for Computer Science Classical and Non-Classical ent://SD_ILS/0/SD_ILS:399616 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wasilewska, Anita. 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-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Artifacts Towards a Philosophy of Computer Science ent://SD_ILS/0/SD_ILS:402712 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Turner, Raymond. 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-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017) ent://SD_ILS/0/SD_ILS:402749 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lames, Martin. editor.&#160;Saupe, Dietmar. editor.&#160;Wiemeyer, Josef. 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-67846-7">https://doi.org/10.1007/978-3-319-67846-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Pozna&#324;, Poland, November 27-29, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401547 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Vetulani, Zygmunt. editor.&#160;Mariani, Joseph. editor.&#160;Kubis, Marek. 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-93782-3">https://doi.org/10.1007/978-3-319-93782-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices ent://SD_ILS/0/SD_ILS:401726 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;&Scaron;tuikys, Vytautas. author.&#160;Burbait&#279;, Renata. 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-78485-4">https://doi.org/10.1007/978-3-319-78485-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine ent://SD_ILS/0/SD_ILS:401930 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Shakhovska, Natalia. editor.&#160;Stepashko, Volodymyr. 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-70581-1">https://doi.org/10.1007/978-3-319-70581-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Programming for the Digital Humanities Lessons for Introductory Python ent://SD_ILS/0/SD_ILS:400251 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kokensparger, Brian. 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-99115-3">https://doi.org/10.1007/978-3-319-99115-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research and Development in Digital Media ent://SD_ILS/0/SD_ILS:402468 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Earnshaw, Rae. 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-73080-6">https://doi.org/10.1007/978-3-319-73080-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large Group Decision Making Creating Decision Support Approaches at Scale ent://SD_ILS/0/SD_ILS:399394 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Palomares Carrascosa, Iv&aacute;n. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01027-0">https://doi.org/10.1007/978-3-030-01027-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Data Mining ent://SD_ILS/0/SD_ILS:399423 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Yao, Yuan. author.&#160;Su, Xing. author.&#160;Tong, Hanghang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02101-6">https://doi.org/10.1007/978-3-030-02101-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Edge Computing: A Primer ent://SD_ILS/0/SD_ILS:400196 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cao, Jie. author.&#160;Zhang, Quan. author.&#160;Shi, Weisong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02083-5">https://doi.org/10.1007/978-3-030-02083-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Scientific Computing With Python ent://SD_ILS/0/SD_ILS:400205 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Turner, Peter R. author.&#160;Arildsen, Thomas. author. (orcid)0000-0003-3254-3790&#160;Kavanagh, Kathleen. 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-89575-8">https://doi.org/10.1007/978-3-319-89575-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interrupt Handling Schemes in Operating Systems ent://SD_ILS/0/SD_ILS:400213 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mejia-Alvarez, Pedro. author.&#160;Leyva-del-Foyo, Luis Eduardo. author.&#160;Diaz-Ramirez, Arnaldo. 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-94493-7">https://doi.org/10.1007/978-3-319-94493-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach ent://SD_ILS/0/SD_ILS:400474 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Azim, Tayyaba. author.&#160;Ahmed, Sarah. 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-98524-4">https://doi.org/10.1007/978-3-319-98524-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Auction Based Resource Provisioning in Cloud Computing ent://SD_ILS/0/SD_ILS:400482 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Baranwal, Gaurav. author.&#160;Kumar, Dinesh. author.&#160;Raza, Zahid. author.&#160;Vidyarthi, Deo Prakash. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8737-0">https://doi.org/10.1007/978-981-10-8737-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Energy Integrated Communication Networks A Brief Introduction ent://SD_ILS/0/SD_ILS:400483 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Hu, Jie. author.&#160;Yang, Kun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0116-2">https://doi.org/10.1007/978-981-13-0116-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses ent://SD_ILS/0/SD_ILS:400350 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;H. M. Cruz, Eduardo. author.&#160;Diener, Matthias. author.&#160;O. A. Navaux, Philippe. 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-91074-1">https://doi.org/10.1007/978-3-319-91074-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Culture on the Edge of Chaos Cultural Algorithms and the Foundations of Social Intelligence ent://SD_ILS/0/SD_ILS:401111 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Reynolds, Robert G. 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-74171-0">https://doi.org/10.1007/978-3-319-74171-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Quality Assessment of Computer-generated Images Based on Machine Learning and Soft Computing ent://SD_ILS/0/SD_ILS:401560 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bigand, Andr&eacute;. author.&#160;Dehos, Julien. author.&#160;Renaud, Christophe. author.&#160;Constantin, Joseph. 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-73543-6">https://doi.org/10.1007/978-3-319-73543-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Tools for Cyber Attribution ent://SD_ILS/0/SD_ILS:401866 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Nunes, Eric. author.&#160;Shakarian, Paulo. author.&#160;Simari, Gerardo I. author.&#160;Ruef, Andrew. 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-73788-1">https://doi.org/10.1007/978-3-319-73788-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Neural Networks in a Mathematical Framework ent://SD_ILS/0/SD_ILS:402226 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Caterini, Anthony L. author.&#160;Chang, Dong Eui. 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-75304-1">https://doi.org/10.1007/978-3-319-75304-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large Scale Hierarchical Classification: State of the Art ent://SD_ILS/0/SD_ILS:399106 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Naik, Azad. author.&#160;Rangwala, Huzefa. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01620-3">https://doi.org/10.1007/978-3-030-01620-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Fault Detection and Correction: Modeling and Applications ent://SD_ILS/0/SD_ILS:399124 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Peng, Rui. author.&#160;Li, Yan-Fu. author.&#160;Liu, Yu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1162-8">https://doi.org/10.1007/978-981-13-1162-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Online Social Media Content Delivery A Data-Driven Approach ent://SD_ILS/0/SD_ILS:399312 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wang, Zhi. author.&#160;Zhu, Wenwu. author.&#160;Yang, Shiqiang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-2774-1">https://doi.org/10.1007/978-981-10-2774-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mining Lurkers in Online Social Networks Principles, Models, and Computational Methods ent://SD_ILS/0/SD_ILS:399337 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Tagarelli, Andrea. author.&#160;Interdonato, Roberto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00229-9">https://doi.org/10.1007/978-3-030-00229-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Discrete Math Workbook A Companion Manual for Practical Study ent://SD_ILS/0/SD_ILS:399603 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kurgalin, Sergei. author.&#160;Borzunov, Sergei. 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-92645-2">https://doi.org/10.1007/978-3-319-92645-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tree-Based Convolutional Neural Networks Principles and Applications ent://SD_ILS/0/SD_ILS:400456 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mou, Lili. author.&#160;Jin, Zhi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1870-2">https://doi.org/10.1007/978-981-13-1870-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Graph Algorithms Sequential, Parallel and Distributed ent://SD_ILS/0/SD_ILS:400631 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Erciyes, K. 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-73235-0">https://doi.org/10.1007/978-3-319-73235-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Computing Forensics for Africa A Case Study of the Science in Nigeria ent://SD_ILS/0/SD_ILS:401736 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Iorliam, Aamo. 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-94499-9">https://doi.org/10.1007/978-3-319-94499-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web-Based Systems Quality Assessment Models ent://SD_ILS/0/SD_ILS:402697 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kumar, Sandeep. author.&#160;Baliyan, Niyati. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7700-5">https://doi.org/10.1007/978-981-10-7700-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Point-of-Interest Recommendation in Location-Based Social Networks ent://SD_ILS/0/SD_ILS:402745 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zhao, Shenglin. author.&#160;Lyu, Michael R. author.&#160;King, Irwin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1349-3">https://doi.org/10.1007/978-981-13-1349-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Survey of Fractal Dimensions of Networks ent://SD_ILS/0/SD_ILS:399868 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Rosenberg, Eric. 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-90047-6">https://doi.org/10.1007/978-3-319-90047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatiotemporal Frequent Pattern Mining from Evolving Region Trajectories ent://SD_ILS/0/SD_ILS:399890 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Aydin, Berkay. author.&#160;Angryk, Rafal. A. 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-99873-2">https://doi.org/10.1007/978-3-319-99873-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transforming the IT Services Lifecycle with AI Technologies ent://SD_ILS/0/SD_ILS:400394 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kloeckner, Kristof. author.&#160;Davis, John. author.&#160;Fuller, Nicholas C. author.&#160;Lanfranchi, Giovanni. author.&#160;Pappe, Stefan. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94048-9">https://doi.org/10.1007/978-3-319-94048-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications ent://SD_ILS/0/SD_ILS:400395 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wienke, B. R. author.&#160;O'Leary, T. R. 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-94054-0">https://doi.org/10.1007/978-3-319-94054-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Image Processing: Practical Approach ent://SD_ILS/0/SD_ILS:400425 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Furht, Borko. author.&#160;Akar, Esad. author.&#160;Andrews, Whitney Angelica. 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-96634-2">https://doi.org/10.1007/978-3-319-96634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics Techniques for Drug Discovery Applications for Complex Diseases ent://SD_ILS/0/SD_ILS:400904 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kaushik, Aman Chandra. author.&#160;Kumar, Ajay. author.&#160;Bharadwaj, Shiv. author.&#160;Chaudhary, Ravi. author.&#160;Sahi, Shakti. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75732-2">https://doi.org/10.1007/978-3-319-75732-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smartphone-Based Indoor Map Construction Principles and Applications ent://SD_ILS/0/SD_ILS:400913 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gao, Ruipeng. author.&#160;Ye, Fan. author.&#160;Luo, Guojie. author.&#160;Cong, Jason. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8378-5">https://doi.org/10.1007/978-981-10-8378-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Fault Prediction A Road Map ent://SD_ILS/0/SD_ILS:401387 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kumar, Sandeep. author.&#160;Rathore, Santosh Singh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8715-8">https://doi.org/10.1007/978-981-10-8715-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Survey on 3D Cameras: Metrological Comparison of Time-of-Flight, Structured-Light and Active Stereoscopy Technologies ent://SD_ILS/0/SD_ILS:401644 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Giancola, Silvio. author.&#160;Valenti, Matteo. author.&#160;Sala, Remo. 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-91761-0">https://doi.org/10.1007/978-3-319-91761-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Chao. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Informatics First International Conference, ICAI 2018, Bogot&aacute;, Colombia, November 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399326 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Florez, Hector. editor. (orcid)0000-0002-5339-4459&#160;Diaz, Cesar. editor. (orcid)0000-0002-9132-2747&#160;Chavarriaga, Jaime. editor. (orcid)0000-0002-8372-667X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01535-0">https://doi.org/10.1007/978-3-030-01535-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 &ndash; August 3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399408 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Manea, Florin. editor.&#160;Miller, Russell G. editor.&#160;Nowotka, Dirk. 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-94418-0">https://doi.org/10.1007/978-3-319-94418-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399421 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Hongxiu. editor.&#160;P&aacute;lsd&oacute;ttir, &Aacute;g&uacute;sta. editor.&#160;Trill, Roland. editor.&#160;Suomi, Reima. editor.&#160;Amelina, Yevgeniya. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97931-1">https://doi.org/10.1007/978-3-319-97931-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399812 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Rusu, Vlad. 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-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400218 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Beck, Dennis. editor.&#160;Allison, Colin. editor.&#160;Morgado, Leonel. editor.&#160;Pirker, Johanna. editor.&#160;Pe&ntilde;a-Rios, Anasol. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93596-6">https://doi.org/10.1007/978-3-319-93596-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400561 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243&#160;Poli, Irene. editor. (orcid)0000-0001-7828-2480&#160;Roli, Andrea. editor. (orcid)0000-0001-9891-5441&#160;Serra, Roberto. editor. (orcid)0000-0002-1417-5106&#160;Slanzi, Debora. editor. (orcid)0000-0002-4204-1009<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78658-2">https://doi.org/10.1007/978-3-319-78658-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enjoying Natural Computing Essays Dedicated to Mario de Jes&uacute;s P&eacute;rez-Jim&eacute;nez on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:400546 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Graciani, Carmen. editor.&#160;Riscos-N&uacute;&ntilde;ez, Agust&iacute;n. editor.&#160;P&#259;un, Gheorghe. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00265-7">https://doi.org/10.1007/978-3-030-00265-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400624 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Ghosh, Debdas. editor.&#160;Giri, Debasis. editor.&#160;Mohapatra, Ram N. editor.&#160;Savas, Ekrem. editor.&#160;Sakurai, Kouichi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0023-3">https://doi.org/10.1007/978-981-13-0023-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401077 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Koro&scaron;ec, Peter. editor.&#160;Melab, Nouredine. editor.&#160;Talbi, El-Ghazali. 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-91641-5">https://doi.org/10.1007/978-3-319-91641-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401223 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Balsamo, Simonetta. editor.&#160;Marin, Andrea. editor.&#160;Vicario, Enrico. 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-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398933 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Takahashi, Yutaka. editor.&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;Yue, Wuyi. 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-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22&ndash;25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398934 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kozubek, Tom&aacute;&scaron;. editor.&#160;&#268;erm&aacute;k, Martin. editor. (orcid)0000-0002-0171-625X&#160;Tich&yacute;, Petr. editor. (orcid)0000-0001-6008-4056&#160;Blaheta, Radim. editor.&#160;&Scaron;&iacute;stek, Jakub. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97136-0">https://doi.org/10.1007/978-3-319-97136-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398950 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Foret, Annie. editor.&#160;Kobele, Greg. editor.&#160;Pogodalla, Sylvain. 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-57784-4">https://doi.org/10.1007/978-3-662-57784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation Science First International Workshop, SimScience 2017, G&ouml;ttingen, Germany, April 27&ndash;28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399370 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Baum, Marcus. editor.&#160;Brenner, Gunther. editor.&#160;Grabowski, Jens. editor.&#160;Hanschke, Thomas. editor.&#160;Hartmann, Stefan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96271-9">https://doi.org/10.1007/978-3-319-96271-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399729 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829&#160;Padovani, Luca. editor. (orcid)0000-0001-9097-1297&#160;Torquati, Massimo. editor. (orcid)0000-0001-6323-3459&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:400044 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mikulski, Jerzy. 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-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:400114 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Dudin, Alexander. editor. (orcid)0000-0003-2881-0227&#160;Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629&#160;Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97595-5">https://doi.org/10.1007/978-3-319-97595-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms ent://SD_ILS/0/SD_ILS:400133 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Trobec, Roman. author.&#160;Slivnik, Bo&scaron;tjan. author.&#160;Buli&#263;, Patricio. author.&#160;Robi&#269;, Borut. 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-98833-7">https://doi.org/10.1007/978-3-319-98833-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400450 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;M&uuml;nster, Sander. editor. (orcid)0000-0001-9344-912X&#160;Friedrichs, Kristina. editor.&#160;Niebling, Florian. editor.&#160;Seidel-Grzesi&#324;ska, Agnieszka. 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-76992-9">https://doi.org/10.1007/978-3-319-76992-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400681 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Foret, Annie. editor.&#160;Muskens, Reinhard. editor.&#160;Pogodalla, Sylvain. 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-56343-4">https://doi.org/10.1007/978-3-662-56343-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400644 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Ahmed, Amal. editor. (orcid)0000-0001-7424-572X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401707 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Eremeev, Anton. editor. (orcid)0000-0001-5289-7874&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Pardalos, Panos. editor. (orcid)0000-0001-9623-8053&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93800-4">https://doi.org/10.1007/978-3-319-93800-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23&ndash;25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401737 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Parlier, Greg H. editor.&#160;Liberatore, Federico. editor.&#160;Demange, Marc. 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-94767-9">https://doi.org/10.1007/978-3-319-94767-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401755 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Moss, Lawrence S. editor.&#160;de Queiroz, Ruy. editor.&#160;Martinez, Maricarmen. 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-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402375 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Avigad, Jeremy. editor.&#160;Mahboubi, Assia. 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-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402356 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Erdt, Mojisola. editor. (orcid)0000-0003-2371-6768&#160;Sesagiri Raamkumar, Aravind. editor. (orcid)0000-0001-7200-7787&#160;Rasmussen, Edie. editor.&#160;Theng, Yin-Leng. 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-1053-9">https://doi.org/10.1007/978-981-13-1053-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2018 &ndash; Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402556 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Stephanidis, Constantine. 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-92279-9">https://doi.org/10.1007/978-3-319-92279-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2018 &ndash; Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402557 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Stephanidis, Constantine. 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-92285-0">https://doi.org/10.1007/978-3-319-92285-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399224 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Abdullah, Natrah. editor.&#160;Wan Adnan, Wan Adilah. editor.&#160;Foth, Marcus. 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-1628-9">https://doi.org/10.1007/978-981-13-1628-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. 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-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2018 &ndash; Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399909 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Stephanidis, Constantine. 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-92270-6">https://doi.org/10.1007/978-3-319-92270-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5&ndash;8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399958 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Butler, Michael. editor.&#160;Raschke, Alexander. editor.&#160;Hoang, Thai Son. editor.&#160;Reichl, Klaus. 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-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis for Computer Scientists Foundations, Methods, and Algorithms ent://SD_ILS/0/SD_ILS:400374 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651&#160;Ostermann, Alexander. author. (orcid)0000-0003-0194-2481&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91155-7">https://doi.org/10.1007/978-3-319-91155-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400415 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Vishnevskiy, Vladimir M. editor.&#160;Kozyrev, Dmitry V. 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-99447-5">https://doi.org/10.1007/978-3-319-99447-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:400423 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bhattacharyya, Pushpak. editor.&#160;Sastry, Hanumat G. editor.&#160;Marriboyina, Venkatadri. editor.&#160;Sharma, Rashmi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8660-1">https://doi.org/10.1007/978-981-10-8660-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400714 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wang, Meng. editor.&#160;Owens, Scott. 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-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16&ndash;18, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400792 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.&#160;Zhu, Zhenzhen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7844-6">https://doi.org/10.1007/978-981-10-7844-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401493 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bhattacharyya, Pushpak. editor.&#160;Sastry, Hanumat G. editor.&#160;Marriboyina, Venkatadri. editor.&#160;Sharma, Rashmi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8657-1">https://doi.org/10.1007/978-981-10-8657-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401534 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Baetens, Jan M. editor.&#160;Kutrib, Martin. 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-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. 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-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399266 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Dama&scaron;evi&#269;ius, Robertas. editor.&#160;Vasiljevien&#279;, Giedr&#279;. 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-99972-2">https://doi.org/10.1007/978-3-319-99972-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Challenges 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399286 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Buscaldi, Davide. editor. (orcid)0000-0003-1112-3789&#160;Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684&#160;Reforgiato Recupero, Diego. 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-00072-1">https://doi.org/10.1007/978-3-030-00072-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Management in Organizations 13th International Conference, KMO 2018, &#381;ilina, Slovakia, August 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399291 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Uden, Lorna. editor.&#160;Hadzima, Branislav. editor.&#160;Ting, I-Hsien. 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-95204-8">https://doi.org/10.1007/978-3-319-95204-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399297 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Blum, Christian. editor. (orcid)0000-0002-1736-3559&#160;Christensen, Anders L. editor. (orcid)0000-0002-9994-2908&#160;Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399146 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Shalf, John. editor.&#160;Alam, Sadaf. editor. (orcid)0000-0002-2534-5078&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02465-9">https://doi.org/10.1007/978-3-030-02465-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399325 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222&#160;Alwan, Jwan K. editor.&#160;Hussein, Ali 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-030-01653-1">https://doi.org/10.1007/978-3-030-01653-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8&ndash;10, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399393 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wang, Yongtian. editor.&#160;Jiang, Zhiguo. editor.&#160;Peng, Yuxin. 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-1702-6">https://doi.org/10.1007/978-981-13-1702-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399397 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. 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-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399342 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zhou, Zhi-Hua. editor.&#160;Yang, Qiang. editor.&#160;Gao, Yang. editor.&#160;Zheng, Yu. 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-2122-1">https://doi.org/10.1007/978-981-13-2122-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Databases and Information Systems 13th International Baltic Conference, DB&amp;IS 2018, Trakai, Lithuania, July 1-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399402 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lupeikiene, Audrone. editor.&#160;Vasilecas, Olegas. editor.&#160;Dzemyda, Gintautas. 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-97571-9">https://doi.org/10.1007/978-3-319-97571-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399410 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. 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-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telematics and Computing 7th International Congress, WITCOM 2018, Mazatl&aacute;n, Mexico, November 5-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399412 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mata-Rivera, Miguel Felix. editor. (orcid)0000-0001-9714-7137&#160;Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03763-5">https://doi.org/10.1007/978-3-030-03763-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Methods 8th Brazilian Workshop, WBMA 2017, Bel&eacute;m, Brazil, September 13&ndash;14, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399418 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Santos, Viviane Almeida dos. editor.&#160;Pinto, Gustavo Henrique Lima. editor.&#160;Serra Seca Neto, Adolfo Gustavo. 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-73673-0">https://doi.org/10.1007/978-3-319-73673-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2&ndash;6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399802 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399811 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kozielski, Stanis&#322;aw. editor.&#160;Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656&#160;Kasprowski, Pawe&#322;. editor. (orcid)0000-0002-2090-335X&#160;Ma&#322;ysiak-Mrozek, Bo&#380;ena. editor. (orcid)0000-0003-4977-4915&#160;Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99987-6">https://doi.org/10.1007/978-3-319-99987-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Computing Systems Second International Conference, ICSCS 2018, Kollam, India, April 19&ndash;20, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399826 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zelinka, Ivan. editor.&#160;Senkerik, Roman. editor.&#160;Panda, Ganapati. editor.&#160;Lekshmi Kanthan, Padma Suresh. 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-1936-5">https://doi.org/10.1007/978-981-13-1936-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399967 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. 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-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2&ndash;4, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400066 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Qiao, Jianyong. editor.&#160;Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646&#160;Pan, Linqiang. editor. (orcid)0000-0002-4554-455X&#160;Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182&#160;Zhang, Xingyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2829-9">https://doi.org/10.1007/978-981-13-2829-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge and Systems Sciences 19th International Symposium, KSS 2018, Tokyo, Japan, November 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400067 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Chen, Jian. editor.&#160;Yamada, Yuji. editor.&#160;Ryoke, Mina. editor.&#160;Tang, Xijin. 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-3149-7">https://doi.org/10.1007/978-981-13-3149-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. 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-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400083 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01418-6">https://doi.org/10.1007/978-3-030-01418-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Natural Language 7th International Conference, AINL 2018, St. Petersburg, Russia, October 17&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400092 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Ustalov, Dmitry. editor.&#160;Filchenkov, Andrey. editor.&#160;Pivovarova, Lidia. editor.&#160;&#381;i&#382;ka, Jan. 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-01204-5">https://doi.org/10.1007/978-3-030-01204-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400099 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mann, Zolt&aacute;n &Aacute;d&aacute;m. editor.&#160;Stolz, Volker. 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-79090-9">https://doi.org/10.1007/978-3-319-79090-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400100 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Huang, Tingwen. editor. (orcid)0000-0001-9610-846X&#160;Lv, Jiancheng. editor.&#160;Sun, Changyin. editor.&#160;Tuzikov, Alexander V. 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-92537-0">https://doi.org/10.1007/978-3-319-92537-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400102 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Kang. editor.&#160;Zhang, Jianhua. editor.&#160;Chen, Minyou. editor.&#160;Yang, Zhile. editor.&#160;Niu, Qun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2381-2">https://doi.org/10.1007/978-981-13-2381-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software &ndash; ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400160 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Davenport, James H. editor. (orcid)0000-0002-3982-7545&#160;Kauers, Manuel. editor.&#160;Labahn, George. editor.&#160;Urban, Josef. 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-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovi&#269; on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:400163 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;B&ouml;ckenhauer, Hans-Joachim. editor.&#160;Komm, Dennis. editor.&#160;Unger, Walter. 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-98355-4">https://doi.org/10.1007/978-3-319-98355-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400172 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022&#160;El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286&#160;Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X&#160;Nishinari, Katsuhiro. editor.&#160;Manzoni, Luca. editor. (orcid)0000-0001-6312-7728<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99813-8">https://doi.org/10.1007/978-3-319-99813-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Transformation and Global Society Third International Conference, DTGS 2018, St. Petersburg, Russia, May 30 &ndash; June 2, 2018, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:400174 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903&#160;Boukhanovsky, Alexander V. editor.&#160;Chugunov, Andrei V. editor.&#160;Kabanov, Yury. editor. (orcid)0000-0002-4011-2010&#160;Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02843-5">https://doi.org/10.1007/978-3-030-02843-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400175 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. 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-05063-4">https://doi.org/10.1007/978-3-030-05063-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400211 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bajo, Javier. editor.&#160;Corchado, Juan M. editor.&#160;Navarro Mart&iacute;nez, Elena Mar&iacute;a. editor.&#160;Osaba Icedo, Eneko. editor.&#160;Mathieu, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94779-2">https://doi.org/10.1007/978-3-319-94779-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technologies and Innovation 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400240 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Valencia-Garc&iacute;a, Rafael. editor.&#160;Alcaraz-M&aacute;rmol, Gema. editor.&#160;Del Cioppo-Morstadt, Javier. editor.&#160;Vera-Lucio, N&eacute;stor. editor.&#160;Bucaram-Leverone, Martha. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00940-3">https://doi.org/10.1007/978-3-030-00940-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400253 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Fischer, Bernd. editor. (orcid)0000-0002-1815-218X&#160;Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Computational Intelligence First IEEE Colombian Conference, ColCACI 2018, Medell&iacute;n, Colombia, May 16-18, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400264 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Orjuela-Ca&ntilde;&oacute;n, Alvaro David. editor.&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Arias-Londo&ntilde;o, Juli&aacute;n David. editor. (orcid)0000-0002-1928-773X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03023-0">https://doi.org/10.1007/978-3-030-03023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400297 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. 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-04182-3">https://doi.org/10.1007/978-3-030-04182-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400462 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Perfilieva, Irina. editor.&#160;Bouchon-Meunier, Bernadette. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91479-4">https://doi.org/10.1007/978-3-319-91479-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400464 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;R&ouml;cker, Carsten. editor.&#160;O&rsquo;Donoghue, John. editor.&#160;Ziefle, Martina. editor.&#160;Maciaszek, Leszek. editor.&#160;Molloy, William. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93644-4">https://doi.org/10.1007/978-3-319-93644-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400465 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Stamelos, Ioannis. editor.&#160;O'Connor, Rory V. editor.&#160;Rout, Terry. editor.&#160;Dorling, Alec. 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-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400495 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Hammoudi, Slimane. editor.&#160;Selic, Bran. 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-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technology Trends Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400499 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Esparza-Cruz, Nelly. editor. (orcid)0000-0002-1916-5150&#160;Le&oacute;n-Acurio, Joffre. editor. (orcid)0000-0002-7467-912X&#160;Crespo-Torres, Narcisa. editor.&#160;Beltr&aacute;n-Mora, Marola. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72727-1">https://doi.org/10.1007/978-3-319-72727-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400333 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Abdelwahed, El Hassan. editor.&#160;Bellatreche, Ladjel. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Golfarelli, Matteo. editor.&#160;Jean, St&eacute;phane. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400340 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400343 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Horvath, Andras. editor. (orcid)0000-0002-8210-545X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications DEXA 2018 International Workshops, BDMICS, BIOKDD, and TIR, Regensburg, Germany, September 3&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400352 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Elloumi, Mourad. editor.&#160;Granitzer, Michael. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Seifert, Christin. editor.&#160;Stein, Benno. editor. (orcid)0000-0001-9033-2217<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99133-7">https://doi.org/10.1007/978-3-319-99133-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400571 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Mining 15th Australasian Conference, AusDM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400613 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Boo, Yee Ling. editor.&#160;Stirling, David. editor. (orcid)0000-0003-1219-2794&#160;Chi, Lianhua. editor.&#160;Liu, Lin. editor.&#160;Ong, Kok-Leong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0292-3">https://doi.org/10.1007/978-981-13-0292-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400551 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Al-Sharhan, Salah A. editor.&#160;Simintiras, Antonis C. editor.&#160;Dwivedi, Yogesh K. editor.&#160;Janssen, Marijn. editor.&#160;M&auml;ntym&auml;ki, Matti. editor. (orcid)0000-0002-1981-566X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02131-3">https://doi.org/10.1007/978-3-030-02131-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400553 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Izumi, Taisuke. editor.&#160;Kuznetsov, Petr. 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-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400556 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Hu, Ting. editor.&#160;Wang, Feng. editor.&#160;Li, Hongwei. editor.&#160;Wang, Qian. 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-05234-8">https://doi.org/10.1007/978-3-030-05234-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401000 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;You, Ilsun. editor.&#160;Leu, Fang-Yie. editor.&#160;Chen, Hsing-Chung. editor.&#160;Kotenko, Igor. editor. (orcid)0000-0001-6859-7120&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7850-7">https://doi.org/10.1007/978-981-10-7850-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision, Pattern Recognition, Image Processing, and Graphics 6th National Conference, NCVPRIPG 2017, Mandi, India, December 16-19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400936 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Rameshan, Renu. editor.&#160;Arora, Chetan. editor.&#160;Dutta Roy, Sumantra. 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-0020-2">https://doi.org/10.1007/978-981-13-0020-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:401105 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401110 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;Sulzmann, Martin. 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-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations for Community Services 18th International Conference, I4CS 2018, &#381;ilina, Slovakia, June 18-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401417 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Hodo&#328;, Michal. editor.&#160;Eichler, Gerald. editor. (orcid)0000-0002-7420-698X&#160;Erfurth, Christian. editor. (orcid)0000-0003-2761-3985&#160;Fahrnberger, G&uuml;nter. editor. (orcid)0000-0002-2606-3988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93408-2">https://doi.org/10.1007/978-3-319-93408-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. 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-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Spatial Knowledge and Intelligence 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401517 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Yuan, Hanning. editor.&#160;Geng, Jing. editor.&#160;Liu, Chuanlu. editor.&#160;Bian, Fuling. editor.&#160;Surapunt, Tisinee. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0893-2">https://doi.org/10.1007/978-981-13-0893-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401827 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Chen, Jianer. editor.&#160;Lu, Pinyan. 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-78455-7">https://doi.org/10.1007/978-3-319-78455-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28&ndash;29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401995 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Damiani, Ernesto. editor.&#160;Spanoudakis, George. editor.&#160;Maciaszek, Leszek. 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-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402006 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wang, Lusheng. editor.&#160;Zhu, Daming. 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-94776-1">https://doi.org/10.1007/978-3-319-94776-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Heckel, Reiko. editor.&#160;Taentzer, Gabriele. 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-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402225 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478&#160;Sung, Wing-Kin. editor.&#160;Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75172-6">https://doi.org/10.1007/978-3-319-75172-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21&ndash;23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402227 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Peixoto, Nathalia. editor.&#160;Silveira, Margarida. editor.&#160;Ali, Hesham H. editor.&#160;Maciel, Carlos. editor.&#160;van den Broek, Egon L. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94806-5">https://doi.org/10.1007/978-3-319-94806-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Games 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402236 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374&#160;Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824&#160;Saffidine, Abdallah. editor. (orcid)0000-0001-9805-8291&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75931-9">https://doi.org/10.1007/978-3-319-75931-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402313 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Jarvis, Stephen. editor.&#160;Wright, Steven. editor.&#160;Hammond, Simon. 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-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402321 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017&#160;Benevides, M&aacute;rio. 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-73579-5">https://doi.org/10.1007/978-3-319-73579-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering for Internet of Things 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9&ndash;10, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402330 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kamalrudin, Massila. editor.&#160;Ahmad, Sabrina. editor. (orcid)0000-0002-4277-2063&#160;Ikram, Naveed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7796-8">https://doi.org/10.1007/978-981-10-7796-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Libraries and Multimedia Archives 14th Italian Research Conference on Digital Libraries, IRCDL 2018, Udine, Italy, January 25-26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402336 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Serra, Giuseppe. editor. (orcid)0000-0002-4269-4501&#160;Tasso, Carlo. editor. (orcid)0000-0001-5162-185X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73165-0">https://doi.org/10.1007/978-3-319-73165-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Image and Graphics Technologies 12th Chinese conference, IGTA 2017, Beijing, China, June 30 &ndash; July 1, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402564 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wang, Yongtian. editor.&#160;Wang, Shengjin. editor.&#160;Liu, Yue. editor.&#160;Yang, Jian. editor.&#160;Yuan, Xiaoru. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7389-2">https://doi.org/10.1007/978-981-10-7389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Man-Machine Speech Communication 14th National Conference, NCMMSC 2017, Lianyungang, China, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402631 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Tao, Jianhua. editor.&#160;Zheng, Thomas Fang. editor.&#160;Bao, Changchun. editor.&#160;Wang, Dong. editor.&#160;Li, Ya. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8111-8">https://doi.org/10.1007/978-981-10-8111-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11&ndash;13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398944 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lee, Jon. editor.&#160;Rinaldi, Giovanni. editor.&#160;Mahjoub, A. Ridha. 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-96151-4">https://doi.org/10.1007/978-3-319-96151-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399063 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Xu, Zongben. editor.&#160;Gao, Xinbo. editor.&#160;Miao, Qiguang. editor.&#160;Zhang, Yunquan. editor.&#160;Bu, Jiajun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2922-7">https://doi.org/10.1007/978-981-13-2922-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399093 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheung, Simon K.S. editor.&#160;Kwok, Lam-for. editor.&#160;Kubota, Kenichi. editor.&#160;Lee, Lap-Kei. editor.&#160;Tokito, Jumpei. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94505-7">https://doi.org/10.1007/978-3-319-94505-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399097 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Chen, Xuemin. editor. (orcid)0000-0003-3820-9195&#160;Sen, Arunabha. editor.&#160;Li, Wei Wayne. editor.&#160;Thai, My T. editor. (orcid)0000-0003-0503-2012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04648-4">https://doi.org/10.1007/978-3-030-04648-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399118 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Huet, Benoit. editor.&#160;Nie, Liqiang. editor.&#160;Hong, Richang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8530-7">https://doi.org/10.1007/978-981-10-8530-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399121 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Ganapathi, Geetha. editor.&#160;Subramaniam, Arumugam. editor.&#160;Gra&ntilde;a, Manuel. editor.&#160;Balusamy, Suresh. editor.&#160;Natarajan, Rajamanickam. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0716-4">https://doi.org/10.1007/978-981-13-0716-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing and Data Sciences Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:399134 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Singh, Mayank. editor.&#160;Gupta, P. K. editor.&#160;Tyagi, Vipin. editor.&#160;Flusser, Jan. editor.&#160;&Ouml;ren, Tuncer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1810-8">https://doi.org/10.1007/978-981-13-1810-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing and Data Sciences Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399142 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Singh, Mayank. editor.&#160;Gupta, P. K. editor.&#160;Tyagi, Vipin. editor.&#160;Flusser, Jan. editor.&#160;&Ouml;ren, Tuncer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1813-9">https://doi.org/10.1007/978-981-13-1813-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399143 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Liang. editor.&#160;Hasegawa, Kyoko. editor.&#160;Tanaka, Satoshi. 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-2853-4">https://doi.org/10.1007/978-981-13-2853-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Cyber Security First International Conference, FCS 2018, Chengdu, China, November 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399145 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Fagen. editor. (orcid)0000-0001-6289-1265&#160;Takagi, Tsuyoshi. editor.&#160;Xu, Chunxiang. editor.&#160;Zhang, Xiaosong. 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-3095-7">https://doi.org/10.1007/978-981-13-3095-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399365 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. 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-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399366 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. 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-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18&ndash;19, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399369 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Kangshun. editor.&#160;Li, Wei. editor.&#160;Chen, Zhangxing. editor.&#160;Liu, Yong. 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-1651-7">https://doi.org/10.1007/978-981-13-1651-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399354 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lotker, Zvi. editor.&#160;Patt-Shamir, Boaz. 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-01325-7">https://doi.org/10.1007/978-3-030-01325-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399530 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038&#160;Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X&#160;Fill, Hans-Georg. editor.&#160;Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591&#160;Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399611 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399667 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Tang, Shaojie. editor.&#160;Du, Ding-Zhu. editor.&#160;Woodruff, David. editor.&#160;Butenko, Sergiy. 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-04618-7">https://doi.org/10.1007/978-3-030-04618-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data, Cloud and Applications Third International Conference, BDCA 2018, Kenitra, Morocco, April 4&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399680 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Tabii, Youness. editor.&#160;Lazaar, Mohamed. editor.&#160;Al Achhab, Mohammed. editor.&#160;Enneya, Nourddine. 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-96292-4">https://doi.org/10.1007/978-3-319-96292-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399713 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637&#160;Ackovska, Nevena. editor. (orcid)0000-0002-8990-0915&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00825-3">https://doi.org/10.1007/978-3-030-00825-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399721 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Potapov, Igor. editor.&#160;Reynier, Pierre-Alain. 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-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medell&iacute;n, Colombia, October 17-19, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399722 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Villegas, Juan G. editor. (orcid)0000-0002-2940-571X&#160;Orozco-Arroyave, Juan Rafael. editor. (orcid)0000-0002-8507-0782&#160;Maya Duque, Pablo Andres. editor. (orcid)0000-0002-5348-8615&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00353-1">https://doi.org/10.1007/978-3-030-00353-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399725 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Serrano C., Jairo E. editor. (orcid)0000-0001-8165-7343&#160;Mart&iacute;nez-Santos, Juan Carlos. editor. (orcid)0000-0003-2755-0718&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98998-3">https://doi.org/10.1007/978-3-319-98998-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399732 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Czach&oacute;rski, Tadeusz. editor. (orcid)0000-0001-7158-0258&#160;Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201&#160;Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790&#160;Lent, 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-030-00840-6">https://doi.org/10.1007/978-3-030-00840-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technology Enhanced Assessment 20th International Conference, TEA 2017, Barcelona, Spain, October 5&ndash;6, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399740 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Ras, Eric. editor.&#160;Guerrero Rold&aacute;n, Ana Elena. 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-97807-9">https://doi.org/10.1007/978-3-319-97807-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Space Information Networks Second International Conference, SINC 2017, Yinchuan, China, August 10-11, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399748 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Yu, Quan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7877-4">https://doi.org/10.1007/978-981-10-7877-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital TV and Wireless Multimedia Communication 14th International Forum, IFTC 2017, Shanghai, China, November 8-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399749 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zhai, Guangtao. editor. (orcid)0000-0001-8165-9322&#160;Zhou, Jun. editor.&#160;Yang, Xiaokang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8108-8">https://doi.org/10.1007/978-981-10-8108-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Applications of Neural Networks 19th International Conference, EANN 2018, Bristol, UK, September 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399759 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Pimenidis, Elias. editor. (orcid)0000-0003-3593-8640&#160;Jayne, Chrisina. editor. (orcid)0000-0001-7292-2109&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98204-5">https://doi.org/10.1007/978-3-319-98204-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:399976 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. 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-04221-9">https://doi.org/10.1007/978-3-030-04221-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. 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-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400039 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400040 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400042 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99259-4">https://doi.org/10.1007/978-3-319-99259-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400051 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gagie, Travis. editor. (orcid)0000-0003-3689-327X&#160;Moffat, Alistair. editor. (orcid)0000-0002-6638-0232&#160;Navarro, Gonzalo. editor. (orcid)0000-0002-2286-741X&#160;Cuadros-Vargas, Ernesto. 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-00479-8">https://doi.org/10.1007/978-3-030-00479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medell&iacute;n, Colombia, October 17-19, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400116 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;L&oacute;pez-Santana, Eduyn Ramiro. editor. (orcid)0000-0001-7670-7756&#160;Rodriguez-Molano, Jos&eacute; Ignacio. editor. (orcid)0000-0003-2581-277X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00350-0">https://doi.org/10.1007/978-3-030-00350-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400118 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. 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-73441-5">https://doi.org/10.1007/978-3-319-73441-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Transformation and Global Society Third International Conference, DTGS 2018, St. Petersburg, Russia, May 30 &ndash; June 2, 2018, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:400125 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903&#160;Boukhanovsky, Alexander V. editor.&#160;Chugunov, Andrei V. editor.&#160;Kabanov, Yury. editor. (orcid)0000-0002-4011-2010&#160;Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02846-6">https://doi.org/10.1007/978-3-030-02846-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400129 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Russo, Alessandra. editor. (orcid)0000-0002-3318-8711&#160;Sch&uuml;rr, Andy. editor. (orcid)0000-0001-8100-1109&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400132 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99253-2">https://doi.org/10.1007/978-3-319-99253-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400136 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Biedl, Therese. editor. (orcid)0000-0002-9003-3783&#160;Kerren, Andreas. editor. (orcid)0000-0002-0519-2537&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04414-5">https://doi.org/10.1007/978-3-030-04414-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arabic Language Processing: From Theory to Practice 6th International Conference, ICALP 2017, Fez, Morocco, October 11&ndash;12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400460 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lachkar, Abdelmonaime. editor.&#160;Bouzoubaa, Karim. editor.&#160;Mazroui, Azzedine. editor.&#160;Hamdani, Abdelfettah. editor.&#160;Lekhouaja, Abdelhak. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73500-9">https://doi.org/10.1007/978-3-319-73500-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400463 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Pelta, David A. editor.&#160;Cabrera, Inma P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. 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-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400303 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. 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-05054-2">https://doi.org/10.1007/978-3-030-05054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400306 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Budaghyan, Lilya. editor.&#160;Rodr&iacute;guez-Henr&iacute;quez, Francisco. 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-05153-2">https://doi.org/10.1007/978-3-030-05153-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400314 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Kang. editor.&#160;Fei, Minrui. editor.&#160;Du, Dajun. editor.&#160;Yang, Zhile. editor.&#160;Yang, Dongsheng. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2384-3">https://doi.org/10.1007/978-981-13-2384-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning Technology for Education Challenges 7th International Workshop, LTEC 2018, &#381;ilina, Slovakia, August 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400328 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Uden, Lorna. editor.&#160;Liberona, Dario. editor.&#160;Ristvej, Jozef. 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-95522-3">https://doi.org/10.1007/978-3-319-95522-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400335 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Epstein, Leah. editor.&#160;Erlebach, Thomas. 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-04693-4">https://doi.org/10.1007/978-3-030-04693-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400514 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01424-7">https://doi.org/10.1007/978-3-030-01424-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Secure Systems &ndash; IoT and Analytics Perspective Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400428 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Venkataramani, Guru Prasadh. editor.&#160;Sankaranarayanan, Karthik. editor.&#160;Mukherjee, Saswati. editor.&#160;Arputharaj, Kannan. editor.&#160;Sankara Narayanan, Swamynathan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7635-0">https://doi.org/10.1007/978-981-10-7635-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400452 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Ferguson, Donald. editor.&#160;Mu&ntilde;oz, V&iacute;ctor M&eacute;ndez. editor.&#160;Cardoso, Jorge. editor.&#160;Helfert, Markus. editor.&#160;Pahl, Claus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94959-8">https://doi.org/10.1007/978-3-319-94959-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. 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-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401313 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bonato, Anthony. editor.&#160;Pra&#322;at, Pawe&#322;. editor.&#160;Raigorodskii, Andrei. 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-92871-5">https://doi.org/10.1007/978-3-319-92871-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2&ndash;5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401236 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Deville, Yannick. editor. (orcid)0000-0002-8769-2446&#160;Gannot, Sharon. editor. (orcid)0000-0002-2885-170X&#160;Mason, Russell. editor. (orcid)0000-0002-6030-9603&#160;Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075&#160;Ward, Dominic. editor. (orcid)0000-0002-7819-0145<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93764-9">https://doi.org/10.1007/978-3-319-93764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401585 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Tang, Qirong. 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-93818-9">https://doi.org/10.1007/978-3-319-93818-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Security and Privacy Third International Conference, ICISSP 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401486 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mori, Paolo. editor.&#160;Furnell, Steven. editor. (orcid)0000-0003-0984-7542&#160;Camp, Olivier. 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-93354-2">https://doi.org/10.1007/978-3-319-93354-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401459 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Shapira, Dana. editor. (orcid)0000-0002-2320-9064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401654 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Payer, Mathias. editor.&#160;Rashid, Awais. editor.&#160;Such, Jose M. 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-94496-8">https://doi.org/10.1007/978-3-319-94496-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401678 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Alistarh, Dan. editor.&#160;Delis, Alex. editor.&#160;Pallis, George. 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-74875-7">https://doi.org/10.1007/978-3-319-74875-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401714 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Beyersdorff, Olaf. editor.&#160;Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Operating Systems A Practical Approach ent://SD_ILS/0/SD_ILS:401804 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Holt, Alan. author.&#160;Huang, Chi-Yu. 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-72977-0">https://doi.org/10.1007/978-3-319-72977-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Network Systems and Security 4th International Conference, FNSS 2018, Paris, France, July 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401734 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Doss, Robin. editor. (orcid)0000-0001-6143-6850&#160;Piramuthu, Selwyn. editor.&#160;Zhou, Wei. editor. (orcid)0000-0002-9965-9870&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94421-0">https://doi.org/10.1007/978-3-319-94421-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 17th International Conference, CICLing 2016, Konya, Turkey, April 3&ndash;9, 2016, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401964 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gelbukh, 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-75477-2">https://doi.org/10.1007/978-3-319-75477-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Systems Second International Symposium, ISICS 2018, Merida, Mexico, March 21-23, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401971 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Brito-Loeza, Carlos. editor.&#160;Espinosa-Romero, Arturo. 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-76261-6">https://doi.org/10.1007/978-3-319-76261-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 13th International Conference, &Eacute;volution Artificielle, EA 2017, Paris, France, October 25&ndash;27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401974 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lutton, Evelyne. editor.&#160;Legrand, Pierrick. editor.&#160;Parrend, Pierre. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Schoenauer, Marc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78133-4">https://doi.org/10.1007/978-3-319-78133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401975 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Liapis, Antonios. editor.&#160;Romero Cardalda, Juan Jes&uacute;s. editor.&#160;Ek&aacute;rt, Anik&oacute;. 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-77583-8">https://doi.org/10.1007/978-3-319-77583-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401979 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Sim, Kevin. editor. (orcid)0000-0001-6555-7721&#160;Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77538-8">https://doi.org/10.1007/978-3-319-77538-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401984 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Klus&aacute;&#269;ek, Dalibor. editor.&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. 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-77398-8">https://doi.org/10.1007/978-3-319-77398-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018 Proceedings, Part III ent://SD_ILS/0/SD_ILS:401990 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402196 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Stepney, Susan. editor. (orcid)0000-0003-3146-5401&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92435-9">https://doi.org/10.1007/978-3-319-92435-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402213 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cabello, Enrique. editor.&#160;Cardoso, Jorge. editor.&#160;Maciaszek, Leszek A. editor.&#160;van Sinderen, Marten. 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-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Information Processing 37th Conference of the North American Fuzzy Information Processing Society, NAFIPS 2018, Fortaleza, Brazil, July 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402367 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Barreto, Guilherme A. editor. (orcid)0000-0002-7002-1216&#160;Coelho, Ricardo. editor. (orcid)0000-0001-9074-2515&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95312-0">https://doi.org/10.1007/978-3-319-95312-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402374 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Filipe, Joaquim. editor.&#160;Bernardino, Jorge. editor.&#160;Quix, Christoph. 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-94809-6">https://doi.org/10.1007/978-3-319-94809-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402376 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:402377 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Deep Learning From Logical Calculus to Artificial Intelligence ent://SD_ILS/0/SD_ILS:402387 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Skansi, Sandro. author. (orcid)0000-0002-3851-1186&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73004-2">https://doi.org/10.1007/978-3-319-73004-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science Analytics and Applications First International Conference, DaSAA 2017, Chennai, India, January 4-6, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402481 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;R, Shriram. editor.&#160;Sharma, Mak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8603-8">https://doi.org/10.1007/978-981-10-8603-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8&ndash;9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402496 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Verheij, Bart. editor.&#160;Wiering, Marco. 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-76892-2">https://doi.org/10.1007/978-3-319-76892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402547 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Sharma, Rajnish. editor.&#160;Mantri, Archana. editor.&#160;Dua, Sumeet. 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-0755-3">https://doi.org/10.1007/978-981-13-0755-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402686 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bi, Yuanguo. editor.&#160;Chen, Gang. editor.&#160;Deng, Qingxu. editor.&#160;Wang, Yi. 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-1026-3">https://doi.org/10.1007/978-981-13-1026-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402724 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Konstantinidis, Stavros. editor.&#160;Pighizzini, 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-319-94631-3">https://doi.org/10.1007/978-3-319-94631-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Analytics and Management in Data Intensive Domains XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402732 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kalinichenko, Leonid. editor.&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Malkov, Oleg. editor.&#160;Skvortsov, Nikolay. editor.&#160;Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96553-6">https://doi.org/10.1007/978-3-319-96553-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402736 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201&#160;Campegiani, Paolo. editor.&#160;Czach&oacute;rski, Tadeusz. editor.&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Komnios, Ioannis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95189-8">https://doi.org/10.1007/978-3-319-95189-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10&ndash;12, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:402746 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Sun, Yu. editor.&#160;Falco, Joe. 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-94568-2">https://doi.org/10.1007/978-3-319-94568-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Retrieval 24th China Conference, CCIR 2018, Guilin, China, September 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399020 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Zhang, Shichao. editor.&#160;Liu, Tie-Yan. editor.&#160;Li, Xianxian. editor.&#160;Guo, Jiafeng. editor.&#160;Li, Chenliang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01012-6">https://doi.org/10.1007/978-3-030-01012-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399042 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bender, Michael A. editor.&#160;Farach-Colton, Mart&iacute;n. editor. (orcid)0000-0003-3616-7788&#160;Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77404-6">https://doi.org/10.1007/978-3-319-77404-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 &ndash; August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399051 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;C&acirc;mpeanu, Cezar. editor. (orcid)0000-0002-9777-3012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399189 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713&#160;Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73915-1">https://doi.org/10.1007/978-3-319-73915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 18th International Conference, CICLing 2017, Budapest, Hungary, April 17&ndash;23, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:399197 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gelbukh, 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-77113-7">https://doi.org/10.1007/978-3-319-77113-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399218 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. 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-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18&ndash;19, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:399222 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Li, Kangshun. editor.&#160;Li, Wei. editor.&#160;Chen, Zhangxing. editor.&#160;Liu, Yong. 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-1648-7">https://doi.org/10.1007/978-981-13-1648-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399226 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Deka, Ganesh Chandra. editor.&#160;Kaiwartya, Omprakash. editor.&#160;Vashisth, Pooja. editor.&#160;Rathee, Priyanka. 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-2035-4">https://doi.org/10.1007/978-981-13-2035-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Understanding and Analysis 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399233 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Nixon, Mark. editor.&#160;Mahmoodi, Sasan. editor.&#160;Zwiggelaar, Reyer. 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-95921-4">https://doi.org/10.1007/978-3-319-95921-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Hoshi, Mizuho. editor.&#160;Seki, Shinnosuke. 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-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399494 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Larrucea, Xabier. editor.&#160;Santamaria, Izaskun. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. 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-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399498 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Panda, B.S. editor.&#160;Goswami, Partha P. 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-74180-2">https://doi.org/10.1007/978-3-319-74180-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Trends in Information Technology and Computer Communications Second International Conference, SmartCom 2017, Pune, India, August 18-19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399500 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Deshpande, A.V. editor.&#160;Unal, Aynur. editor.&#160;Passi, Kalpdrum. editor.&#160;Singh, Dharm. editor.&#160;Nayak, Malaya. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1423-0">https://doi.org/10.1007/978-981-13-1423-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Transformation &ndash; Digital Way 52nd Annual Convention of the Computer Society of India, CSI 2017, Kolkata, India, January 19-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399512 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mandal, Jyotsna Kumar. editor.&#160;Sinha, Devadatta. 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-1343-1">https://doi.org/10.1007/978-981-13-1343-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399569 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. 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-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399599 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Pelta, David A. editor.&#160;Cabrera, Inma P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Supported Education 9th International Conference, CSEDU 2017, Porto, Portugal, April 21-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399631 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Escudeiro, Paula. editor.&#160;Costagliola, Gennaro. editor.&#160;Zvacek, Susan. editor.&#160;Uhomoibhi, James. editor.&#160;McLaren, Bruce M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94640-5">https://doi.org/10.1007/978-3-319-94640-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399654 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Wang, Shilong. editor.&#160;Price, Mark. editor.&#160;Lim, Ming K. editor.&#160;Jin, Yan. editor.&#160;Luo, Yuanxin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2396-6">https://doi.org/10.1007/978-981-13-2396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:399861 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Jones, Cliff. editor.&#160;Wang, Ji. editor.&#160;Zhan, Naijun. 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-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399887 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. 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-04179-3">https://doi.org/10.1007/978-3-030-04179-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399891 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. 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-04167-0">https://doi.org/10.1007/978-3-030-04167-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399892 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. 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-04212-7">https://doi.org/10.1007/978-3-030-04212-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:399893 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. 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-04239-4">https://doi.org/10.1007/978-3-030-04239-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399894 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Fagan, David. editor. (orcid)0000-0002-5982-8983&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;O'Neill, Michael. editor. (orcid)0000-0001-8734-417X&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04070-3">https://doi.org/10.1007/978-3-030-04070-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399896 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kim, Donghyun. editor.&#160;Uma, R. N. editor.&#160;Zelikovsky, 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-030-04651-4">https://doi.org/10.1007/978-3-030-04651-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Databases and Information Systems ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399920 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Bencz&uacute;r, Andr&aacute;s. editor. (orcid)0000-0002-8678-3346&#160;Thalheim, Bernhard. editor.&#160;Horv&aacute;th, Tom&aacute;&scaron;. editor.&#160;Chiusano, Silvia. editor.&#160;Cerquitelli, Tania. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00063-9">https://doi.org/10.1007/978-3-030-00063-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399921 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234&#160;Stefanuk, Vadim L. 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-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1&ndash;3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399944 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802&#160;Raiconi, Andrea. editor. (orcid)0000-0002-7188-8794&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00898-7">https://doi.org/10.1007/978-3-030-00898-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399950 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Lewis, Peter R. editor.&#160;Headleand, Christopher J. editor.&#160;Battle, Steve. editor.&#160;Ritsos, Panagiotis 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-90418-4">https://doi.org/10.1007/978-3-319-90418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:400056 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. 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-04224-0">https://doi.org/10.1007/978-3-030-04224-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400158 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Iliopoulos, Costas. editor.&#160;Leong, Hon Wai. editor.&#160;Sung, Wing-Kin. 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-94667-2">https://doi.org/10.1007/978-3-319-94667-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Techniques in Information Security 9th International Conference, ATIS 2018, Nanning, China, November 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400376 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Chen, Qingfeng. editor.&#160;Wu, Jia. editor.&#160;Zhang, Shichao. editor.&#160;Yuan, Changan. editor.&#160;Batten, Lynn. editor. (orcid)0000-0003-4525-2423<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2907-4">https://doi.org/10.1007/978-981-13-2907-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2&ndash;4, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400406 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Qiao, Jianyong. editor.&#160;Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646&#160;Pan, Linqiang. editor. (orcid)0000-0002-4554-455X&#160;Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182&#160;Zhang, Xingyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2826-8">https://doi.org/10.1007/978-981-13-2826-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formalizing Natural Languages with NooJ and Its Natural Language Processing Applications 11th International Conference, NooJ 2017, Kenitra and Rabat, Morocco, May 18&ndash;20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400518 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mbarki, Samir. editor.&#160;Mourchid, Mohammed. editor.&#160;Silberztein, Max. 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-73420-0">https://doi.org/10.1007/978-3-319-73420-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400521 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Voros, Nikolaos. editor.&#160;Huebner, Michael. editor.&#160;Keramidas, Georgios. editor.&#160;Goehringer, Diana. editor.&#160;Antonopoulos, Christos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78890-6">https://doi.org/10.1007/978-3-319-78890-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Macei&oacute;, Brazil, March 20&ndash;24, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400523 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822&#160;Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280&#160;Lima, Fernanda. editor. (orcid)0000-0001-6300-818X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97934-2">https://doi.org/10.1007/978-3-319-97934-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400528 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Dillig, Isil. editor.&#160;Palsberg, Jens. 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-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 18th International Conference, CICLing 2017, Budapest, Hungary, April 17&ndash;23, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:400532 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Gelbukh, 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-77116-8">https://doi.org/10.1007/978-3-319-77116-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400541 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01421-6">https://doi.org/10.1007/978-3-030-01421-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400698 2024-11-01T21:11:02Z 2024-11-01T21:11:02Z Author&#160;Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672&#160;Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73353-1">https://doi.org/10.1007/978-3-319-73353-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>