Search Results for Computer science - Narrowed by: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300$0026isd$003dtrue? 2024-10-31T21:47:30Z Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485525 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Hirsch, Edward. editor.&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Pin, Jean-&Eacute;ric. editor.&#160;Vereshchagin, Nikolay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487680 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487329 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Diaz, Josep. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;Sangiorgi, Davide. 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-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2017 ent://SD_ILS/0/SD_ILS:484841 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ao, Sio-Iong. editor.&#160;Kim, Haeng Kon. editor.&#160;Amouzegar, Mahyar A. 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-2191-7">https://doi.org/10.1007/978-981-13-2191-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Representation Theorems in Computer Science A Treatment in Logic Engineering ent://SD_ILS/0/SD_ILS:486368 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;&Ouml;z&ccedil;ep, &Ouml;zg&uuml;r L&uuml;tf&uuml;. 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-25785-9">https://doi.org/10.1007/978-3-030-25785-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013 ent://SD_ILS/0/SD_ILS:488188 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Kim, Haeng Kon. editor.&#160;Ao, Sio-Iong. editor.&#160;Amouzegar, Mahyar A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-017-9115-1">https://doi.org/10.1007/978-94-017-9115-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of logic and proof techniques for computer science ent://SD_ILS/0/SD_ILS:75778 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Krantz, Steven George, 1951-<br/>Preferred Shelf Number&#160;QA 76 K723 2002<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A century of electrical engineering and computer science at MIT, 1882-1982 ent://SD_ILS/0/SD_ILS:220129 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Wildes, Karl L.&#160;Lindgren, Nilo A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267505">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267505</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Kolmogorov Complexity and Its Applications ent://SD_ILS/0/SD_ILS:483245 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Li, Ming. author.&#160;Vit&aacute;nyi, Paul. 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-11298-1">https://doi.org/10.1007/978-3-030-11298-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia QoE Evaluation ent://SD_ILS/0/SD_ILS:483268 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Wei, Xin. author.&#160;Zhou, Liang. 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-23350-1">https://doi.org/10.1007/978-3-030-23350-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Primer on Quantum Computing ent://SD_ILS/0/SD_ILS:483315 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;de Lima Marquezino, Franklin. author.&#160;Portugal, Renato. author.&#160;Lavor, Carlile. 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-19066-8">https://doi.org/10.1007/978-3-030-19066-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Communications Networks for the Smart Grid ent://SD_ILS/0/SD_ILS:486161 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ho, Quang-Dung. author.&#160;Gao, Yue. author.&#160;Rajalingham, Gowdemy. author.&#160;Le-Ngoc, Tho. 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-10347-1">https://doi.org/10.1007/978-3-319-10347-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Related Technologies, Challenges and Future Prospects ent://SD_ILS/0/SD_ILS:486162 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Chen, Min. author.&#160;Mao, Shiwen. author.&#160;Zhang, Yin. author.&#160;Leung, Victor C.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-06245-7">https://doi.org/10.1007/978-3-319-06245-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Channel Estimation for Physical Layer Network Coding Systems ent://SD_ILS/0/SD_ILS:489552 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gao, Feifei. author.&#160;Xing, Chengwen. author.&#160;Wang, Gongpu. 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-11668-6">https://doi.org/10.1007/978-3-319-11668-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Wireless Environments: Detecting and Localizing User Spoofing ent://SD_ILS/0/SD_ILS:488438 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Yang, Jie. author.&#160;Chen, Yingying. author.&#160;Trappe, Wade. author.&#160;Cheng, Jerry. 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-07356-9">https://doi.org/10.1007/978-3-319-07356-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maritime Wideband Communication Networks Video Transmission Scheduling ent://SD_ILS/0/SD_ILS:485571 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Yang, Tingting. author.&#160;Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07362-0">https://doi.org/10.1007/978-3-319-07362-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Hardening An Automated Approach to Improving Network Security ent://SD_ILS/0/SD_ILS:486885 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Wang, Lingyu. author.&#160;Albanese, Massimiliano. author.&#160;Jajodia, Sushil. 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-04612-9">https://doi.org/10.1007/978-3-319-04612-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Radio Networks Dynamic Resource Allocation Schemes ent://SD_ILS/0/SD_ILS:487417 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Wang, Shaowei. 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-08936-2">https://doi.org/10.1007/978-3-319-08936-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Coordinated Multicell Systems Architectures and Precoding Designs ent://SD_ILS/0/SD_ILS:487575 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Nguyen, Duy H. N. author.&#160;Le-Ngoc, Tho. 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-06337-9">https://doi.org/10.1007/978-3-319-06337-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27&ndash;28, 2018, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:486015 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Mandal, Jyotsna Kumar. editor.&#160;Mukhopadhyay, Somnath. editor.&#160;Dutta, Paramartha. editor.&#160;Dasgupta, Kousik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-8578-0">https://doi.org/10.1007/978-981-13-8578-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27&ndash;28, 2018, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:486838 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Mandal, Jyotsna Kumar. editor.&#160;Mukhopadhyay, Somnath. editor.&#160;Dutta, Paramartha. editor.&#160;Dasgupta, Kousik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-8581-0">https://doi.org/10.1007/978-981-13-8581-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12&ndash;13, 2019, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:483873 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Singh, Mayank. editor.&#160;Gupta, P.K. editor.&#160;Tyagi, Vipin. editor.&#160;Flusser, Jan. editor.&#160;&Ouml;ren, Tuncer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-9939-8">https://doi.org/10.1007/978-981-13-9939-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485469 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905&#160;Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573&#160;Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33394-2">https://doi.org/10.1007/978-3-030-33394-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7&ndash;9, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486359 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Li, Deng-Feng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0657-4">https://doi.org/10.1007/978-981-15-0657-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489206 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Pardo, Alberto. editor.&#160;Viola, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54423-1">https://doi.org/10.1007/978-3-642-54423-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489045 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Beckmann, Arnold. editor.&#160;Csuhaj-Varj&uacute;, Ers&eacute;bet. 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-319-08019-2">https://doi.org/10.1007/978-3-319-08019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489079 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Hong, Hoon. editor.&#160;Yap, Chee. 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-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482895 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Duarte-Gonz&aacute;lez, Mario. editor.&#160;Jaramillo-Isaza, Sebasti&aacute;n. editor. (orcid)0000-0002-2134-772X&#160;Orjuela-Ca&ntilde;on, Alvaro David. editor. (orcid)0000-0002-2057-7603&#160;D&iacute;az-Gutierrez, Yesid. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:482916 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482993 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939&#160;Goodman, Erik. editor.&#160;Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X&#160;Klamroth, Kathrin. editor.&#160;Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12598-1">https://doi.org/10.1007/978-3-030-12598-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Privacy Second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January, 9&ndash;11, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483112 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Nandi, Sukumar. editor.&#160;Jinwala, Devesh. editor.&#160;Singh, Virendra. editor.&#160;Laxmi, Vijay. editor.&#160;Gaur, Manoj Singh. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7561-3">https://doi.org/10.1007/978-981-13-7561-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483235 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20656-7">https://doi.org/10.1007/978-3-030-20656-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:483257 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Lutz, Carsten. editor.&#160;Sattler, Uli. editor.&#160;Tinelli, Cesare. editor.&#160;Turhan, Anni-Yasmin. editor.&#160;Wolter, Frank. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483514 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22741-8">https://doi.org/10.1007/978-3-030-22741-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15&ndash;16, 2019, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:483888 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Luhach, Ashish Kumar. editor.&#160;Jat, Dharm Singh. editor.&#160;Hawari, Kamarul Bin Ghazali. editor.&#160;Gao, Xiao-Zhi. editor.&#160;Lingras, Pawan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0108-1">https://doi.org/10.1007/978-981-15-0108-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;&Ouml;lveczky, Peter Csaba. 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-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484655 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:485087 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22747-0">https://doi.org/10.1007/978-3-030-22747-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:485088 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22750-0">https://doi.org/10.1007/978-3-030-22750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14&ndash;15, 2018, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:485951 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Luhach, Ashish Kumar. editor.&#160;Singh, Dharm. editor.&#160;Hsiung, Pao-Ann. editor.&#160;Hawari, Kamarul Bin Ghazali. editor.&#160;Lingras, Pawan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3143-5">https://doi.org/10.1007/978-981-13-3143-5</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-10-31T21:47:30Z 2024-10-31T21:47:30Z 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-10-31T21:47:30Z 2024-10-31T21:47:30Z 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/> Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberl&acirc;ndia, Brazil, May 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486048 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040&#160;Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160&#160;Zarpel&atilde;o, Bruno. editor. (orcid)0000-0001-9172-3578&#160;Rosas, Erika. editor. (orcid)0000-0003-0377-0193&#160;Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19223-5">https://doi.org/10.1007/978-3-030-19223-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almer&iacute;a, Spain, June 3&ndash;7, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486103 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19651-6">https://doi.org/10.1007/978-3-030-19651-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:486113 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22744-9">https://doi.org/10.1007/978-3-030-22744-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2019 19th International Conference, Faro, Portugal, June 12&ndash;14, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486236 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rodrigues, Jo&atilde;o M. F. editor. (orcid)0000-0002-3562-6025&#160;Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964&#160;Monteiro, J&acirc;nio. editor. (orcid)0000-0002-4203-1679&#160;Lam, Roberto. editor. (orcid)0000-0003-4297-2441&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22734-0">https://doi.org/10.1007/978-3-030-22734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data 7th CCF Conference, BigData 2019, Wuhan, China, September 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486289 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Jin, Hai. editor.&#160;Lin, Xuemin. editor.&#160;Cheng, Xueqi. editor.&#160;Shi, Xuanhua. editor.&#160;Xiao, Nong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1899-7">https://doi.org/10.1007/978-981-15-1899-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486304 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486307 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699&#160;de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10&ndash;12, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486449 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Alfaries, Auhood. editor.&#160;Mengash, Hanan. editor.&#160;Yasar, Ansar. editor. (orcid)0000-0002-1542-2658&#160;Shakshuki, Elhadi. 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-36368-0">https://doi.org/10.1007/978-3-030-36368-0</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-10-31T21:47:30Z 2024-10-31T21:47:30Z 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/> Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almer&iacute;a, Spain, June 3&ndash;7, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486602 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez-S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;de la Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Javier. editor.&#160;Adeli, Hojjat. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19591-5">https://doi.org/10.1007/978-3-030-19591-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning Technology for Education Challenges 8th International Workshop, LTEC 2019, Zamora, Spain, July 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486631 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Uden, Lorna. editor.&#160;Liberona, Dario. editor.&#160;Sanchez, Galo. editor.&#160;Rodr&iacute;guez-Gonz&aacute;lez, Sara. 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-20798-4">https://doi.org/10.1007/978-3-030-20798-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12&ndash;15, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:486690 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gedeon, Tom. editor. (orcid)0000-0001-8356-4909&#160;Wong, Kok Wai. editor.&#160;Lee, Minho. editor. (orcid)0000-0002-0441-7087&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36802-9">https://doi.org/10.1007/978-3-030-36802-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creativity in Intelligent Technologies and Data Science Third Conference, CIT&amp;DS 2019, Volgograd, Russia, September 16&ndash;19, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486839 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Kravets, Alla G. editor. (orcid)0000-0003-1675-8652&#160;Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696&#160;Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499&#160;Kultsova, Marina. editor. (orcid)0000-0002-2584-431X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29743-5">https://doi.org/10.1007/978-3-030-29743-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geographical Information Systems Theory, Applications and Management Third International Conference, GISTAM 2017, Porto, Portugal, April 27&ndash;28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486840 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ragia, Lemonia. editor.&#160;Laurini, Robert. editor.&#160;Rocha, Jorge Gustavo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-06010-7">https://doi.org/10.1007/978-3-030-06010-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10&ndash;12, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486850 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Alfaries, Auhood. editor.&#160;Mengash, Hanan. editor.&#160;Yasar, Ansar. editor. (orcid)0000-0002-1542-2658&#160;Shakshuki, Elhadi. 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-36365-9">https://doi.org/10.1007/978-3-030-36365-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29&ndash;31, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486966 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550&#160;Z&uacute;&ntilde;iga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813&#160;D&rsquo;Armas, Mayra. editor.&#160;Z&uacute;&ntilde;iga S&aacute;nchez, Miguel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05532-5">https://doi.org/10.1007/978-3-030-05532-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-informatics in Sustainable Ecosystem and Society 6th International Conference, GSES 2018, Handan, China, September 25&ndash;26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486985 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Xie, Yichun. editor. (orcid)0000-0002-2045-6406&#160;Zhang, Anbing. editor.&#160;Liu, Haixin. editor.&#160;Feng, Lili. 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-7025-0">https://doi.org/10.1007/978-981-13-7025-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3&ndash;5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:486994 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356&#160;Mu&ntilde;ante, Denisse. editor. (orcid)0000-0003-2621-8342&#160;Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11680-4">https://doi.org/10.1007/978-3-030-11680-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15&ndash;16, 2019, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:486999 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Luhach, Ashish Kumar. editor.&#160;Jat, Dharm Singh. editor.&#160;Hawari, Kamarul Bin Ghazali. editor.&#160;Gao, Xiao-Zhi. editor.&#160;Lingras, Pawan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0111-1">https://doi.org/10.1007/978-981-15-0111-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-10-31T21:47:30Z 2024-10-31T21:47:30Z 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/> Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:482972 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Barzola-Monteses, Julio. editor.&#160;Santos-Baquerizo, Eduardo. editor.&#160;Espinoza-Andaluz, Mayken. editor.&#160;Y&aacute;nez-Pazmi&ntilde;o, Wendy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12018-4">https://doi.org/10.1007/978-3-030-12018-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22&ndash;24, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483576 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Shankar Sriram, V. S. editor. (orcid)0000-0001-7870-7944&#160;Subramaniyaswamy, V. editor.&#160;Sasikaladevi, N. editor. (orcid)0000-0002-0841-502X&#160;Zhang, Leo. editor.&#160;Batten, Lynn. editor. (orcid)0000-0003-4525-2423<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0871-4">https://doi.org/10.1007/978-981-15-0871-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Systems, Algorithms and Networks 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483579 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Esposito, Christian. editor.&#160;Hong, Jiman. editor.&#160;Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30143-9">https://doi.org/10.1007/978-3-030-30143-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483688 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. 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-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 17th International Conference, ISSA 2018, Pretoria, South Africa, August 15&ndash;16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483660 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Venter, Hein. editor. (orcid)0000-0002-3607-8630&#160;Loock, Marianne. editor. (orcid)0000-0001-8005-716X&#160;Coetzee, Marijke. editor. (orcid)0000-0002-9157-3079&#160;Eloff, Mariki. editor. (orcid)0000-0001-8997-7931&#160;Eloff, Jan. editor. (orcid)0000-0003-4683-2198<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11407-7">https://doi.org/10.1007/978-3-030-11407-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483667 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Biagioni, Edoardo S. editor.&#160;Zheng, Yao. editor.&#160;Cheng, Siyao. 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-23597-0">https://doi.org/10.1007/978-3-030-23597-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483907 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Filiot, Emmanuel. editor.&#160;Jungers, Rapha&euml;l. editor.&#160;Potapov, Igor. 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-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creativity in Intelligent Technologies and Data Science Third Conference, CIT&amp;DS 2019, Volgograd, Russia, September 16&ndash;19, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483868 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Kravets, Alla G. editor. (orcid)0000-0003-1675-8652&#160;Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696&#160;Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499&#160;Kultsova, Marina. editor. (orcid)0000-0002-2584-431X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29750-3">https://doi.org/10.1007/978-3-030-29750-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484898 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Piattini, Mario. editor. (orcid)0000-0002-7212-8279&#160;Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248&#160;Garc&iacute;a Rodr&iacute;guez de Guzm&aacute;n, Ignacio. editor. (orcid)0000-0002-0038-0942&#160;P&eacute;rez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29238-6">https://doi.org/10.1007/978-3-030-29238-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484905 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rousseau, Louis-Martin. editor.&#160;Stergiou, Kostas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19212-9">https://doi.org/10.1007/978-3-030-19212-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485040 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X&#160;Das, Pradip Kumar. editor.&#160;Kharb, Latika. editor.&#160;Chahal, Deepak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1384-8">https://doi.org/10.1007/978-981-15-1384-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24&ndash;27, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485050 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Zhu, Xiaoyan. editor.&#160;Qin, Bing. editor.&#160;Zhu, Xiaodan. editor.&#160;Liu, Ming. editor.&#160;Qian, Longhua. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1956-7">https://doi.org/10.1007/978-981-15-1956-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29&ndash;30, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485425 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Dugulean&#259;, Mihai. editor.&#160;Carrozzino, Marcello. editor.&#160;Gams, Matja&#382;. editor.&#160;Tanea, Iulian. 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-05819-7">https://doi.org/10.1007/978-3-030-05819-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485426 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Hammoudi, Slimane. editor.&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Selic, Bran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11030-7">https://doi.org/10.1007/978-3-030-11030-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Modern Agricultural Development 8th International Conference, HAICTA 2017, Chania, Crete, Greece, September 21&ndash;24, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485427 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Salampasis, Michail. editor.&#160;Bournaris, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12998-9">https://doi.org/10.1007/978-3-030-12998-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485468 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Dama&scaron;evi&#269;ius, Robertas. editor.&#160;Vasiljevien&#279;, Giedr&#279;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30275-7">https://doi.org/10.1007/978-3-030-30275-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482816 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Villaz&oacute;n-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887&#160;Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21395-4">https://doi.org/10.1007/978-3-030-21395-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Social Data and Urban Computing First Workshop, BiDU 2018, Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483590 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Oliveira, Jonice. editor. (orcid)0000-0002-2495-1463&#160;Farias, Claudio M. editor.&#160;Pacitti, Esther. editor.&#160;Fortino, Giancarlo. 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-11238-7">https://doi.org/10.1007/978-3-030-11238-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483549 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Coecke, Bob. editor. (orcid)0000-0002-5310-8723&#160;Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Security and Privacy 4th International Conference, ICISSP 2018, Funchal - Madeira, Portugal, January 22-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483447 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Mori, Paolo. editor. (orcid)0000-0002-6618-0388&#160;Furnell, Steven. editor. (orcid)0000-0003-0984-7542&#160;Camp, Olivier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25109-3">https://doi.org/10.1007/978-3-030-25109-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484045 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. 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-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Mental Workload: Models and Applications Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14&ndash;15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484780 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Longo, Luca. editor. (orcid)0000-0002-2718-5426&#160;Leva, Maria Chiara. editor. (orcid)0000-0002-6770-8332&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32423-0">https://doi.org/10.1007/978-3-030-32423-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra, Codes and Cryptology First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484860 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gueye, Cheikh Thiecoumba. editor.&#160;Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X&#160;Cayrel, Pierre-Louis. editor.&#160;Buchmann, 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-36237-9">https://doi.org/10.1007/978-3-030-36237-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485820 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ganty, Pierre. editor. (orcid)0000-0002-3625-6003&#160;Ka&acirc;niche, Mohamed. editor. (orcid)0000-0002-2647-5472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23&ndash;24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485859 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Damiani, Ernesto. editor.&#160;Spanoudakis, George. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22559-9">https://doi.org/10.1007/978-3-030-22559-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, Music and Computing Second International Workshop, LMAC 2017, St. Petersburg, Russia, April 17&ndash;19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485881 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Eismont, Polina. editor. (orcid)0000-0002-0595-1847&#160;Mitrenina, Olga. editor. (orcid)0000-0002-1750-5633&#160;Pereltsvaig, Asya. editor. (orcid)0000-0003-2018-6896&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05594-3">https://doi.org/10.1007/978-3-030-05594-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486432 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Longo, Luca. editor. (orcid)0000-0002-2718-5426&#160;Leva, M. Chiara. 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-14273-5">https://doi.org/10.1007/978-3-030-14273-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:486859 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Alvim, M&aacute;rio S. editor.&#160;Chatzikokolakis, Kostas. editor.&#160;Olarte, Carlos. editor.&#160;Valencia, Frank. 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-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16&ndash;18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486707 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ning, Huansheng. editor. (orcid)0000-0001-6413-193X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1922-2">https://doi.org/10.1007/978-981-15-1922-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16&ndash;18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486708 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ning, Huansheng. editor. (orcid)0000-0001-6413-193X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1925-3">https://doi.org/10.1007/978-981-15-1925-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14&ndash;15, 2018, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:486732 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Luhach, Ashish Kumar. editor.&#160;Singh, Dharm. editor.&#160;Hsiung, Pao-Ann. editor.&#160;Hawari, Kamarul Bin Ghazali. editor.&#160;Lingras, Pawan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3140-4">https://doi.org/10.1007/978-981-13-3140-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485515 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gopal, T V. editor.&#160;Agrawal, Manindra. editor.&#160;Li, Angsheng. editor.&#160;Cooper, S. Barry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485637 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;J&uuml;rgensen, Helmut. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Okhotin, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485551 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Kozielski, Stanislaw. editor.&#160;Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656&#160;Kasprowski, Pawel. editor.&#160;Ma&#322;ysiak-Mrozek, Bo&#380;ena. editor.&#160;Kostrzewa, Daniel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06932-6">https://doi.org/10.1007/978-3-319-06932-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings ent://SD_ILS/0/SD_ILS:485687 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Bartz-Beielstein, Thomas. editor.&#160;Branke, Juergen. editor.&#160;Filipi&#269;, Bogdan. editor. (orcid)0000-0003-4428-4255&#160;Smith, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10762-2">https://doi.org/10.1007/978-3-319-10762-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485694 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Wermter, Stefan. editor.&#160;Weber, Cornelius. editor.&#160;Duch, Wlodzislaw. editor.&#160;Honkela, Timo. editor.&#160;Koprinkova-Hristova, Petia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11179-7">https://doi.org/10.1007/978-3-319-11179-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485696 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Murata, Satoshi. editor.&#160;Kobayashi, Satoshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11295-4">https://doi.org/10.1007/978-3-319-11295-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485712 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Was, Jaroslaw. editor.&#160;Sirakoulis, Georgios. editor.&#160;Bandini, Stefania. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485783 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Escobar, Santiago. editor. (orcid)0000-0002-3550-4781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:485823 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Bolikowski, &#321;ukasz. editor.&#160;Casarosa, Vittore. editor.&#160;Goodale, Paula. editor.&#160;Houssos, Nikos. editor.&#160;Manghi, Paolo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08425-1">https://doi.org/10.1007/978-3-319-08425-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485742 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Kravets, Alla. editor. (orcid)0000-0003-1675-8652&#160;Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499&#160;Kultsova, Marina. editor. (orcid)0000-0002-2584-431X&#160;Iijima, Tadashi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485756 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Grandinetti, Lucio. editor.&#160;Lippert, Thomas. editor.&#160;Petkov, Nicolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12084-3">https://doi.org/10.1007/978-3-319-12084-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488980 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489012 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Holzer, Markus. editor.&#160;Kutrib, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08846-4">https://doi.org/10.1007/978-3-319-08846-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives ent://SD_ILS/0/SD_ILS:489092 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Anderson, Neal G. editor.&#160;Bhanja, Sanjukta. 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-43722-3">https://doi.org/10.1007/978-3-662-43722-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489095 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Shur, Arseny M. editor.&#160;Volkov, Mikhail 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-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488965 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Bensalem, Saddek. editor.&#160;Lakhnech, Yassine. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488966 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. 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-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488970 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Esparcia-Alc&aacute;zar, Anna I. editor.&#160;Mora, Antonio M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45523-4">https://doi.org/10.1007/978-3-662-45523-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers ent://SD_ILS/0/SD_ILS:489067 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Atmanspacher, Harald. editor.&#160;Haven, Emmanuel. editor.&#160;Kitto, Kirsty. editor.&#160;Raine, Derek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54943-4">https://doi.org/10.1007/978-3-642-54943-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:489074 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Calude, Cristian S. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kazuo, Iwama. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13350-8">https://doi.org/10.1007/978-3-319-13350-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday ent://SD_ILS/0/SD_ILS:489515 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Casadio, Claudia. editor.&#160;Coecke, Bob. editor.&#160;Moortgat, Michael. editor.&#160;Scott, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485622 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Sinz, Carsten. editor.&#160;Egly, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485634 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Legay, Axel. editor.&#160;Bozga, Marius. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485472 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Sierra-Rodr&iacute;guez, Jos&eacute;-Luis. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487246 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487476 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487785 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ibarra, Oscar H. editor.&#160;Kari, Lila. editor.&#160;Kopecki, Steffen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08123-6">https://doi.org/10.1007/978-3-319-08123-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487787 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X&#160;Resende, Mauricio G.C. editor.&#160;Vogiatzis, Chrysafis. editor.&#160;Walteros, Jose 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-09584-4">https://doi.org/10.1007/978-3-319-09584-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 14th International Conference, CMC 2013, Chi&#351;in&#259;u, Republic of Moldova, August 20-23, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487795 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Alhazov, Artiom. editor.&#160;Cojocaru, Svetlana. editor.&#160;Gheorghe, Marian. editor.&#160;Rogozhin, Yurii. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54239-8">https://doi.org/10.1007/978-3-642-54239-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487827 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Tan, Tieniu. editor.&#160;Ruan, Qiuqi. editor.&#160;Wang, Shengjin. editor.&#160;Ma, Huimin. editor.&#160;Huang, Kaiqi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45498-5">https://doi.org/10.1007/978-3-662-45498-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487888 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Boniol, Frederic. editor.&#160;Wiels, Virginie. editor.&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:487917 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z 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-07857-1">https://doi.org/10.1007/978-3-319-07857-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:487944 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z 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-07854-0">https://doi.org/10.1007/978-3-319-07854-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Design for Natural Scientists An Agile Model-Driven Approach ent://SD_ILS/0/SD_ILS:488739 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;Margaria, Tiziana. 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-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489063 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Bacon, Dave. editor.&#160;Martin-Delgado, Miguel. editor.&#160;Roetteler, 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-642-54429-3">https://doi.org/10.1007/978-3-642-54429-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489069 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Sos&iacute;k, Petr. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14370-5">https://doi.org/10.1007/978-3-319-14370-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings ent://SD_ILS/0/SD_ILS:485812 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Dick, Grant. editor.&#160;Browne, Will N. editor.&#160;Whigham, Peter. editor.&#160;Zhang, Mengjie. editor.&#160;Bui, Lam Thu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13563-2">https://doi.org/10.1007/978-3-319-13563-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:486911 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Legrand, Pierrick. editor.&#160;Corsini, Marc-Michel. editor.&#160;Hao, Jin-Kao. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Lutton, Evelyne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11683-9">https://doi.org/10.1007/978-3-319-11683-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487418 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;McMillan, Kenneth. editor.&#160;Rival, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487501 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487519 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Lozano, Manuel. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487641 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Siarry, Patrick. editor.&#160;Idoumghar, Lhassane. editor.&#160;Lepagnot, Julien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12970-9">https://doi.org/10.1007/978-3-319-12970-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487725 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Nicolau, Miguel. editor.&#160;Krawiec, Krzysztof. editor.&#160;Heywood, Malcolm I. editor.&#160;Castelli, Mauro. 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-662-44303-3">https://doi.org/10.1007/978-3-662-44303-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488042 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Li, Kenli. editor.&#160;Xiao, Zheng. editor.&#160;Wang, Yan. editor.&#160;Du, Jiayi. editor.&#160;Li, Keqin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-53962-6">https://doi.org/10.1007/978-3-642-53962-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489135 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Shi, Xiaodong. editor.&#160;Chen, Yidong. 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-45701-6">https://doi.org/10.1007/978-3-662-45701-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489141 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374&#160;Winands, Mark H.M. editor.&#160;Iida, Hiroyuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05428-5">https://doi.org/10.1007/978-3-319-05428-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489154 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374&#160;Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824&#160;Bj&ouml;rnsson, Yngvi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14923-3">https://doi.org/10.1007/978-3-319-14923-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489459 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Tanaka, Satoshi. editor.&#160;Hasegawa, Kyoko. editor.&#160;Xu, Rui. editor.&#160;Sakamoto, Naohisa. editor.&#160;Turner, Stephen John. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45289-9">https://doi.org/10.1007/978-3-662-45289-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488937 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Aguilera, Marcos K. editor.&#160;Querzoni, Leonardo. editor.&#160;Shapiro, 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-14472-6">https://doi.org/10.1007/978-3-319-14472-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488949 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Muscholl, Anca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:489053 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489310 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ouaknine, Joel. editor.&#160;Potapov, Igor. editor.&#160;Worrell, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online 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-10-31T21:47:30Z 2024-10-31T21:47:30Z 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/> Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1&ndash;5, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483128 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Hofheinz, Dennis. editor.&#160;Rosen, Alon. 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-36033-7">https://doi.org/10.1007/978-3-030-36033-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Post-Quantum Cryptography 10th International Conference, PQCrypto 2019, Chongqing, China, May 8&ndash;10, 2019 Revised Selected Papers ent://SD_ILS/0/SD_ILS:483295 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ding, Jintai. editor.&#160;Steinwandt, Rainer. 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-25510-7">https://doi.org/10.1007/978-3-030-25510-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Libraries at the Crossroads of Digital Information for the Future 21st International Conference on Asia-Pacific Digital Libraries, ICADL 2019, Kuala Lumpur, Malaysia, November 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483319 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Jatowt, Adam. editor. (orcid)0000-0001-7235-0665&#160;Maeda, Akira. editor. (orcid)0000-0002-5494-132X&#160;Syn, Sue Yeon. editor. (orcid)0000-0002-3632-5160&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34058-2">https://doi.org/10.1007/978-3-030-34058-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484528 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Boldyreva, Alexandra. editor.&#160;Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26948-7">https://doi.org/10.1007/978-3-030-26948-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485295 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261&#160;Gee, James C. editor. (orcid)0000-0002-2258-0187&#160;Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016&#160;Bao, Siqi. editor. (orcid)0000-0003-3885-125X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20351-1">https://doi.org/10.1007/978-3-030-20351-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business and Consumer Analytics: New Ideas ent://SD_ILS/0/SD_ILS:485259 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Moscato, Pablo. editor.&#160;de Vries, Natalie Jane. 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-06222-4">https://doi.org/10.1007/978-3-030-06222-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1&ndash;5, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486060 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Hofheinz, Dennis. editor.&#160;Rosen, Alon. 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-36030-6">https://doi.org/10.1007/978-3-030-36030-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI for Cybersecurity, Privacy and Trust First International Conference, HCI-CPT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486117 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Moallem, Abbas. 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-22351-9">https://doi.org/10.1007/978-3-030-22351-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography ent://SD_ILS/0/SD_ILS:486150 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Paakki, Jukka. 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-16049-4">https://doi.org/10.1007/978-3-030-16049-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Modeling of Speech Processing and Speech Learning An Introduction ent://SD_ILS/0/SD_ILS:486198 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Kr&ouml;ger, Bernd J. author.&#160;Bekolay, Trevor. 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-15853-8">https://doi.org/10.1007/978-3-030-15853-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Broadband Communications, Networks, and Systems 9th International EAI Conference, Broadnets 2018, Faro, Portugal, September 19&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:486242 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Sucasas, Victor. editor. (orcid)0000-0002-7981-401X&#160;Mantas, Georgios. editor. (orcid)0000-0002-8074-0417&#160;Althunibat, Saud. editor. (orcid)0000-0002-5017-5007&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05195-2">https://doi.org/10.1007/978-3-030-05195-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486315 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Pereira, Jos&eacute;. editor. (orcid)0000-0002-3341-9217&#160;Ricci, Laura. editor. (orcid)0000-0002-8179-8215&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22496-7">https://doi.org/10.1007/978-3-030-22496-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18&ndash;22, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486319 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Goldberg, Ian. editor.&#160;Moore, Tyler. editor. (orcid)0000-0002-8771-8191&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32101-7">https://doi.org/10.1007/978-3-030-32101-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26&ndash;28, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:486379 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Sun, Xingming. editor. (orcid)0000-0003-1390-399X&#160;Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X&#160;Bertino, Elisa. editor. (orcid)0000-0002-4029-7051&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24268-8">https://doi.org/10.1007/978-3-030-24268-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency XIV ent://SD_ILS/0/SD_ILS:486990 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Koutny, Maciej. editor.&#160;Pomello, Lucia. editor.&#160;Kristensen, Lars 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-60651-3">https://doi.org/10.1007/978-3-662-60651-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487066 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Krimmer, Robert. editor. (orcid)0000-0002-0873-539X&#160;Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043&#160;Cortier, Veronique. editor.&#160;Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291&#160;K&uuml;sters, Ralf. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30625-0">https://doi.org/10.1007/978-3-030-30625-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers ent://SD_ILS/0/SD_ILS:482709 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810&#160;Horne, Ross. editor. (orcid)0000-0003-0162-1901&#160;Probst, Christian W. 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-36537-0">https://doi.org/10.1007/978-3-030-36537-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXXIII ent://SD_ILS/0/SD_ILS:482949 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;Kowalczyk, Ryszard. editor.&#160;Xhafa, Fatos. 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-59540-4">https://doi.org/10.1007/978-3-662-59540-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483389 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Boldyreva, Alexandra. editor.&#160;Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26951-7">https://doi.org/10.1007/978-3-030-26951-7</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 I ent://SD_ILS/0/SD_ILS:483569 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z 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-34578-5">https://doi.org/10.1007/978-3-030-34578-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27&ndash;29, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484667 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Karray, Fakhri. editor. (orcid)0000-0002-4217-1372&#160;Campilho, Aur&eacute;lio. editor. (orcid)0000-0002-5317-6275&#160;Yu, Alfred. editor. (orcid)0000-0002-8604-0219&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27202-9">https://doi.org/10.1007/978-3-030-27202-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:485008 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rojas, Ignacio. editor.&#160;Valenzuela, Olga. editor.&#160;Rojas, Fernando. editor.&#160;Ortu&ntilde;o, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17938-0">https://doi.org/10.1007/978-3-030-17938-0</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-10-31T21:47:30Z 2024-10-31T21:47:30Z 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/> Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482878 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183&#160;Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31919-9">https://doi.org/10.1007/978-3-030-31919-9</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-10-31T21:47:30Z 2024-10-31T21:47:30Z 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/> Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484690 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Crestani, Fabio. editor. (orcid)0000-0001-8672-0700&#160;Braschler, Martin. editor.&#160;Savoy, Jacques. editor. (orcid)0000-0002-4486-0067&#160;Rauber, Andreas. editor.&#160;M&uuml;ller, Henning. editor. (orcid)0000-0001-6800-9878<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28577-7">https://doi.org/10.1007/978-3-030-28577-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:484878 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Boldyreva, Alexandra. editor.&#160;Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26954-8">https://doi.org/10.1007/978-3-030-26954-8</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 III ent://SD_ILS/0/SD_ILS:484959 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z 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-34618-8">https://doi.org/10.1007/978-3-030-34618-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485649 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Rojas, Ignacio. editor.&#160;Valenzuela, Olga. editor.&#160;Rojas, Fernando. editor.&#160;Ortu&ntilde;o, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17935-9">https://doi.org/10.1007/978-3-030-17935-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Cryptology 14th International Conference, Inscrypt 2018, Fuzhou, China, December 14-17, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485829 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Guo, Fuchun. editor. (orcid)0000-0001-6939-7710&#160;Huang, Xinyi. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14234-6">https://doi.org/10.1007/978-3-030-14234-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485594 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Holz, Thorsten. editor. (orcid)0000-0002-2783-1264&#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-319-08593-7">https://doi.org/10.1007/978-3-319-08593-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 13th China National Conference, CCL 2014, and First International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487017 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Sun, Maosong. editor.&#160;Liu, Yang. editor.&#160;Zhao, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12277-9">https://doi.org/10.1007/978-3-319-12277-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487033 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Mendes, Pedro. editor.&#160;Dada, Joseph O. editor.&#160;Smallbone, Kieran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San Jos&eacute;, Costa Rica, May 6-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488881 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Corral, Luis. editor.&#160;Sillitti, Alberto. editor.&#160;Succi, Giancarlo. editor.&#160;Vlasenko, Jelena. editor.&#160;Wasserman, Anthony I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures ent://SD_ILS/0/SD_ILS:488996 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Aldini, Alessandro. editor.&#160;Lopez, Javier. editor.&#160;Martinelli, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10082-1">https://doi.org/10.1007/978-3-319-10082-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:489016 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Sarkar, Palash. editor.&#160;Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45611-8">https://doi.org/10.1007/978-3-662-45611-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. ent://SD_ILS/0/SD_ILS:489085 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Yoshida, Hiroyuki. editor.&#160;N&auml;ppi, Janne J. editor.&#160;Saini, Sanjay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13692-9">https://doi.org/10.1007/978-3-319-13692-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488975 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Lindell, Yehuda. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54242-8">https://doi.org/10.1007/978-3-642-54242-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489173 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Bazzan, Ana L.C. editor.&#160;Pichara, Karim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12027-0">https://doi.org/10.1007/978-3-319-12027-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Regulated Grammars and Automata ent://SD_ILS/0/SD_ILS:489527 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Meduna, Alexander. author.&#160;Zemek, Petr. 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-0369-6">https://doi.org/10.1007/978-1-4939-0369-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013 ent://SD_ILS/0/SD_ILS:485061 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589&#160;Thoai, Nam. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45947-8">https://doi.org/10.1007/978-3-662-45947-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485473 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;J&uuml;rjens, Jan. editor.&#160;Piessens, Frank. editor.&#160;Bielova, Nataliia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Code Breaking in the Pacific ent://SD_ILS/0/SD_ILS:488233 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Donovan, Peter. author.&#160;Mack, 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-08278-3">https://doi.org/10.1007/978-3-319-08278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symmetric Cryptographic Protocols ent://SD_ILS/0/SD_ILS:488387 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ramkumar, Mahalingam. 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-07584-6">https://doi.org/10.1007/978-3-319-07584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Authentication in Insecure Environments Using Visual Cryptography and Non-Transferable Credentials in Practise ent://SD_ILS/0/SD_ILS:488308 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Pape, Sebastian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-07116-5">https://doi.org/10.1007/978-3-658-07116-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488522 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gladyshev, Pavel. editor.&#160;Marrington, Andrew. editor.&#160;Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14289-0">https://doi.org/10.1007/978-3-319-14289-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Communication Communication, Multimedia, Security ent://SD_ILS/0/SD_ILS:489638 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Meinel, Christoph. author.&#160;Sack, Harald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54331-9">https://doi.org/10.1007/978-3-642-54331-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485524 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Jones, Cliff. editor.&#160;Pihlajasaari, Pekka. editor.&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485545 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Pointcheval, David. editor.&#160;Vergnaud, Damien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06734-6">https://doi.org/10.1007/978-3-319-06734-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions ent://SD_ILS/0/SD_ILS:485555 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Kerren, Andreas. editor.&#160;Purchase, Helen. editor.&#160;Ward, Matthew O. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06793-3">https://doi.org/10.1007/978-3-319-06793-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486893 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Cao, Zhenfu. editor.&#160;Zhang, Fangguo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04873-4">https://doi.org/10.1007/978-3-319-04873-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Problems in Mathematics and Computational Science ent://SD_ILS/0/SD_ILS:487303 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Ko&ccedil;, &Ccedil;etin Kaya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10683-0">https://doi.org/10.1007/978-3-319-10683-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Document Image Processing and Recognition ent://SD_ILS/0/SD_ILS:487836 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Doermann, David. editor.&#160;Tombre, Karl. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-0-85729-859-1">https://doi.org/10.1007/978-0-85729-859-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools ent://SD_ILS/0/SD_ILS:489117 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Tatnall, Arthur. editor.&#160;Davey, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55119-2">https://doi.org/10.1007/978-3-642-55119-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488916 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Boureanu, Ioana. editor.&#160;Owesarski, Philippe. editor.&#160;Vaudenay, Serge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07536-5">https://doi.org/10.1007/978-3-319-07536-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488930 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Tryfonas, Theo. editor.&#160;Askoxylakis, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07620-1">https://doi.org/10.1007/978-3-319-07620-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488939 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Yamashita, Shigeru. editor.&#160;Minato, Shin-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-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II ent://SD_ILS/0/SD_ILS:488956 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Sarkar, Palash. editor.&#160;Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45608-8">https://doi.org/10.1007/978-3-662-45608-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Text entry systems mobility, accessibility, universality ent://SD_ILS/0/SD_ILS:112127 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;MacKenzie, I. Scott, 1951-&#160;Tanaka-Ishii, Kumiko.&#160;ScienceDirect (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123735911">An electronic book accessible through the World Wide Web; click for information</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer concepts : illustrated ent://SD_ILS/0/SD_ILS:110841 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Parsons, June Jamrich.&#160;Oja, Dan.<br/>Preferred Shelf Number&#160;QA76 .P3557 2007<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Text entry systems mobility, accessibility, universality ent://SD_ILS/0/SD_ILS:148622 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;MacKenzie, I. Scott, 1951-&#160;Tanaka-Ishii, Kumiko.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123735911">http://www.sciencedirect.com/science/book/9780123735911</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Non-standard computation molecular computation, cellular automata, evolutionary algorithms, quantum computers ent://SD_ILS/0/SD_ILS:300538 2024-10-31T21:47:30Z 2024-10-31T21:47:30Z Author&#160;Gramss, Tino.&#160;John Wiley &amp; Sons, Inc.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/3527602968">http://dx.doi.org/10.1002/3527602968</a> John Wiley <a href="http://dx.doi.org/10.1002/9783527602964">http://dx.doi.org/10.1002/9783527602964</a> HathiTrust Digital Library, Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/39755900.html">http://catalog.hathitrust.org/api/volumes/oclc/39755900.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>