Search Results for Computer science. - Narrowed by: Electronic Library - 2018 - Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue? 2024-09-10T12:53:14Z Probability and Statistics for Computer Science ent://SD_ILS/0/SD_ILS:402185 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400065 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Higher Education Computer Science A Manual of Practical Approaches ent://SD_ILS/0/SD_ILS:399820 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Guide to Programming for the Digital Humanities Lessons for Introductory Python ent://SD_ILS/0/SD_ILS:400251 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Applied Scientific Computing With Python ent://SD_ILS/0/SD_ILS:400205 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398950 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Analysis for Computer Scientists Foundations, Methods, and Algorithms ent://SD_ILS/0/SD_ILS:400374 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400681 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400735 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ab&aacute;solo, Mar&iacute;a Jos&eacute;. editor. (orcid)0000-0003-4441-3264&#160;Abreu, Jorge. editor.&#160;Almeida, Pedro. editor.&#160;Silva, Telmo. editor. (orcid)0000-0001-9383-7659&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90170-1">https://doi.org/10.1007/978-3-319-90170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401461 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Gaj, Piotr. editor. (orcid)0000-0002-2291-7341&#160;Sawicki, Micha&#322;. editor. (orcid)0000-0002-4610-4249&#160;Suchacka, Gra&#380;yna. editor.&#160;Kwiecie&#324;, Andrzej. 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-92459-5">https://doi.org/10.1007/978-3-319-92459-5</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 I ent://SD_ILS/0/SD_ILS:401537 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-93815-8">https://doi.org/10.1007/978-3-319-93815-8</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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401670 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Heras, Dora B. editor.&#160;Boug&eacute;, Luc. editor.&#160;Mencagli, Gabriele. editor.&#160;Jeannot, Emmanuel. editor.&#160;Sakellariou, Rizos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399042 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399297 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399921 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399721 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Architecture of Computing Systems &ndash; ARCS 2018 31st International Conference, Braunschweig, Germany, April 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400833 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Berekovic, Mladen. editor.&#160;Buchty, Rainer. editor.&#160;Hamann, Heiko. editor.&#160;Koch, Dirk. editor.&#160;Pionteck, Thilo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401586 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Lambers, Leen. editor. (orcid)0000-0001-6937-5167&#160;Weber, Jens. editor. (orcid)0000-0003-4591-6728&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401827 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401731 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Keyes, David. editor.&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401745 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Castelli, Mauro. editor.&#160;Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011&#160;Zhang, Mengjie. editor.&#160;Cagnoni, Stefano. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77553-1">https://doi.org/10.1007/978-3-319-77553-1</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 I ent://SD_ILS/0/SD_ILS:401746 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-78024-5">https://doi.org/10.1007/978-3-319-78024-5</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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> 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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401949 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831&#160;Voronkov, 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-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Literacy in the Workplace 5th European Conference, ECIL 2017, Saint Malo, France, September 18-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401950 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Kurbano&#287;lu, Serap. editor.&#160;Boustany, Joumana. editor.&#160;&Scaron;piranec, Sonja. editor.&#160;Grassian, Esther. editor.&#160;Mizrachi, Diane. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74334-9">https://doi.org/10.1007/978-3-319-74334-9</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-09-10T12:53:14Z 2024-09-10T12:53:14Z 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/> Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398931 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Zhang, Fa. editor.&#160;Cai, Zhipeng. editor.&#160;Skums, Pavel. editor.&#160;Zhang, Shihua. 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-94968-0">https://doi.org/10.1007/978-3-319-94968-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398962 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Cox, Michael T. editor.&#160;Funk, Peter. editor. (orcid)0000-0002-5562-1424&#160;Begum, Shahina. editor. (orcid)0000-0002-1212-7637&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> e-Infrastructure and e-Services for Developing Countries 9th International Conference, AFRICOMM 2017, Lagos, Nigeria, December 11-12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:398971 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Odumuyiwa, Victor. editor.&#160;Adegboyega, Ojo. editor.&#160;Uwadia, Charles. 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-98827-6">https://doi.org/10.1007/978-3-319-98827-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probabilistic Cellular Automata Theory, Applications and Future Perspectives ent://SD_ILS/0/SD_ILS:398989 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Louis, Pierre-Yves. editor.&#160;Nardi, Francesca R. 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-65558-1">https://doi.org/10.1007/978-3-319-65558-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Online Harassment ent://SD_ILS/0/SD_ILS:398991 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Golbeck, Jennifer. 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-78583-7">https://doi.org/10.1007/978-3-319-78583-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concept Invention Foundations, Implementation, Social Aspects and Applications ent://SD_ILS/0/SD_ILS:398994 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Confalonieri, Roberto. editor.&#160;Pease, Alison. editor.&#160;Schorlemmer, Marco. editor.&#160;Besold, Tarek R. editor.&#160;Kutz, Oliver. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65602-1">https://doi.org/10.1007/978-3-319-65602-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonsymmetric Operads in Combinatorics ent://SD_ILS/0/SD_ILS:399005 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Giraudo, Samuele. 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-02074-3">https://doi.org/10.1007/978-3-030-02074-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations in Wave Processes Modelling and Decision Making Grid-Characteristic Method and Applications ent://SD_ILS/0/SD_ILS:399009 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Favorskaya, Alena V. editor.&#160;Petrov, Igor B. 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-76201-2">https://doi.org/10.1007/978-3-319-76201-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Education &ndash; Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399019 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Drevin, Lynette. editor. (orcid)0000-0001-9370-8216&#160;Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99734-6">https://doi.org/10.1007/978-3-319-99734-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399024 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Qiu, Meikang. editor. (orcid)0000-0002-1004-0140&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multidisciplinary Approaches to Neural Computing ent://SD_ILS/0/SD_ILS:399029 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Esposito, Anna. editor.&#160;Faudez-Zanuy, Marcos. editor.&#160;Morabito, Francesco Carlo. editor.&#160;Pasero, Eros. 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-56904-8">https://doi.org/10.1007/978-3-319-56904-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors in Cybersecurity Proceedings of the AHFE 2017 International Conference on Human Factors in Cybersecurity, July 17&minus;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:399039 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Nicholson, Denise. 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-60585-2">https://doi.org/10.1007/978-3-319-60585-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions ent://SD_ILS/0/SD_ILS:398945 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;O&rsquo;Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02619-6">https://doi.org/10.1007/978-3-030-02619-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government 17th IFIP WG 8.5 International Conference, EGOV 2018, Krems, Austria, September 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399052 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Parycek, Peter. editor. (orcid)0000-0003-3242-0475&#160;Glassey, Olivier. editor. (orcid)0000-0001-8795-0591&#160;Janssen, Marijn. editor.&#160;Scholl, Hans Jochen. editor.&#160;Tambouris, Efthimios. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98690-6">https://doi.org/10.1007/978-3-319-98690-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399061 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ikl&eacute;, Matthew. editor.&#160;Franz, Arthur. editor.&#160;Rzepka, Rafal. editor.&#160;Goertzel, Ben. 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-97676-1">https://doi.org/10.1007/978-3-319-97676-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20&ndash;22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399081 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Lin, Yi-Bing. editor.&#160;Deng, Der-Jiunn. editor.&#160;You, Ilsun. editor.&#160;Lin, Chun-Cheng. 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-00410-1">https://doi.org/10.1007/978-3-030-00410-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399082 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Shi, Zhongzhi. editor.&#160;Pennartz, Cyriel. editor.&#160;Huang, Tiejun. 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-01313-4">https://doi.org/10.1007/978-3-030-01313-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Serious Games 4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399084 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;G&ouml;bel, Stefan. editor.&#160;Garcia-Agundez, Augusto. editor.&#160;Tregel, Thomas. editor.&#160;Ma, Minhua. editor. (orcid)0000-0001-7451-546X&#160;Baalsrud Hauge, Jannicke. editor. (orcid)0000-0002-3747-0845<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02762-9">https://doi.org/10.1007/978-3-030-02762-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors ent://SD_ILS/0/SD_ILS:399090 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Melikyan, Vazgen. 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-71637-4">https://doi.org/10.1007/978-3-319-71637-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Interface and the Management of Information. Information in Applications and Services 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399092 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Yamamoto, Sakae. editor.&#160;Mori, Hirohiko. 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-92046-7">https://doi.org/10.1007/978-3-319-92046-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399167 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;de Supinski, Bronis R. editor.&#160;Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310&#160;Martorell, Xavier. editor.&#160;Mateo Bellido, Sergi. editor.&#160;Labarta, Jesus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Culture ent://SD_ILS/0/SD_ILS:399110 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Qin, Zheng. author.&#160;Zhang, Huidi. author.&#160;Qin, Xin. author.&#160;Xu, Kaiping. author.&#160;Dimitrov, Kouemo Ngayo Anatoli. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0701-0">https://doi.org/10.1007/978-981-13-0701-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399111 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Baek, Joonsang. editor.&#160;Susilo, Willy. editor.&#160;Kim, Jongkil. 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-01446-9">https://doi.org/10.1007/978-3-030-01446-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Intelligent Data Analysis XVII 17th International Symposium, IDA 2018, &rsquo;s-Hertogenbosch, The Netherlands, October 24&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399112 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Duivesteijn, Wouter. editor.&#160;Siebes, Arno. editor.&#160;Ukkonen, Antti. editor. (orcid)0000-0001-6060-1746&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01768-2">https://doi.org/10.1007/978-3-030-01768-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399210 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;van den Herik, Jaap. editor.&#160;Rocha, Ana Paula. editor.&#160;Filipe, Joaquim. 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-93581-2">https://doi.org/10.1007/978-3-319-93581-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399238 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Krogstie, John. editor.&#160;Reijers, Hajo A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399239 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chen, Jessie Y.C. editor.&#160;Fragomeni, Gino. 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-91581-4">https://doi.org/10.1007/978-3-319-91581-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Funology 2 From Usability to Enjoyment ent://SD_ILS/0/SD_ILS:399240 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Blythe, Mark. editor.&#160;Monk, Andrew. 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-68213-6">https://doi.org/10.1007/978-3-319-68213-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399243 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97586-3">https://doi.org/10.1007/978-3-319-97586-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System and Architecture Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:399153 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Muttoo, Sunil Kumar. 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-8533-8">https://doi.org/10.1007/978-981-10-8533-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399265 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;&#268;e&scaron;ka, Milan. editor. (orcid)0000-0002-0300-9727&#160;&Scaron;afr&aacute;nek, David. 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-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks ent://SD_ILS/0/SD_ILS:399268 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Usman, Muhammad. author.&#160;Muthukkumarasamy, Vallipuram. author.&#160;Wu, Xin-Wen. author.&#160;Khanum, Surraya. 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-7467-7">https://doi.org/10.1007/978-981-10-7467-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches ent://SD_ILS/0/SD_ILS:399270 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Steffen, Bernhard. author.&#160;R&uuml;thing, Oliver. author.&#160;Huth, Michael. 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-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Data Management Fundamental Issues and Recent Developments ent://SD_ILS/0/SD_ILS:399277 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Fletcher, George. editor.&#160;Hidders, Jan. editor.&#160;Larriba-Pey, Josep Llu&iacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96193-4">https://doi.org/10.1007/978-3-319-96193-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22&ndash;26, 2018, Tutorial Lectures ent://SD_ILS/0/SD_ILS:399284 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;d&rsquo;Amato, Claudia. editor.&#160;Theobald, 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-030-00338-8">https://doi.org/10.1007/978-3-030-00338-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maturity and Innovation in Digital Libraries 20th International Conference on Asia-Pacific Digital Libraries, ICADL 2018, Hamilton, New Zealand, November 19-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399376 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Dobreva, Milena. editor. (orcid)0000-0002-2579-7541&#160;Hinze, Annika. editor. (orcid)0000-0002-7383-1134&#160;&#381;umer, Maja. editor. (orcid)0000-0002-3756-7524&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04257-8">https://doi.org/10.1007/978-3-030-04257-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399383 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Kameas, Achilles. editor. (orcid)0000-0002-1004-7860&#160;Stathis, Kostas. 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-03062-9">https://doi.org/10.1007/978-3-030-03062-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning Java with Games ent://SD_ILS/0/SD_ILS:399385 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Xu, Chong-wei. 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-72886-5">https://doi.org/10.1007/978-3-319-72886-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399406 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Massoni, Tiago. editor. (orcid)0000-0002-9423-7556&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399407 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ichise, Ryutaro. editor.&#160;Lecue, Freddy. editor.&#160;Kawamura, Takahiro. editor.&#160;Zhao, Dongyan. editor.&#160;Muggleton, Stephen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04284-4">https://doi.org/10.1007/978-3-030-04284-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399416 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Bu, Lei. editor. (orcid)0000-0003-0517-7801&#160;Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Simulations of Space Societies ent://SD_ILS/0/SD_ILS:399420 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Bainbridge, William Sims. 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-90560-0">https://doi.org/10.1007/978-3-319-90560-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. 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-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Science of Cyber Security First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399425 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Liu, Feng. editor.&#160;Xu, Shouhuai. editor.&#160;Yung, Moti. 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-03026-1">https://doi.org/10.1007/978-3-030-03026-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure IT Systems 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399426 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Gruschka, Nils. editor. (orcid)0000-0001-7360-8314&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03638-6">https://doi.org/10.1007/978-3-030-03638-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties ent://SD_ILS/0/SD_ILS:399566 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Schlechta, Karl. 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-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size ent://SD_ILS/0/SD_ILS:399576 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Schlechta, Karl. 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-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications ent://SD_ILS/0/SD_ILS:399577 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496&#160;Grosky, William I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Routines of Substitution John von Neumann&rsquo;s Work on Software Development, 1945&ndash;1948 ent://SD_ILS/0/SD_ILS:399434 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Priestley, Mark. 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-91671-2">https://doi.org/10.1007/978-3-319-91671-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399445 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Cremers, Cas. editor. (orcid)0000-0003-0322-2293&#160;Lehmann, Anja. 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-04762-7">https://doi.org/10.1007/978-3-030-04762-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399450 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Dinur, Itai. editor.&#160;Dolev, Shlomi. editor.&#160;Lodha, Sachin. 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-94147-9">https://doi.org/10.1007/978-3-319-94147-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Narrating Complexity ent://SD_ILS/0/SD_ILS:399457 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Walsh, Richard. editor.&#160;Stepney, Susan. 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-64714-2">https://doi.org/10.1007/978-3-319-64714-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Studies in Conversational UX Design ent://SD_ILS/0/SD_ILS:399650 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Moore, Robert J. editor.&#160;Szymanski, Margaret H. editor.&#160;Arar, Raphael. editor.&#160;Ren, Guang-Jie. 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-95579-7">https://doi.org/10.1007/978-3-319-95579-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entertainment Computing &ndash; ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399653 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Clua, Esteban. editor. (orcid)0000-0001-5650-1718&#160;Roque, Licinio. editor. (orcid)0000-0002-1911-2788&#160;Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470&#160;Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99426-0">https://doi.org/10.1007/978-3-319-99426-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neuroergonomics and Cognitive Engineering Proceedings of the AHFE 2017 International Conference on Neuroergonomics and Cognitive Engineering, July 17&ndash;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:399778 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Baldwin, Carryl. 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-60642-2">https://doi.org/10.1007/978-3-319-60642-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Mobile Data Privacy ent://SD_ILS/0/SD_ILS:399883 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Gkoulalas-Divanis, Aris. editor.&#160;Bettini, 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-98161-1">https://doi.org/10.1007/978-3-319-98161-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399886 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Mitrovic, Tanja. editor.&#160;Xue, Bing. editor. (orcid)0000-0002-4865-8026&#160;Li, Xiaodong. editor. (orcid)0000-0003-0346-1526&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03991-2">https://doi.org/10.1007/978-3-030-03991-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:399733 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. 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-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399968 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Rabe, Florian. editor.&#160;Farmer, William M. editor.&#160;Passmore, Grant O. editor.&#160;Youssef, Abdou. 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-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399970 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97589-4">https://doi.org/10.1007/978-3-319-97589-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399750 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Fortino, Giancarlo. editor.&#160;Ali, A.B.M. Shawkat. editor.&#160;Pathan, Mukaddim. editor.&#160;Guerrieri, Antonio. editor.&#160;Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Consciousness&rsquo; Drive Information Need and the Search for Meaning ent://SD_ILS/0/SD_ILS:399753 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Cole, Charles. 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-92457-1">https://doi.org/10.1007/978-3-319-92457-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday ent://SD_ILS/0/SD_ILS:399756 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;M&uuml;ller, Peter. 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-98047-8">https://doi.org/10.1007/978-3-319-98047-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8&ndash;9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400560 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Hamlen, Kevin. editor.&#160;Leone, Nicola. 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-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3&ndash;6, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400565 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Hartmann, Sven. editor.&#160;Ma, Hui. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Pernul, G&uuml;nther. editor.&#160;Wagner, Roland R. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98812-2">https://doi.org/10.1007/978-3-319-98812-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11&ndash;14, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400566 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Beimel, Amos. editor.&#160;Dziembowski, Stefan. 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-03807-6">https://doi.org/10.1007/978-3-030-03807-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Colombo, Christian. editor.&#160;Leucker, 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-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400574 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Melbourne, Andrew. editor.&#160;Licandro, Roxane. editor.&#160;DiFranco, Matthew. editor.&#160;Rota, Paolo. editor.&#160;Gau, Melanie. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00807-9">https://doi.org/10.1007/978-3-030-00807-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22&ndash;25, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400576 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724&#160;Davis, Karen C. editor.&#160;Du, Xiaoyong. editor.&#160;Li, Zhanhuai. editor.&#160;Ling, Tok Wang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00847-5">https://doi.org/10.1007/978-3-030-00847-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400577 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Mondal, Anirban. editor.&#160;Gupta, Himanshu. editor.&#160;Srivastava, Jaideep. editor.&#160;Reddy, P. Krishna. editor.&#160;Somayajulu, D.V.L.N. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04780-1">https://doi.org/10.1007/978-3-030-04780-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400583 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947&#160;P&eacute;rez-Sanagust&iacute;n, Mar. editor.&#160;Drachsler, Hendrik. editor. (orcid)0000-0001-8407-5314&#160;Elferink, Raymond. editor.&#160;Scheffel, Maren. editor. (orcid)0000-0003-4395-4819<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98572-5">https://doi.org/10.1007/978-3-319-98572-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptic Interaction Science, Engineering and Design ent://SD_ILS/0/SD_ILS:400588 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Hasegawa, Shoichi. editor.&#160;Konyo, Masashi. editor.&#160;Kyung, Ki-Uk. editor.&#160;Nojima, Takuya. editor.&#160;Kajimoto, Hiroyuki. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-4157-0">https://doi.org/10.1007/978-981-10-4157-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Random Numbers and Computers ent://SD_ILS/0/SD_ILS:400593 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Kneusel, Ronald T. 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-77697-2">https://doi.org/10.1007/978-3-319-77697-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016 ent://SD_ILS/0/SD_ILS:400663 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Reddy, M. Sreenivasa. editor.&#160;Viswanath, K. editor.&#160;K.M., Shiva Prasad. 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-5272-9">https://doi.org/10.1007/978-981-10-5272-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech ent://SD_ILS/0/SD_ILS:400672 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Datta, Asoke Kumar. 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-7016-7">https://doi.org/10.1007/978-981-10-7016-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection ent://SD_ILS/0/SD_ILS:400715 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Salmani, Hassan. 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-79081-7">https://doi.org/10.1007/978-3-319-79081-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400717 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Wannous, Hazem. editor.&#160;Pala, Pietro. editor.&#160;Daoudi, Mohamed. editor.&#160;Fl&oacute;rez-Revuelta, 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-319-91863-1">https://doi.org/10.1007/978-3-319-91863-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Timing Performance of Nanometer Digital Circuits Under Process Variations ent://SD_ILS/0/SD_ILS:400723 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Champac, Victor. author.&#160;Garcia Gervacio, Jose. 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-75465-9">https://doi.org/10.1007/978-3-319-75465-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications ent://SD_ILS/0/SD_ILS:400724 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Halak, Basel. 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-76804-5">https://doi.org/10.1007/978-3-319-76804-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> World of Computing A Primer Companion for the Digital Age ent://SD_ILS/0/SD_ILS:400732 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75844-2">https://doi.org/10.1007/978-3-319-75844-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Florian&oacute;polis, Brazil, October 24-28, 2017 ent://SD_ILS/0/SD_ILS:400748 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Carvalho, Jo&atilde;o Carlos Mendes. editor.&#160;Martins, Daniel. editor.&#160;Simoni, Roberto. editor.&#160;Simas, Henrique. 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-67567-1">https://doi.org/10.1007/978-3-319-67567-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400763 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Raphael, Benjamin J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89929-9">https://doi.org/10.1007/978-3-319-89929-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Cryptographic Processor ent://SD_ILS/0/SD_ILS:400765 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Liu, Leibo. author.&#160;Wang, Bo. author.&#160;Wei, Shaojun. 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-8899-5">https://doi.org/10.1007/978-981-10-8899-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors in Wearable Technologies and Game Design Proceedings of the AHFE 2017 International Conference on Advances in Human Factors and Wearable Technologies, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:400768 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ahram, Tareq. editor.&#160;Falc&atilde;o, Christianne. 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-60639-2">https://doi.org/10.1007/978-3-319-60639-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Elastic Oscillations Equations and Methods ent://SD_ILS/0/SD_ILS:400769 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Fridman, Vladimir. 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-4786-2">https://doi.org/10.1007/978-981-10-4786-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries Third International Workshop, BrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400775 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Crimi, Alessandro. editor.&#160;Bakas, Spyridon. editor. (orcid)0000-0001-8734-6482&#160;Kuijf, Hugo. editor.&#160;Menze, Bjoern. editor.&#160;Reyes, Mauricio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75238-9">https://doi.org/10.1007/978-3-319-75238-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Silicon Photonics &amp; High Performance Computing Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:400781 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Mishra, Anurag. editor.&#160;Basu, Anirban. editor.&#160;Tyagi, Vipin. 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-7656-5">https://doi.org/10.1007/978-981-10-7656-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400786 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Qing, Sihan. editor.&#160;Mitchell, Chris. editor.&#160;Chen, Liqun. editor.&#160;Liu, Dongmei. 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-89500-0">https://doi.org/10.1007/978-3-319-89500-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Camera Design Algorithms, Architectures, and Art ent://SD_ILS/0/SD_ILS:400804 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Wolf, Marilyn. 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-69523-5">https://doi.org/10.1007/978-3-319-69523-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015 ent://SD_ILS/0/SD_ILS:400809 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ray, Gaur G. editor.&#160;Iqbal, Rauf. editor.&#160;Ganguli, Anindya K. editor.&#160;Khanzode, Vivek. 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-4980-4">https://doi.org/10.1007/978-981-10-4980-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400812 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;German, Reinhard. editor.&#160;Hielscher, Kai-Steffen. editor.&#160;Krieger, Udo R. 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-74947-1">https://doi.org/10.1007/978-3-319-74947-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400823 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. 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-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MediaSync Handbook on Multimedia Synchronization ent://SD_ILS/0/SD_ILS:400863 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Montagud, Mario. editor.&#160;Cesar, Pablo. editor.&#160;Boronat, Fernando. editor.&#160;Jansen, Jack. 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-65840-7">https://doi.org/10.1007/978-3-319-65840-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Techniques for Mash Continuous-Time Delta-Sigma Modulators ent://SD_ILS/0/SD_ILS:400871 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Liu, Qiyuan. author.&#160;Edward, Alexander. author.&#160;Briseno-Vidrios, Carlos. author.&#160;Silva-Martinez, Jose. 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-77225-7">https://doi.org/10.1007/978-3-319-77225-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400874 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Croitoru, Madalina. editor.&#160;Marquis, Pierre. editor.&#160;Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080&#160;Stapleton, Gem. 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-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonlinear Eigenproblems in Image Processing and Computer Vision ent://SD_ILS/0/SD_ILS:400894 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Gilboa, Guy. 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-75847-3">https://doi.org/10.1007/978-3-319-75847-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Technology First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400901 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Torres Guerrero, Francisco. editor.&#160;Lozoya-Santos, Jorge. editor.&#160;Gonzalez Mendivil, Eduardo. editor.&#160;Neira-Tovar, Leticia. editor.&#160;Ram&iacute;rez Flores, Pablo G. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73323-4">https://doi.org/10.1007/978-3-319-73323-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Systems Engineering II ent://SD_ILS/0/SD_ILS:400848 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Winner, Hermann. editor.&#160;Prokop, G&uuml;nther. editor.&#160;Maurer, Markus. 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-61607-0">https://doi.org/10.1007/978-3-319-61607-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Location-Based Mobile Games Design Perspectives ent://SD_ILS/0/SD_ILS:400850 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Spallazzo, Davide. author.&#160;Mariani, Ilaria. 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-75256-3">https://doi.org/10.1007/978-3-319-75256-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401065 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Hu, Jiankun. editor.&#160;Khalil, Ibrahim. editor.&#160;Tari, Zahir. editor.&#160;Wen, Sheng. 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-90775-8">https://doi.org/10.1007/978-3-319-90775-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tangible Modeling with Open Source GIS ent://SD_ILS/0/SD_ILS:401067 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Petrasova, Anna. author.&#160;Harmon, Brendan. author.&#160;Petras, Vaclav. author.&#160;Tabrizian, Payam. author.&#160;Mitasova, Helena. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89303-7">https://doi.org/10.1007/978-3-319-89303-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Ergonomics in Design Proceedings of the AHFE 2017 International Conference on Ergonomics in Design, July 17&minus;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:401161 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Rebelo, Francisco. editor.&#160;Soares, Marcelo. 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-60582-1">https://doi.org/10.1007/978-3-319-60582-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18&ndash;19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401203 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ham, Jaap. editor. (orcid)0000-0003-1703-5165&#160;Spagnolli, Anna. editor.&#160;Blankertz, Benjamin. editor.&#160;Gamberini, Luciano. editor.&#160;Jacucci, Giulio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91593-7">https://doi.org/10.1007/978-3-319-91593-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 18th International Conference, ICWE 2018, C&aacute;ceres, Spain, June 5-8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401206 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918&#160;Klamma, Ralf. editor. (orcid)0000-0002-2296-3401&#160;Hern&aacute;ndez, Juan. editor. (orcid)0000-0002-6343-7395&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91662-0">https://doi.org/10.1007/978-3-319-91662-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab ent://SD_ILS/0/SD_ILS:401217 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;de Boer, Frank. editor.&#160;Bonsangue, Marcello. editor.&#160;Rutten, 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-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401226 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chapman, Peter. editor. (orcid)0000-0002-5524-5780&#160;Stapleton, Gem. editor.&#160;Moktefi, Amirouche. editor.&#160;Perez-Kriz, Sarah. editor.&#160;Bellucci, Francesco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91376-6">https://doi.org/10.1007/978-3-319-91376-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies ent://SD_ILS/0/SD_ILS:401372 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Mehta, Ashok B. 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-59418-7">https://doi.org/10.1007/978-3-319-59418-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Context-Aware Communication and Computing: Applications for Smart Environment ent://SD_ILS/0/SD_ILS:401398 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Temdee, Punnarumol. author.&#160;Prasad, Ramjee. 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-59035-6">https://doi.org/10.1007/978-3-319-59035-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Marketplaces Unleashed ent://SD_ILS/0/SD_ILS:401468 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Linnhoff-Popien, Claudia. editor.&#160;Schneider, Ralf. editor.&#160;Zaddach, Michael. 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-49275-8">https://doi.org/10.1007/978-3-662-49275-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Topics in Nonsmooth Dynamics Transactions of the European Network for Nonsmooth Dynamics ent://SD_ILS/0/SD_ILS:401475 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Leine, Remco. editor.&#160;Acary, Vincent. editor.&#160;Br&uuml;ls, 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-75972-2">https://doi.org/10.1007/978-3-319-75972-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human and Machine Learning Visible, Explainable, Trustworthy and Transparent ent://SD_ILS/0/SD_ILS:401476 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Zhou, Jianlong. editor.&#160;Chen, Fang. 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-90403-0">https://doi.org/10.1007/978-3-319-90403-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Cryptography and Network Security 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401487 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Preneel, Bart. editor. (orcid)0000-0003-2005-9651&#160;Vercauteren, Frederik. editor. (orcid)0000-0002-7208-9599&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93387-0">https://doi.org/10.1007/978-3-319-93387-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy and Identity Management. The Smart Revolution 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401491 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Hansen, Marit. editor.&#160;Kosta, Eleni. editor.&#160;Nai-Fovino, Igor. editor.&#160;Fischer-H&uuml;bner, Simone. editor. (orcid)0000-0002-6938-4466&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92925-5">https://doi.org/10.1007/978-3-319-92925-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactivity, Game Creation, Design, Learning, and Innovation 6th International Conference, ArtsIT 2017, and Second International Conference, DLI 2017, Heraklion, Crete, Greece, October 30&ndash;31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401518 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Brooks, Anthony L. editor.&#160;Brooks, Eva. editor. (orcid)0000-0001-7286-0876&#160;Vidakis, Nikolas. 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-76908-0">https://doi.org/10.1007/978-3-319-76908-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Computing, Applications, and Services 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 &ndash; March 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401530 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Murao, Kazuya. editor.&#160;Ohmura, Ren. editor.&#160;Inoue, Sozo. editor.&#160;Gotoh, Yusuke. 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-90740-6">https://doi.org/10.1007/978-3-319-90740-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Information Systems 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401546 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Hammoudi, Slimane. editor.&#160;&#346;mia&#322;ek, Micha&#322;. editor.&#160;Camp, Olivier. editor.&#160;Filipe, Joaquim. 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-93375-7">https://doi.org/10.1007/978-3-319-93375-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401549 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Guidi, Barbara. editor.&#160;Ricci, Laura. editor.&#160;Calafate, Carlos. editor.&#160;Gaggi, Ombretta. editor.&#160;Marquez-Barja, Johann. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76111-4">https://doi.org/10.1007/978-3-319-76111-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Indoor Localization A Crowdsourcing Approach ent://SD_ILS/0/SD_ILS:400324 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Wu, Chenshu. author.&#160;Yang, Zheng. author.&#160;Liu, Yunhao. 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-0356-2">https://doi.org/10.1007/978-981-13-0356-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400326 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Krimmer, Robert. editor. (orcid)0000-0002-0873-539X&#160;Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043&#160;Cortier, V&eacute;ronique. editor.&#160;Gor&eacute;, Rajeev. editor.&#160;Hapsara, Manik. editor. (orcid)0000-0002-8653-063X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00419-4">https://doi.org/10.1007/978-3-030-00419-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19&ndash;23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400329 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Shacham, Hovav. editor.&#160;Boldyreva, Alexandra. 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-96884-1">https://doi.org/10.1007/978-3-319-96884-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8&ndash;12, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400332 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Vrande&#269;i&#263;, Denny. editor. (orcid)0000-0002-9593-2294&#160;Bontcheva, Kalina. editor.&#160;Su&aacute;rez-Figueroa, Mari Carmen. editor.&#160;Presutti, Valentina. editor.&#160;Celino, Irene. editor. (orcid)0000-0001-9962-7193<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00671-6">https://doi.org/10.1007/978-3-030-00671-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11&ndash;14, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400334 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Beimel, Amos. editor.&#160;Dziembowski, Stefan. 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-03810-6">https://doi.org/10.1007/978-3-030-03810-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15&ndash;17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400337 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Christodoulou, George. editor.&#160;Harks, Tobias. 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-04612-5">https://doi.org/10.1007/978-3-030-04612-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400341 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Zhou, Jia. editor.&#160;Salvendy, Gavriel. 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-92034-4">https://doi.org/10.1007/978-3-319-92034-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400342 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Younas, Muhammad. editor.&#160;Awan, Irfan. editor.&#160;Ghinea, George. editor.&#160;Catalan Cid, Marisa. 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-97163-6">https://doi.org/10.1007/978-3-319-97163-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Affective and Pleasurable Design Proceedings of the AHFE 2017 International Conference on Affective and Pleasurable Design, July 17&ndash;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:400348 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chung, WonJoon. editor.&#160;Shin, Cliff Sungsoo. 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-60495-4">https://doi.org/10.1007/978-3-319-60495-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomechanical Biofeedback Systems and Applications ent://SD_ILS/0/SD_ILS:400356 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Kos, Anton. author.&#160;Umek, Anton. 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-91349-0">https://doi.org/10.1007/978-3-319-91349-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401646 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Giuffrida, Cristiano. editor.&#160;Bardin, S&eacute;bastien. editor.&#160;Blanc, Gregory. editor. (orcid)0000-0001-8150-6617&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93411-2">https://doi.org/10.1007/978-3-319-93411-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust Management XII 12th IFIP WG 11.11 International Conference, IFIPTM 2018, Toronto, ON, Canada, July 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402007 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Gal-Oz, Nurit. editor.&#160;Lewis, Peter R. 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-95276-5">https://doi.org/10.1007/978-3-319-95276-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Games ent://SD_ILS/0/SD_ILS:401916 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450&#160;Togelius, Julian. 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-63519-4">https://doi.org/10.1007/978-3-319-63519-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of FPGA-Based Computing Systems with OpenCL ent://SD_ILS/0/SD_ILS:401920 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Waidyasooriya, Hasitha Muthumala. author.&#160;Hariyama, Masanori. author.&#160;Uchiyama, Kunio. 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-68161-0">https://doi.org/10.1007/978-3-319-68161-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Aspects of Transportation Proceedings of the AHFE 2017 International Conference on Human Factors in Transportation, July 17&minus;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:402178 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Stanton, Neville A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60441-1">https://doi.org/10.1007/978-3-319-60441-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things ent://SD_ILS/0/SD_ILS:402179 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Marwedel, Peter. 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-56045-8">https://doi.org/10.1007/978-3-319-56045-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Closing the Gap Between Practice and Research in Industrial Engineering ent://SD_ILS/0/SD_ILS:402189 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Viles, Elisabeth. editor.&#160;Ormaz&aacute;bal, Marta. editor.&#160;Lle&oacute;, Alvaro. 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-58409-6">https://doi.org/10.1007/978-3-319-58409-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Multicore Architectures at Nanoscale ent://SD_ILS/0/SD_ILS:402190 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ottavi, Marco. editor.&#160;Gizopoulos, Dimitris. editor.&#160;Pontarelli, Salvatore. 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-54422-9">https://doi.org/10.1007/978-3-319-54422-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Logic Synthesis ent://SD_ILS/0/SD_ILS:402203 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Reis, Andr&eacute; In&aacute;cio. editor.&#160;Drechsler, Rolf. 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-67295-3">https://doi.org/10.1007/978-3-319-67295-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blockchain &ndash; ICBC 2018 First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402216 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chen, Shiping. editor. (orcid)0000-0002-4603-0024&#160;Wang, Harry. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94478-4">https://doi.org/10.1007/978-3-319-94478-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling, Simulation, and Optimization ent://SD_ILS/0/SD_ILS:402222 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Vasant, Pandian. editor.&#160;Litvinchev, Igor. editor.&#160;Marmolejo-Saucedo, Jos&eacute; 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-70542-2">https://doi.org/10.1007/978-3-319-70542-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Musicality of Human Brain through Fractal Analytics ent://SD_ILS/0/SD_ILS:402243 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ghosh, Dipak. author.&#160;Sengupta, Ranjan. author.&#160;Sanyal, Shankha. author.&#160;Banerjee, Archi. 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-6511-8">https://doi.org/10.1007/978-981-10-6511-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal System Verification State-of the-Art and Future Trends ent://SD_ILS/0/SD_ILS:402258 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Drechsler, Rolf. 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-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14&ndash;17, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402302 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Nicosia, Giuseppe. editor.&#160;Pardalos, Panos. editor.&#160;Giuffrida, Giovanni. editor.&#160;Umeton, Renato. 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-72926-8">https://doi.org/10.1007/978-3-319-72926-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Control of Hybrid Propulsion System for Ground Vehicles ent://SD_ILS/0/SD_ILS:402307 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Zou, Yuan. author.&#160;Li, Junqiu. author.&#160;Hu, Xiaosong. author.&#160;Chamaillard, Yann. 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-53673-5">https://doi.org/10.1007/978-3-662-53673-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Finite Element Primer for Beginners The Basics ent://SD_ILS/0/SD_ILS:402318 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Zohdi, Tarek I. 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-70428-9">https://doi.org/10.1007/978-3-319-70428-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:402341 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Ahram, Tareq. editor.&#160;Karwowski, Waldemar. 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-60011-6">https://doi.org/10.1007/978-3-319-60011-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach ent://SD_ILS/0/SD_ILS:402580 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Khan, Muhammad Usman Karim. author.&#160;Shafique, Muhammad. author.&#160;Henkel, J&ouml;rg. 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-61455-7">https://doi.org/10.1007/978-3-319-61455-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Grid and Innovative Frontiers in Telecommunications Third International Conference, SmartGIFT 2018, Auckland, New Zealand, April 23-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402546 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Chong, Peter Han Joo. editor.&#160;Seet, Boon-Chong. editor.&#160;Chai, Michael. editor.&#160;Rehman, Saeed Ur. 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-94965-9">https://doi.org/10.1007/978-3-319-94965-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17&ndash;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:402558 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Fechtelkotter, Paul. editor.&#160;Legatt, Michael. 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-60204-2">https://doi.org/10.1007/978-3-319-60204-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402654 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Duffy, Vincent G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402656 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Antona, Margherita. editor.&#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-92052-8">https://doi.org/10.1007/978-3-319-92052-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Explorations in Art and Technology ent://SD_ILS/0/SD_ILS:398951 2024-09-10T12:53:14Z 2024-09-10T12:53:14Z Author&#160;Candy, Linda. author.&#160;Edmonds, Ernest. author.&#160;Poltronieri, Fabrizio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-7367-0">https://doi.org/10.1007/978-1-4471-7367-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>