Search Results for -- S&#304;YAS&#304; FAAL&#304;YETLER. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bS$0025C4$0025B0YAS$0025C4$0025B0$002bFAAL$0025C4$0025B0YETLER.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list 2024-12-18T21:20:55Z Programlama dillerinin prensipleri : mant&#305;&#287;&#305; kavra, i&#351;leyi&#351;i &ouml;&#287;ren, kodu yaz ent://SD_ILS/0/SD_ILS:510382 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Yumu&#351;ak, Nejat.&#160;Adak, M. Fatih.<br/>Preferred Shelf Number&#160;QA76.73.Y86 P76 2021<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> R uygulamal&#305; yeniden &ouml;rnekleme teknikleri ent://SD_ILS/0/SD_ILS:510958 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Cebeci, Zeynel.<br/>Preferred Shelf Number&#160;QA75.5 C43 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Big Scientific Data Management First International Conference, BigSDM 2018, Beijing, China, November 30 &ndash; December 1, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482904 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Li, Jianhui. editor.&#160;Meng, Xiaofeng. editor.&#160;Zhang, Ying. editor.&#160;Cui, Wenjuan. editor.&#160;Du, Zhihui. editor. (orcid)0000-0002-8435-1611<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28061-1">https://doi.org/10.1007/978-3-030-28061-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Systems Development Designing Digitalization ent://SD_ILS/0/SD_ILS:483097 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Andersson, Bo. editor.&#160;Johansson, Bj&ouml;rn. editor.&#160;Barry, Chris. editor. (orcid)0000-0002-3664-8429&#160;Lang, Michael. editor. (orcid)0000-0001-7961-2285&#160;Linger, Henry. editor. (orcid)0000-0002-0400-1786<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22993-1">https://doi.org/10.1007/978-3-030-22993-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managed Software Evolution ent://SD_ILS/0/SD_ILS:484605 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Reussner, Ralf. editor.&#160;Goedicke, Michael. editor.&#160;Hasselbring, Wilhelm. editor.&#160;Vogel-Heuser, Birgit. editor.&#160;Keim, Jan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13499-0">https://doi.org/10.1007/978-3-030-13499-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Literacy in Everyday Life 6th European Conference, ECIL 2018, Oulu, Finland, September 24&ndash;27, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485852 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kurbano&#287;lu, Serap. editor.&#160;&Scaron;piranec, Sonja. editor.&#160;&Uuml;nal, Yurdag&uuml;l. editor.&#160;Boustany, Joumana. editor.&#160;Huotari, Maija Leena. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13472-3">https://doi.org/10.1007/978-3-030-13472-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485971 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ren, Rui. editor.&#160;Zheng, Chen. editor.&#160;Zhan, Jianfeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-5910-1">https://doi.org/10.1007/978-981-13-5910-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4&ndash;5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486017 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Li, Zheng. editor. (orcid)0000-0002-3938-7033&#160;Jiang, He. editor. (orcid)0000-0001-8674-4948&#160;Li, Ge. editor.&#160;Zhou, Minghui. editor.&#160;Li, Ming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. 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-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482658 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124&#160;Biffl, Stefan. editor. (orcid)0000-0002-3413-7780&#160;Bergsmann, Johannes. 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-05767-1">https://doi.org/10.1007/978-3-030-05767-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21&ndash;22, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483567 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Prateek, Manish. editor.&#160;Sharma, Durgansh. editor.&#160;Tiwari, Rajeev. editor.&#160;Sharma, Rashmi. editor.&#160;Kumar, Kamal. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1718-1">https://doi.org/10.1007/978-981-15-1718-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483738 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;England, Matthew. editor. (orcid)0000-0001-5729-3420&#160;Koepf, Wolfram. editor.&#160;Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Improved FMEA Methods for Proactive Healthcare Risk Analysis ent://SD_ILS/0/SD_ILS:484168 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Liu, Hu-Chen. 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-6366-5">https://doi.org/10.1007/978-981-13-6366-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484958 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34500-6">https://doi.org/10.1007/978-3-030-34500-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 10th International Conference, ICSOB 2019, Jyv&auml;skyl&auml;, Finland, November 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485079 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750&#160;Suoranta, Mari. editor. (orcid)0000-0002-3849-4902&#160;Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200&#160;Tyrv&auml;inen, Pasi. editor. (orcid)0000-0001-7716-3244&#160;Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33742-1">https://doi.org/10.1007/978-3-030-33742-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence versus Human Intelligence Are Humans Going to Be Hacked? ent://SD_ILS/0/SD_ILS:485299 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Lexcellent, Christian. 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-21445-6">https://doi.org/10.1007/978-3-030-21445-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21&ndash;24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485333 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kotlarsky, Julia. editor. (orcid)0000-0002-1478-549X&#160;Oshri, Ilan. editor. (orcid)0000-0001-6577-1795&#160;Willcocks, Leslie. editor. (orcid)0000-0003-2572-9554&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15850-7">https://doi.org/10.1007/978-3-030-15850-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming &ndash; Workshops XP 2019 Workshops, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486129 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Hoda, Rashina. editor. (orcid)0000-0001-5147-8096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30126-2">https://doi.org/10.1007/978-3-030-30126-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486700 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362&#160;Rocha, Carla. editor. (orcid)0000-0003-3102-5166&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36701-5">https://doi.org/10.1007/978-3-030-36701-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM ent://SD_ILS/0/SD_ILS:486724 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mula, Josefa. editor.&#160;Barbastefano, Rafael. editor.&#160;D&iacute;az-Madro&ntilde;ero, Manuel. editor.&#160;Poler, Ra&uacute;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-319-93488-4">https://doi.org/10.1007/978-3-319-93488-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482815 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Tonin, Graziela Simone. editor.&#160;Est&aacute;cio, Bernardo. editor.&#160;Goldman, Alfredo. editor.&#160;Guerra, Eduardo. 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-14310-7">https://doi.org/10.1007/978-3-030-14310-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Becoming a data-driven Organisation Unlock the value of data ent://SD_ILS/0/SD_ILS:482959 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Treder, Martin. 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-60304-8">https://doi.org/10.1007/978-3-662-60304-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483194 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Bordeleau, Francis. editor.&#160;Sillitti, Alberto. editor.&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483601 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867&#160;Fraser, Steven. editor. (orcid)0000-0002-3958-6585&#160;Coallier, Fran&ccedil;ois. editor. (orcid)0000-0002-2730-2469&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19034-7">https://doi.org/10.1007/978-3-030-19034-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Software Engineering ent://SD_ILS/0/SD_ILS:484024 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Cha, Sungdeok. editor.&#160;Taylor, Richard N. editor.&#160;Kang, Kyochul. 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-00262-6">https://doi.org/10.1007/978-3-030-00262-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Role Competency Matrix A Step-By-Step Guide to an Objective Competency Management System ent://SD_ILS/0/SD_ILS:484035 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kuruba, Mahesh. 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-7972-7">https://doi.org/10.1007/978-981-13-7972-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Historical Studies in Computing, Information, and Society Insights from the Flatiron Lectures ent://SD_ILS/0/SD_ILS:484199 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Aspray, William. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18955-6">https://doi.org/10.1007/978-3-030-18955-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20&ndash;22, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484938 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Chang, Chuan-Yu. editor.&#160;Lin, Chien-Chou. editor.&#160;Lin, Horng-Horng. 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-9190-3">https://doi.org/10.1007/978-981-13-9190-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8&ndash;12, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:484960 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377&#160;Moriai, Shiho. editor. (orcid)0000-0002-6072-6183&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34621-8">https://doi.org/10.1007/978-3-030-34621-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486575 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Hinze, Thomas. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12797-8">https://doi.org/10.1007/978-3-030-12797-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product Lifecycle Management in the Digital Twin Era 16th IFIP WG 5.1 International Conference, PLM 2019, Moscow, Russia, July 8&ndash;12, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487010 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Fortin, Clement. editor.&#160;Rivest, Louis. editor.&#160;Bernard, Alain. editor. (orcid)0000-0002-7037-2980&#160;Bouras, Abdelaziz. 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-42250-9">https://doi.org/10.1007/978-3-030-42250-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487029 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Walker, Alastair. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bits on Chips ent://SD_ILS/0/SD_ILS:487489 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Veendrick, Harry. 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-76096-4">https://doi.org/10.1007/978-3-319-76096-4</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Takahashi, Yutaka. editor.&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;Yue, Wuyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22&ndash;25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398934 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions ent://SD_ILS/0/SD_ILS:398945 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398950 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Explorations in Art and Technology ent://SD_ILS/0/SD_ILS:398951 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 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:398959 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Streitz, Norbert. editor. (orcid)0000-0002-0244-0945&#160;Konomi, Shin&rsquo;ichi. 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-91125-0">https://doi.org/10.1007/978-3-319-91125-0</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Emotional Engineering, Vol. 6 Understanding Motivation ent://SD_ILS/0/SD_ILS:399179 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Fukuda, Shuichi. 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-70802-7">https://doi.org/10.1007/978-3-319-70802-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15&ndash;18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399104 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Torra, Vicen&ccedil;. editor. (orcid)0000-0002-0368-8037&#160;Narukawa, Yasuo. editor.&#160;Aguil&oacute;, Isabel. editor.&#160;Gonz&aacute;lez-Hidalgo, Manuel. 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-00202-2">https://doi.org/10.1007/978-3-030-00202-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399117 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Lai, Jian-Huang. editor.&#160;Liu, Cheng-Lin. editor.&#160;Chen, Xilin. editor.&#160;Zhou, Jie. editor.&#160;Tan, Tieniu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03341-5">https://doi.org/10.1007/978-3-030-03341-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Usability, Accessibility and Ambient Assisted Living ent://SD_ILS/0/SD_ILS:399127 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Queir&oacute;s, Alexandra. editor.&#160;Rocha, Nelson Pacheco da. 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-91226-4">https://doi.org/10.1007/978-3-319-91226-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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Honeypot Frameworks and Their Applications: A New Framework ent://SD_ILS/0/SD_ILS:399250 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;NG, Chee Keong. author.&#160;Pan, Lei. author.&#160;Xiang, Yang. 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-7739-5">https://doi.org/10.1007/978-981-10-7739-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. 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-02450-5">https://doi.org/10.1007/978-3-030-02450-5</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage ent://SD_ILS/0/SD_ILS:399464 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Gonzalez-Perez, Cesar. 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-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Technologies for Interactive Entertainment 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399466 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Chisik, Yoram. editor.&#160;Holopainen, Jussi. editor.&#160;Khaled, Rilla. editor.&#160;Luis Silva, Jos&eacute;. editor.&#160;Alexandra Silva, Paula. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73062-2">https://doi.org/10.1007/978-3-319-73062-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Immersive Video Games Using 3DUI Technologies Improving the Gamer's User Experience ent://SD_ILS/0/SD_ILS:399471 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kulshreshth, Arun K. author.&#160;LaViola Jr., Joseph J. 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-77953-9">https://doi.org/10.1007/978-3-319-77953-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399472 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;Peleska, Jan. editor. (orcid)0000-0003-3667-9775&#160;Roscoe, Bill. editor.&#160;de Vink, Erik. 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-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Objective Optimization Evolutionary to Hybrid Framework ent://SD_ILS/0/SD_ILS:399481 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mandal, Jyotsna K. editor.&#160;Mukhopadhyay, Somnath. editor.&#160;Dutta, Paramartha. 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-1471-1">https://doi.org/10.1007/978-981-13-1471-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 II ent://SD_ILS/0/SD_ILS:399569 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size ent://SD_ILS/0/SD_ILS:399576 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399586 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Aramaki, Mitsuko. editor.&#160;Davies, Matthew E. P. editor. (orcid)0000-0002-1315-3992&#160;Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920&#160;Ystad, S&oslash;lvi. editor. (orcid)0000-0001-9022-9690&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01692-0">https://doi.org/10.1007/978-3-030-01692-0</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399597 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Piskac, Ruzica. editor.&#160;R&uuml;mmer, Philipp. editor. (orcid)0000-0002-2733-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 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:399600 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Zaphiris, Panayiotis. editor.&#160;Ioannou, Andri. editor. (orcid)0000-0002-3570-6578&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91743-6">https://doi.org/10.1007/978-3-319-91743-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing &ndash; ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, M&aacute;laga, Spain, November 13&ndash;16, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399608 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Braubach, Lars. editor.&#160;Murillo, Juan M. editor. (orcid)0000-0003-4961-4030&#160;Kaviani, Nima. editor.&#160;Lama, Manuel. editor. (orcid)0000-0001-7195-6155&#160;Burgue&ntilde;o, Loli. editor. (orcid)0000-0002-7779-8810<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Systems Programming in Unix/Linux ent://SD_ILS/0/SD_ILS:399613 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Wang, K.C. 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-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399614 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Catalano, Dario. editor.&#160;De Prisco, Roberto. 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-98113-0">https://doi.org/10.1007/978-3-319-98113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399615 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Secure Networked Inference with Unreliable Data Sources ent://SD_ILS/0/SD_ILS:399621 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Vempaty, Aditya. author.&#160;Kailkhura, Bhavya. author.&#160;Varshney, Pramod K. 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-2312-6">https://doi.org/10.1007/978-981-13-2312-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399630 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Miesenberger, Klaus. editor.&#160;Kouroupetroglou, Georgios. 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-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Supported Education 9th International Conference, CSEDU 2017, Porto, Portugal, April 21-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399631 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias ent://SD_ILS/0/SD_ILS:399638 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Saleh, Hani. author.&#160;Bayasi, Nourhan. author.&#160;Mohammad, Baker. author.&#160;Ismail, Mohammed. 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-63973-4">https://doi.org/10.1007/978-3-319-63973-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence in Education 19th International Conference, AIED 2018, London, UK, June 27&ndash;30, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399640 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Penstein Ros&eacute;, Carolyn. editor.&#160;Mart&iacute;nez-Maldonado, Roberto. editor.&#160;Hoppe, H. Ulrich. editor.&#160;Luckin, Rose. editor.&#160;Mavrikis, Manolis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93843-1">https://doi.org/10.1007/978-3-319-93843-1</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399660 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Herrera-Joancomart&iacute;, Jordi. editor. (orcid)0000-0002-4935-4681&#160;Livraga, Giovanni. editor. (orcid)0000-0003-2661-8573&#160;Rios, Ruben. editor. (orcid)0000-0002-6251-4897&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00305-0">https://doi.org/10.1007/978-3-030-00305-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Transport System in Smart Cities Aspects and Challenges of Vehicular Networks and Cloud ent://SD_ILS/0/SD_ILS:399514 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;I. Meneguette, Rodolfo. author.&#160;E. De Grande, Robson. author.&#160;A. F. Loureiro, Antonio. 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-93332-0">https://doi.org/10.1007/978-3-319-93332-0</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:399519 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ahram, Tareq. 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-60822-8">https://doi.org/10.1007/978-3-319-60822-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399661 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Bailey, Michael. editor.&#160;Holz, Thorsten. editor. (orcid)0000-0002-2783-1264&#160;Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726&#160;Ioannidis, Sotiris. 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-00470-5">https://doi.org/10.1007/978-3-030-00470-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399665 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Saracino, Andrea. editor.&#160;Mori, Paolo. 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-04372-8">https://doi.org/10.1007/978-3-030-04372-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399537 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Invention for Smart Industries 18th International TRIZ Future Conference, TFC 2018, Strasbourg, France, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399539 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Cavallucci, Denis. editor.&#160;De Guio, Roland. editor.&#160;Kozio&#322;ek, Sebastian. 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-02456-7">https://doi.org/10.1007/978-3-030-02456-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399545 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399551 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Dutle, Aaron. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Narkawicz, Anthony. 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-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Simulation of the Aerodynamics of High-Lift Configurations ent://SD_ILS/0/SD_ILS:399552 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;L&oacute;pez Mejia, Omar Dar&iacute;o. editor. (orcid)0000-0001-6795-9396&#160;Escobar Gomez, Jaime 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-62136-4">https://doi.org/10.1007/978-3-319-62136-4</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W&uuml;rzburg, Germany, September 19&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399852 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Abreu, Salvador. editor. (orcid)0000-0002-1613-4631&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Biases in Visualizations ent://SD_ILS/0/SD_ILS:399854 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ellis, Geoffrey. 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-95831-6">https://doi.org/10.1007/978-3-319-95831-6</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> The Semantic Web &ndash; ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8&ndash;12, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399872 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-00668-6">https://doi.org/10.1007/978-3-030-00668-6</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399903 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Ober, Iulian. editor.&#160;Sala&uuml;n, Gwen. 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-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Database Systems ent://SD_ILS/0/SD_ILS:399905 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Liu, Ling. editor.&#160;&Ouml;zsu, M. Tamer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8265-9">https://doi.org/10.1007/978-1-4614-8265-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 I ent://SD_ILS/0/SD_ILS:399909 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399910 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kurosu, Masaaki. 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-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399923 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03326-2">https://doi.org/10.1007/978-3-030-03326-2</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Electronic Participation 10th IFIP WG 8.5 International Conference, ePart 2018, Krems, Austria, September 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399971 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Edelmann, Noella. editor.&#160;Parycek, Peter. editor. (orcid)0000-0003-3242-0475&#160;Misuraca, Gianluca. editor.&#160;Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842&#160;Charalabidis, Yannis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98578-7">https://doi.org/10.1007/978-3-319-98578-7</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399985 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000&#160;Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399986 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508&#160;Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596&#160;Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99582-3">https://doi.org/10.1007/978-3-319-99582-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Computing and Social Media. Technologies and Analytics 10th International Conference, SCSM 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:399959 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Meiselwitz, 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-91485-5">https://doi.org/10.1007/978-3-319-91485-5</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400073 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Ciompi, Francesco. editor. (orcid)0000-0001-8327-9606&#160;Xu, Yanwu. editor. (orcid)0000-0002-1779-931X&#160;Martel, Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00949-6">https://doi.org/10.1007/978-3-030-00949-6</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Cyberspace Safety and Security 10th International Symposium, CSS 2018, Amalfi, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400077 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Castiglione, Arcangelo. editor.&#160;Pop, Florin. editor.&#160;Ficco, Massimo. editor.&#160;Palmieri, Francesco. 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-01689-0">https://doi.org/10.1007/978-3-030-01689-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400164 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820&#160;Gehani, Ashish. editor. (orcid)0000-0002-3940-2467&#160;Alper, Pinar. editor. (orcid)0000-0002-2224-0780&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98379-0">https://doi.org/10.1007/978-3-319-98379-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing for the User Experience in Learning Systems ent://SD_ILS/0/SD_ILS:400165 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kapros, Evangelos. editor.&#160;Koutsombogera, Maria. 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-94794-5">https://doi.org/10.1007/978-3-319-94794-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental IR Meets Multilinguality, Multimodality, and Interaction 9th International Conference of the CLEF Association, CLEF 2018, Avignon, France, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400170 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Bellot, Patrice. editor. (orcid)0000-0001-8698-5055&#160;Trabelsi, Chiraz. editor.&#160;Mothe, Josiane. editor. (orcid)0000-0001-9386-3531&#160;Murtagh, Fionn. editor. (orcid)0000-0002-0589-6892&#160;Nie, Jian Yun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98932-7">https://doi.org/10.1007/978-3-319-98932-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400173 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Saeed, Khalid. editor. (orcid)0000-0002-7741-7045&#160;Homenda, W&#322;adys&#322;aw. editor. (orcid)0000-0001-7787-4927&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99954-8">https://doi.org/10.1007/978-3-319-99954-8</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Computational Analysis of Sound Scenes and Events ent://SD_ILS/0/SD_ILS:400181 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Virtanen, Tuomas. editor.&#160;Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075&#160;Ellis, Dan. 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-63450-0">https://doi.org/10.1007/978-3-319-63450-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Privacy in Communication Networks 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400185 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Beyah, Raheem. editor.&#160;Chang, Bing. editor.&#160;Li, Yingjiu. editor.&#160;Zhu, Sencun. 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-01701-9">https://doi.org/10.1007/978-3-030-01701-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400194 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Chen, Liqun. editor. (orcid)0000-0003-2680-4907&#160;Manulis, Mark. editor. (orcid)0000-0002-1512-9670&#160;Schneider, Steve. editor. (orcid)0000-0001-8365-6993&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99136-8">https://doi.org/10.1007/978-3-319-99136-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechatronics for Cultural Heritage and Civil Engineering ent://SD_ILS/0/SD_ILS:400201 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ottaviano, Erika. editor.&#160;Pelliccio, Assunta. editor.&#160;Gattulli, Vincenzo. 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-68646-2">https://doi.org/10.1007/978-3-319-68646-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400204 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Prattichizzo, Domenico. editor.&#160;Shinoda, Hiroyuki. editor.&#160;Tan, Hong Z. editor.&#160;Ruffaldi, Emanuele. editor.&#160;Frisoli, Antonio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93399-3">https://doi.org/10.1007/978-3-319-93399-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400265 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Medina, Manel. editor.&#160;Mitrakas, Andreas. editor.&#160;Rannenberg, Kai. editor.&#160;Schweighofer, Erich. editor.&#160;Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability ent://SD_ILS/0/SD_ILS:400290 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Jahanshahi, Mohsen. author.&#160;Bistouni, Fathollah. 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-78473-1">https://doi.org/10.1007/978-3-319-78473-1</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Security and Privacy in Communication Networks 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400221 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Beyah, Raheem. editor.&#160;Chang, Bing. editor.&#160;Li, Yingjiu. editor.&#160;Zhu, Sencun. 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-01704-0">https://doi.org/10.1007/978-3-030-01704-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Invasive Computing for Mapping Parallel Programs to Many-Core Architectures ent://SD_ILS/0/SD_ILS:400143 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Weichslgartner, Andreas. author.&#160;Wildermann, Stefan. author.&#160;Gla&szlig;, Michael. author.&#160;Teich, J&uuml;rgen. 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-7356-4">https://doi.org/10.1007/978-981-10-7356-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400150 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ham, Jaap. editor. (orcid)0000-0003-1703-5165&#160;Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996&#160;Morita, Plinio P. editor. (orcid)0000-0001-9515-6478&#160;Burns, Catherine M. editor. (orcid)0000-0002-6182-958X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78978-1">https://doi.org/10.1007/978-3-319-78978-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400151 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Capilla, Rafael. editor. (orcid)0000-0002-6943-1285&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Cetina, Carlos. editor. (orcid)0000-0001-8542-5515&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Time Domain Representation of Speech Sounds A Case Study in Bangla ent://SD_ILS/0/SD_ILS:400316 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-13-2303-4">https://doi.org/10.1007/978-981-13-2303-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis for Computer Scientists Foundations, Methods, and Algorithms ent://SD_ILS/0/SD_ILS:400374 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Imaginary Mathematics for Computer Science ent://SD_ILS/0/SD_ILS:400402 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Multiscale Forecasting Models ent://SD_ILS/0/SD_ILS:400414 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Barba Maggi, Lida Mercedes. 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-94992-5">https://doi.org/10.1007/978-3-319-94992-5</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> History of Cryptography and Cryptanalysis Codes, Ciphers, and Their Algorithms ent://SD_ILS/0/SD_ILS:400424 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Dooley, John F. 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-90443-6">https://doi.org/10.1007/978-3-319-90443-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Dynamic Data Driven Applications Systems ent://SD_ILS/0/SD_ILS:400436 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Blasch, Erik. editor.&#160;Ravela, Sai. editor.&#160;Aved, Alex. 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-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconstructing Our Orders Artificial Intelligence and Human Society ent://SD_ILS/0/SD_ILS:400437 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Jin, Donghan. 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-2209-9">https://doi.org/10.1007/978-981-13-2209-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rhythm, Play and Interaction Design ent://SD_ILS/0/SD_ILS:400439 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Costello, Brigid M. 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-67850-4">https://doi.org/10.1007/978-3-319-67850-4</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Principles of Security and Trust 7th International Conference, POST 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:400640 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Bauer, Lujo. editor.&#160;K&uuml;sters, Ralf. 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-89722-6">https://doi.org/10.1007/978-3-319-89722-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Human Computer Interaction 10th International Conference, IHCI 2018, Allahabad, India, December 7&ndash;9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400545 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Tiwary, Uma Shanker. 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-04021-5">https://doi.org/10.1007/978-3-030-04021-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400547 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931&#160;Schneider, Kurt. editor.&#160;Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X&#160;Amasaki, Sousuke. editor.&#160;Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Big Data in Engineering Applications ent://SD_ILS/0/SD_ILS:400963 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Roy, Sanjiban Sekhar. editor.&#160;Samui, Pijush. editor.&#160;Deo, Ravinesh. editor.&#160;Ntalampiras, Stavros. 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-8476-8">https://doi.org/10.1007/978-981-10-8476-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23&ndash;28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400969 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.&#160;Ciuciu, Ioana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73805-5">https://doi.org/10.1007/978-3-319-73805-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400971 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Cuppens, Nora. editor.&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941&#160;Legay, Axel. editor.&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76687-4">https://doi.org/10.1007/978-3-319-76687-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17&ndash;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:400988 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Arezes, 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-60525-8">https://doi.org/10.1007/978-3-319-60525-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Information Access Systems and Technologies ent://SD_ILS/0/SD_ILS:400993 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Brusilovsky, Peter. editor.&#160;He, Daqing. 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-90092-6">https://doi.org/10.1007/978-3-319-90092-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Embedded Systems with Arduino A Fundamental Technology for Makers ent://SD_ILS/0/SD_ILS:400998 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Pan, Tianhong. author.&#160;Zhu, Yi. 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-4418-2">https://doi.org/10.1007/978-981-10-4418-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Security: Power and Technology ent://SD_ILS/0/SD_ILS:401003 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Lehto, Martti. editor.&#160;Neittaanm&auml;ki, Pekka. 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-75307-2">https://doi.org/10.1007/978-3-319-75307-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14&ndash;18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401005 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233&#160;Woltran, Stefan. editor. (orcid)0000-0003-1594-8972&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90050-6">https://doi.org/10.1007/978-3-319-90050-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Clinical Rehabilitation Experience Utilizing Serious Games Rehabilitation Technology and a Technical Concept for Health Data Collection ent://SD_ILS/0/SD_ILS:401034 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Lawo, Michael. editor.&#160;Knackfu&szlig;, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-21957-4">https://doi.org/10.1007/978-3-658-21957-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Musical Haptics ent://SD_ILS/0/SD_ILS:400989 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Papetti, Stefano. editor.&#160;Saitis, Charalampos. 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-58316-7">https://doi.org/10.1007/978-3-319-58316-7</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Location-Based Mobile Games Design Perspectives ent://SD_ILS/0/SD_ILS:400850 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations ent://SD_ILS/0/SD_ILS:401158 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Hidaka, Hideto. 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-55306-1">https://doi.org/10.1007/978-3-319-55306-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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Automated Validation &amp; Verification of UML/OCL Models Using Satisfiability Solvers ent://SD_ILS/0/SD_ILS:401280 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Przigoda, Nils. author.&#160;Wille, Robert. author.&#160;Przigoda, Judith. author.&#160;Drechsler, Rolf. 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-72814-8">https://doi.org/10.1007/978-3-319-72814-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401235 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Prattichizzo, Domenico. editor.&#160;Shinoda, Hiroyuki. editor.&#160;Tan, Hong Z. editor.&#160;Ruffaldi, Emanuele. editor.&#160;Frisoli, Antonio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93445-7">https://doi.org/10.1007/978-3-319-93445-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Model Checking ent://SD_ILS/0/SD_ILS:401293 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Clarke, Edmund M. editor.&#160;Henzinger, Thomas A. editor.&#160;Veith, Helmut. editor.&#160;Bloem, Roderick. 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-10575-8">https://doi.org/10.1007/978-3-319-10575-8</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Digital Marketplaces Unleashed ent://SD_ILS/0/SD_ILS:401468 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401446 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Black, Elizabeth. editor. (orcid)0000-0002-4295-449X&#160;Modgil, Sanjay. editor.&#160;Oren, Nir. 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-75553-3">https://doi.org/10.1007/978-3-319-75553-3</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401557 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Amine, Abdelmalek. editor.&#160;Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064&#160;Ait Mohamed, Otmane. editor.&#160;Djebbar, Bachir. 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-89743-1">https://doi.org/10.1007/978-3-319-89743-1</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Project Management at the Edge of Chaos Social Techniques for Complex Systems ent://SD_ILS/0/SD_ILS:401660 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Oswald, Alfred. author.&#160;K&ouml;hler, Jens. author.&#160;Schmitt, Roland. 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-48261-2">https://doi.org/10.1007/978-3-662-48261-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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Information Security Applications 18th International Conference, WISA 2017, Jeju Island, Korea, August 24-26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401682 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Kang, Brent ByungHoon. editor. (orcid)0000-0001-8984-1006&#160;Kim, Taesoo. 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-93563-8">https://doi.org/10.1007/978-3-319-93563-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CABology: Value of Cloud, Analytics and Big Data Trio Wave ent://SD_ILS/0/SD_ILS:401684 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Upadhyay, Nitin. 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-8675-5">https://doi.org/10.1007/978-981-10-8675-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401698 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Dubois, Catherine. editor.&#160;Wolff, Burkhart. 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-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies ent://SD_ILS/0/SD_ILS:401704 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Filimowicz, Michael. editor.&#160;Tzankova, Veronika. 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-73374-6">https://doi.org/10.1007/978-3-319-73374-6</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings ent://SD_ILS/0/SD_ILS:401719 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Belqasmi, Fatna. editor.&#160;Harroud, Hamid. editor.&#160;Agueh, Max. editor.&#160;Dssouli, Rachida. editor.&#160;Kamoun, Faouzi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67837-5">https://doi.org/10.1007/978-3-319-67837-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401721 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339&#160;Levy, 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-76369-9">https://doi.org/10.1007/978-3-319-76369-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gesture Recognition Principles, Techniques and Applications ent://SD_ILS/0/SD_ILS:401729 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Konar, Amit. author.&#160;Saha, Sriparna. 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-62212-5">https://doi.org/10.1007/978-3-319-62212-5</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Advances in Human Factors, Sustainable Urban Planning and Infrastructure Proceedings of the AHFE 2017 International Conference on Human Factors, Sustainable Urban Planning and Infrastructure, July 17&minus;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:401738 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Charytonowicz, 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-60450-3">https://doi.org/10.1007/978-3-319-60450-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Usability and User Experience Proceedings of the AHFE 2017 International Conference on Usability and User Experience, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:401741 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-60492-3">https://doi.org/10.1007/978-3-319-60492-3</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 &ndash; November 1, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401747 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243&#160;Hancock, Edwin. editor. (orcid)0000-0003-4496-2028&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78199-0">https://doi.org/10.1007/978-3-319-78199-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing ent://SD_ILS/0/SD_ILS:401753 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Haj-Yahya, Jawad. author.&#160;Mendelson, Avi. author.&#160;Ben Asher, Yosi. author.&#160;Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8554-3">https://doi.org/10.1007/978-981-10-8554-3</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Essentials of Dynamics and Vibrations ent://SD_ILS/0/SD_ILS:401760 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Billingsley, 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-56517-0">https://doi.org/10.1007/978-3-319-56517-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:401872 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Bissyande, Tegawend&eacute; F. editor.&#160;Sie, Oumarou. 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-66742-3">https://doi.org/10.1007/978-3-319-66742-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CMOS Circuits for Biological Sensing and Processing ent://SD_ILS/0/SD_ILS:401877 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mitra, Srinjoy. editor.&#160;Cumming, David R. 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-67723-1">https://doi.org/10.1007/978-3-319-67723-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems ent://SD_ILS/0/SD_ILS:401881 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Diez, Pedro. editor.&#160;Neittaanm&auml;ki, Pekka. editor.&#160;Periaux, Jacques. editor.&#160;Tuovinen, Tero. editor.&#160;Br&auml;ysy, Olli. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54490-8">https://doi.org/10.1007/978-3-319-54490-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Online Engineering &amp; Internet of Things Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USA ent://SD_ILS/0/SD_ILS:401848 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Auer, Michael E. editor.&#160;Zutin, Danilo 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-64352-6">https://doi.org/10.1007/978-3-319-64352-6</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Mobility Analytics for Spatio-Temporal and Social Data First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401931 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Doulkeridis, Christos. editor. (orcid)0000-0002-3219-0510&#160;Vouros, George A. editor. (orcid)0000-0001-5451-622X&#160;Qu, Qiang. editor. (orcid)0000-0001-5814-8460&#160;Wang, Shuhui. 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-73521-4">https://doi.org/10.1007/978-3-319-73521-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401932 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682&#160;Imam, Neena. editor. (orcid)0000-0001-8860-4738&#160;Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linked Data Storing, Querying, and Reasoning ent://SD_ILS/0/SD_ILS:401935 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Sakr, Sherif. author.&#160;Wylot, Marcin. author.&#160;Mutharaju, Raghava. author.&#160;Le Phuoc, Danh. author.&#160;Fundulaki, Irini. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73515-3">https://doi.org/10.1007/978-3-319-73515-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Ship Design ent://SD_ILS/0/SD_ILS:402075 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Roh, Myung-Il. author.&#160;Lee, Kyu-Yeul. 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-4885-2">https://doi.org/10.1007/978-981-10-4885-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power Design and Power-Aware Verification ent://SD_ILS/0/SD_ILS:402053 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Khondkar, Progyna. 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-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation-Based Usability Evaluation of Spoken and Multimodal Dialogue Systems ent://SD_ILS/0/SD_ILS:402271 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Hillmann, Stefan. 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-62518-8">https://doi.org/10.1007/978-3-319-62518-8</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Track-Before-Detect Using Expectation Maximisation The Histogram Probabilistic Multi-hypothesis Tracker: Theory and Applications ent://SD_ILS/0/SD_ILS:402361 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Davey, Samuel J. author.&#160;Gaetjens, Han X. 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-7593-3">https://doi.org/10.1007/978-981-10-7593-3</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Innovation and Interdisciplinary Solutions for Underserved Areas First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11&ndash;12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402401 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;M. F. Kebe, Cheikh. editor.&#160;Gueye, Assane. editor.&#160;Ndiaye, Ababacar. 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-72965-7">https://doi.org/10.1007/978-3-319-72965-7</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance ent://SD_ILS/0/SD_ILS:402462 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Gheorghe, Adrian V. author.&#160;Vamanu, Dan V. author.&#160;Katina, Polinpapilinho F. author.&#160;Pulfer, Roland. 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-69224-1">https://doi.org/10.1007/978-3-319-69224-1</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies ent://SD_ILS/0/SD_ILS:402473 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Filimowicz, Michael. editor.&#160;Tzankova, Veronika. 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-73356-2">https://doi.org/10.1007/978-3-319-73356-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402485 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mokhtari, Mounir. editor.&#160;Abdulrazak, Bessam. editor.&#160;Aloulou, Hamdi. 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-94523-1">https://doi.org/10.1007/978-3-319-94523-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitalisation, Innovation, and Transformation 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402486 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Liu, Kecheng. editor.&#160;Nakata, Keiichi. editor.&#160;Li, Weizi. editor.&#160;Baranauskas, Cecilia. 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-94541-5">https://doi.org/10.1007/978-3-319-94541-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Element Concepts A Closed-Form Algebraic Development ent://SD_ILS/0/SD_ILS:402488 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Dasgupta, Gautam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-7423-8">https://doi.org/10.1007/978-1-4939-7423-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Reality Art From an Emerging Technology to a Novel Creative Medium ent://SD_ILS/0/SD_ILS:402491 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Geroimenko, Vladimir. 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-69932-5">https://doi.org/10.1007/978-3-319-69932-5</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach ent://SD_ILS/0/SD_ILS:402580 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402522 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;Roveri, Marco. editor. (orcid)0000-0001-9483-3940&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402524 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Liu, Peng. editor.&#160;Mauw, Sjouke. editor.&#160;Stolen, Ketil. 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-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Systems Interaction Backgrounds and Applications 4 ent://SD_ILS/0/SD_ILS:402528 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Hippe, Zdzis&#322;aw S. editor.&#160;Kulikowski, Juliusz L. editor.&#160;Mroczek, Teresa. 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-62120-3">https://doi.org/10.1007/978-3-319-62120-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402536 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Galmiche, Didier. editor.&#160;Schulz, Stephan. editor.&#160;Sebastiani, Roberto. 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-94205-6">https://doi.org/10.1007/978-3-319-94205-6</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> FluSHELL &ndash; A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers ent://SD_ILS/0/SD_ILS:402629 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Campelo, Hugo. 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-72703-5">https://doi.org/10.1007/978-3-319-72703-5</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Computer Science and Engineering&mdash;Theory and Applications ent://SD_ILS/0/SD_ILS:402632 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Emotion in Video Game Soundtracking ent://SD_ILS/0/SD_ILS:402638 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Williams, Duncan. editor.&#160;Lee, Newton. 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-72272-6">https://doi.org/10.1007/978-3-319-72272-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Communication of Design Proceedings of the AHFE 2017 International Conference on Human Factors in Communication of Design, July 17&minus;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:402650 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ho, Amic 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-60477-0">https://doi.org/10.1007/978-3-319-60477-0</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 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:402658 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-92043-6">https://doi.org/10.1007/978-3-319-92043-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobility of Visually Impaired People Fundamentals and ICT Assistive Technologies ent://SD_ILS/0/SD_ILS:402698 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Pissaloux, Edwige. editor.&#160;Velazquez, Ramiro. 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-54446-5">https://doi.org/10.1007/978-3-319-54446-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors and Ergonomics in Healthcare and Medical Devices Proceedings of the AHFE 2017 International Conferences on Human Factors and Ergonomics in Healthcare and Medical Devices, July 17&ndash;21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:402699 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Duffy, Vincent. editor.&#160;Lightner, Nancy. 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-60483-1">https://doi.org/10.1007/978-3-319-60483-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fog Computing Concepts, Frameworks and Technologies ent://SD_ILS/0/SD_ILS:402707 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mahmood, Zaigham. 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-94890-4">https://doi.org/10.1007/978-3-319-94890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24&ndash;27, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402725 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070&#160;Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95270-3">https://doi.org/10.1007/978-3-319-95270-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Java Programming ent://SD_ILS/0/SD_ILS:402735 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Ogihara, Mitsunori. 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-89491-1">https://doi.org/10.1007/978-3-319-89491-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 5G and E-Band Communication Circuits in Deep-Scaled CMOS ent://SD_ILS/0/SD_ILS:402742 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Vigilante, Marco. author.&#160;Reynaert, Patrick. 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-72646-5">https://doi.org/10.1007/978-3-319-72646-5</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks ent://SD_ILS/0/SD_ILS:399268 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> System and Architecture Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:399153 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches ent://SD_ILS/0/SD_ILS:399270 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Graph Data Management Fundamental Issues and Recent Developments ent://SD_ILS/0/SD_ILS:399277 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> 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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Neural Networks and Deep Learning A Textbook ent://SD_ILS/0/SD_ILS:399225 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Aggarwal, Charu C. 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-94463-0">https://doi.org/10.1007/978-3-319-94463-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cybersecurity in Germany ent://SD_ILS/0/SD_ILS:399230 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Schallbruch, Martin. author.&#160;Skierka, Isabel. 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-90014-8">https://doi.org/10.1007/978-3-319-90014-8</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Connectomics in NeuroImaging Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399293 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Wu, Guorong. editor.&#160;Rekik, Islem. editor.&#160;Schirmer, Markus D. editor.&#160;Chung, Ai Wern. editor. (orcid)0000-0002-0905-6698&#160;Munsell, Brent. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00755-3">https://doi.org/10.1007/978-3-030-00755-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399294 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Ferrante, Enzo. editor. (orcid)0000-0002-8500-788X&#160;Dalca, Adrian V. editor. (orcid)0000-0002-8422-0136&#160;Martel, Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00689-1">https://doi.org/10.1007/978-3-030-00689-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399296 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849&#160;Palmirani, Monica. editor. (orcid)0000-0002-8557-8084&#160;Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371&#160;Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398&#160;Villata, Serena. editor. (orcid)0000-0003-3495-493X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Family History Digital Libraries ent://SD_ILS/0/SD_ILS:399307 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z 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-030-01063-8">https://doi.org/10.1007/978-3-030-01063-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399324 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576&#160;Larsen, J&oslash;rgen Christian. editor. (orcid)0000-0002-4741-8290&#160;Xiong, Xiaofeng. editor.&#160;Hallam, John. editor.&#160;Triesch, Jochen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97628-0">https://doi.org/10.1007/978-3-319-97628-0</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/> Museum Experience Design Crowds, Ecosystems and Novel Technologies ent://SD_ILS/0/SD_ILS:399329 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Vermeeren, Arnold. editor.&#160;Calvi, Licia. editor.&#160;Sabiescu, Amalia. 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-58550-5">https://doi.org/10.1007/978-3-319-58550-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Personal Multimedia Preservation Remembering or Forgetting Images and Video ent://SD_ILS/0/SD_ILS:399330 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Mezaris, Vasileios. editor.&#160;Nieder&eacute;e, Claudia. editor.&#160;Logie, Robert H. 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-73465-1">https://doi.org/10.1007/978-3-319-73465-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered ent://SD_ILS/0/SD_ILS:399331 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Aiello, Marco. 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-90008-7">https://doi.org/10.1007/978-3-319-90008-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developing Support Technologies Integrating Multiple Perspectives to Create Assistance that People Really Want ent://SD_ILS/0/SD_ILS:399335 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Karafillidis, Athanasios. editor.&#160;Weidner, 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-030-01836-8">https://doi.org/10.1007/978-3-030-01836-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30&mdash;December 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399347 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Capkun, Srdjan. editor.&#160;Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399353 2024-12-18T21:20:55Z 2024-12-18T21:20:55Z Author&#160;Lahiri, Shuvendu K. editor.&#160;Wang, Chao. 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-01090-4">https://doi.org/10.1007/978-3-030-01090-4</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-12-18T21:20:55Z 2024-12-18T21:20:55Z 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/>