Search Results for Computer science - Narrowed by: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?dt=list 2024-11-28T20:34:56Z Computer and Information Science ent://SD_ILS/0/SD_ILS:402560 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60170-0">https://doi.org/10.1007/978-3-319-60170-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Information Science ent://SD_ILS/0/SD_ILS:332801 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332801.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00804-2">http://dx.doi.org/10.1007/978-3-319-00804-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Information Science ent://SD_ILS/0/SD_ILS:188357 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Roger. editor.&#160;Kim, Haeng-Kon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79187-4">http://dx.doi.org/10.1007/978-3-540-79187-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Education ent://SD_ILS/0/SD_ILS:196306 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Xie, Anne. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27945-4">http://dx.doi.org/10.1007/978-3-642-27945-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Engineering ent://SD_ILS/0/SD_ILS:196307 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zeng, Dehuai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27948-5">http://dx.doi.org/10.1007/978-3-642-27948-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Information Science 2012 ent://SD_ILS/0/SD_ILS:196891 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30454-5">http://dx.doi.org/10.1007/978-3-642-30454-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Information Science 2011 ent://SD_ILS/0/SD_ILS:194680 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21378-6">http://dx.doi.org/10.1007/978-3-642-21378-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Information Science 2010 ent://SD_ILS/0/SD_ILS:192959 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15405-8">http://dx.doi.org/10.1007/978-3-642-15405-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Information Science 2009 ent://SD_ILS/0/SD_ILS:189920 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Roger. editor.&#160;Hu, Gongzu. editor.&#160;Miao, Huaikou. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01209-9">http://dx.doi.org/10.1007/978-3-642-01209-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science and Engineering&mdash;Theory and Applications ent://SD_ILS/0/SD_ILS:402632 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Sanchez, Mauricio A. editor.&#160;Aguilar, Leocundo. editor.&#160;Casta&ntilde;&oacute;n-Puga, Manuel. editor.&#160;Rodr&iacute;guez-D&iacute;az, Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74060-7">https://doi.org/10.1007/978-3-319-74060-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analyzing Evolutionary Algorithms The Computer Science Perspective ent://SD_ILS/0/SD_ILS:333075 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Jansen, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333075.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17339-4">http://dx.doi.org/10.1007/978-3-642-17339-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482864 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;van Bevern, Ren&eacute;. editor. (orcid)0000-0002-4805-218X&#160;Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19955-5">https://doi.org/10.1007/978-3-030-19955-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20&ndash;23, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:483409 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Cheng, Xiaohui. editor.&#160;Jing, Weipeng. editor.&#160;Song, Xianhua. editor.&#160;Lu, Zeguang. 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-0118-0">https://doi.org/10.1007/978-981-15-0118-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20&ndash;23, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:484659 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Mao, Rui. editor.&#160;Wang, Hongzhi. editor.&#160;Xie, Xiaolan. editor.&#160;Lu, Zeguang. 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-0121-0">https://doi.org/10.1007/978-981-15-0121-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2&ndash;4, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486010 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Sun, Xiaoming. editor.&#160;He, Kun. editor.&#160;Chen, Xiaoyun. 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-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399949 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400433 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zhou, Qinglei. editor.&#160;Miao, Qiguang. editor.&#160;Wang, Hongzhi. editor.&#160;Xie, Wei. editor.&#160;Wang, Yan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2206-8">https://doi.org/10.1007/978-981-13-2206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400552 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Desharnais, Jules. editor. (orcid)0000-0002-4780-2698&#160;Guttmann, Walter. editor. (orcid)0000-0003-2969-1688&#160;Joosten, Stef. editor. (orcid)0000-0001-8308-0189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400711 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Bellatreche, Ladjel. editor.&#160;Biffl, Stefan. editor.&#160;van Leeuwen, Jan. editor.&#160;Wiedermann, Ji&#345;&iacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399102 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;C&icirc;rstea, Corina. editor. (orcid)0000-0003-3165-5678&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 4th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399686 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zhou, Qinglei. editor.&#160;Gan, Yong. editor.&#160;Jing, Weipeng. editor.&#160;Song, Xianhua. editor.&#160;Wang, Yan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2203-7">https://doi.org/10.1007/978-981-13-2203-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400065 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Li, Lian. editor.&#160;Lu, Pinyan. editor.&#160;He, Kun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nov&yacute; Smokovec, Slovakia, January 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487593 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Geffert, Viliam. editor.&#160;Preneel, Bart. editor.&#160;Rovan, Branislav. editor.&#160;&Scaron;tuller, J&uacute;lius. editor.&#160;Tjoa, A Min. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04298-5">https://doi.org/10.1007/978-3-319-04298-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485526 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;H&ouml;fner, Peter. editor.&#160;Jipsen, Peter. editor.&#160;Kahl, Wolfram. editor.&#160;M&uuml;ller, Martin Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06251-8">https://doi.org/10.1007/978-3-319-06251-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 26-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334064 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Emde Boas, Peter. editor.&#160;Groen, Frans C. A. editor.&#160;Italiano, Giuseppe F. editor.&#160;Nawrocki, Jerzy. editor.&#160;Sack, Harald. editor.<br/>Preferred Shelf Number&#160;ONLINE(334064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XIX Special Issue on Computer Graphics ent://SD_ILS/0/SD_ILS:334847 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Konushin, Anton. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334847.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39759-2">http://dx.doi.org/10.1007/978-3-642-39759-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers ent://SD_ILS/0/SD_ILS:197531 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Golumbic, Martin Charles. editor.&#160;Stern, Michal. editor.&#160;Levy, Avivit. editor.&#160;Morgenstern, Gila. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34611-8">http://dx.doi.org/10.1007/978-3-642-34611-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197106 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;&Aring;gotnes, Thomas. editor.&#160;Broersen, Jan. editor.&#160;Elgesem, Dag. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Language Technology. Challenges for Computer Science and Linguistics 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194260 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Vetulani, Zygmunt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20095-3">http://dx.doi.org/10.1007/978-3-642-20095-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:195308 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23321-0">http://dx.doi.org/10.1007/978-3-642-23321-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:195309 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23324-1">http://dx.doi.org/10.1007/978-3-642-23324-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III ent://SD_ILS/0/SD_ILS:195316 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23345-6">http://dx.doi.org/10.1007/978-3-642-23345-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement ent://SD_ILS/0/SD_ILS:195782 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kuich, Werner. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195585 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Robles, Rosslin John. editor.&#160;Balitanas, Maricel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24267-0">http://dx.doi.org/10.1007/978-3-642-24267-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:193732 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Meghanathan, Natarajan. editor.&#160;Kaushik, Brajesh Kumar. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17857-3">http://dx.doi.org/10.1007/978-3-642-17857-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:193739 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Meghanathan, Natarajan. editor.&#160;Kaushik, Brajesh Kumar. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17878-8">http://dx.doi.org/10.1007/978-3-642-17878-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III ent://SD_ILS/0/SD_ILS:193740 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Meghanathan, Natarajan. editor.&#160;Kaushik, Brajesh Kumar. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17881-8">http://dx.doi.org/10.1007/978-3-642-17881-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:194028 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Calude, Cristian S. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Swart, Harrie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:194688 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Shen, Gang. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21402-8">http://dx.doi.org/10.1007/978-3-642-21402-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194691 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Shen, Gang. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21411-0">http://dx.doi.org/10.1007/978-3-642-21411-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:195033 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zhou, Mark. editor.&#160;Tan, Honghua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22456-0">http://dx.doi.org/10.1007/978-3-642-22456-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV ent://SD_ILS/0/SD_ILS:195314 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23339-5">http://dx.doi.org/10.1007/978-3-642-23339-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V ent://SD_ILS/0/SD_ILS:195320 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23357-9">http://dx.doi.org/10.1007/978-3-642-23357-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Computer Science, Engineering and Information Technology First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195528 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nagamalai, Dhinaharan. editor.&#160;Renault, Eric. editor.&#160;Dhanuskodi, Murugan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24043-0">http://dx.doi.org/10.1007/978-3-642-24043-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195106 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Yu, Yuanxu. editor.&#160;Yu, Zhengtao. editor.&#160;Zhao, Jingying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22691-5">http://dx.doi.org/10.1007/978-3-642-22691-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science for Environmental Engineering and EcoInformatics International Workshop, CSEEE 2011, Kunming, China, July 29-31, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195107 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Yu, Yuanxu. editor.&#160;Yu, Zhengtao. editor.&#160;Zhao, Jingying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22694-6">http://dx.doi.org/10.1007/978-3-642-22694-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192306 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Tomar, G. S. editor.&#160;Chang, Ruay-Shiung. editor.&#160;Gervasi, Osvaldo. editor.&#160;Kim, Tai-hoon. editor.&#160;Bandyopadhyay, Samir Kumar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192894 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Dawar, Anuj. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings ent://SD_ILS/0/SD_ILS:192380 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13577-4">http://dx.doi.org/10.1007/978-3-642-13577-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192571 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Governatori, Guido. editor.&#160;Sartor, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189378 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Sarbazi-Azad, Hamid. editor.&#160;Parhami, Behrooz. editor.&#160;Miremadi, Seyed-Ghassem. editor.&#160;Hessabi, Shaahin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89985-3">http://dx.doi.org/10.1007/978-3-540-89985-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw&ouml;rth, Germany, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188275 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Berghammer, Rudolf. editor.&#160;M&ouml;ller, Bernhard. editor.&#160;Struth, Georg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188863 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kaminski, Michael. editor.&#160;Martini, Simone. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185974 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Meyden, Ron. editor.&#160;Torre, Leendert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70525-3">http://dx.doi.org/10.1007/978-3-540-70525-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187306 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Duparc, Jacques. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29&ndash;September 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184643 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers ent://SD_ILS/0/SD_ILS:183707 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;MacCaull, Wendy. editor.&#160;Winter, Michael. editor.&#160;D&uuml;ntsch, Ivo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184845 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;&Eacute;sik, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184312 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Goble, Lou. editor.&#160;Meyer, John-Jules Ch. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182983 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science &ndash; ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183236 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Grumbach, St&eacute;phane. editor.&#160;Sui, Liying. editor.&#160;Vianu, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11596370">http://dx.doi.org/10.1007/11596370</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182332 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Maher, Michael J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</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-11-28T20:34:56Z 2024-11-28T20:34:56Z 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/> Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices ent://SD_ILS/0/SD_ILS:401726 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;&Scaron;tuikys, Vytautas. author.&#160;Burbait&#279;, Renata. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78485-4">https://doi.org/10.1007/978-3-319-78485-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017 ent://SD_ILS/0/SD_ILS:399448 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Le, Nguyen-Thinh. editor.&#160;van Do, Tien. editor.&#160;Nguyen, Ngoc Thanh. editor.&#160;Thi, Hoai An Le. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61911-8">https://doi.org/10.1007/978-3-319-61911-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics for Computer Science Classical and Non-Classical ent://SD_ILS/0/SD_ILS:399616 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Wasilewska, Anita. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Pozna&#324;, Poland, November 27-29, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401547 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Vetulani, Zygmunt. editor.&#160;Mariani, Joseph. editor.&#160;Kubis, Marek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93782-3">https://doi.org/10.1007/978-3-319-93782-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine ent://SD_ILS/0/SD_ILS:401930 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Shakhovska, Natalia. editor.&#160;Stepashko, Volodymyr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70581-1">https://doi.org/10.1007/978-3-319-70581-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017) ent://SD_ILS/0/SD_ILS:402749 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lames, Martin. editor.&#160;Saupe, Dietmar. editor.&#160;Wiemeyer, Josef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67846-7">https://doi.org/10.1007/978-3-319-67846-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014) ent://SD_ILS/0/SD_ILS:488158 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Do, Tien. editor.&#160;Thi, Hoai An Le. editor.&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06569-4">https://doi.org/10.1007/978-3-319-06569-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Language Technology Challenges for Computer Science and Linguistics 5th Language and Technology Conference, LTC 2011, Pozna&#324;, Poland, November 25--27, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485615 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Vetulani, Zygmunt. editor. (orcid)0000-0003-4833-8601&#160;Mariani, Joseph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08958-4">https://doi.org/10.1007/978-3-319-08958-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modern Trends and Techniques in Computer Science 3rd Computer Science On-line Conference 2014 (CSOC 2014) ent://SD_ILS/0/SD_ILS:485814 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Silhavy, Petr. editor.&#160;Prokopova, Zdenka. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06740-7">https://doi.org/10.1007/978-3-319-06740-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Intelligent Control Systems and Computer Science ent://SD_ILS/0/SD_ILS:333593 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Dumitrache, Loan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333593.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32548-9">http://dx.doi.org/10.1007/978-3-642-32548-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference of Modern Computer Science and Applications ent://SD_ILS/0/SD_ILS:333653 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Du, Zhenyu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333653.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33030-8">http://dx.doi.org/10.1007/978-3-642-33030-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering ent://SD_ILS/0/SD_ILS:195785 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nguyen, Hung T. author.&#160;Kreinovich, Vladik. author.&#160;Wu, Berlin. author.&#160;Xiang, Gang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24905-1">http://dx.doi.org/10.1007/978-3-642-24905-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) Volume 2: Education, Psychology and Computer Science ent://SD_ILS/0/SD_ILS:195944 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Wu, Yanwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25437-6">http://dx.doi.org/10.1007/978-3-642-25437-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196158 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27308-7">http://dx.doi.org/10.1007/978-3-642-27308-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:196161 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27317-9">http://dx.doi.org/10.1007/978-3-642-27317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196155 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27299-8">http://dx.doi.org/10.1007/978-3-642-27299-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Intelligent System and Environment ent://SD_ILS/0/SD_ILS:195435 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Jin, David. editor.&#160;Lin, Sally. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23753-9">http://dx.doi.org/10.1007/978-3-642-23753-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Intelligent System and Environment ent://SD_ILS/0/SD_ILS:195436 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Jin, David. editor.&#160;Lin, Sally. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23756-0">http://dx.doi.org/10.1007/978-3-642-23756-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Intelligent System and Environment ent://SD_ILS/0/SD_ILS:195443 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Jin, David. editor.&#160;Lin, Sally. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23777-5">http://dx.doi.org/10.1007/978-3-642-23777-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Algebra Computing in Engineering and Computer Science ent://SD_ILS/0/SD_ILS:176159 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bayro-Corrochano, Eduardo. editor.&#160;Scheuermann, Gerik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-108-0">http://dx.doi.org/10.1007/978-1-84996-108-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Satisficing Games and Decision Making With Applications to Engineering and Computer Science ent://SD_ILS/0/SD_ILS:238746 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Stirling, Wynn C..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511543456">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Fault Classification to Fault Tolerance for Multi-Agent Systems ent://SD_ILS/0/SD_ILS:331127 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Potiron, Katia. author.&#160;El Fallah Seghrouchni, Amal. author.&#160;Taillibert, Patrick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331127.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5046-6">http://dx.doi.org/10.1007/978-1-4471-5046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sentiment Analysis for PTSD Signals ent://SD_ILS/0/SD_ILS:331316 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kagan, Vadim. author.&#160;Rossini, Edward. author.&#160;Sapounas, Demetrios. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331316.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3097-1">http://dx.doi.org/10.1007/978-1-4614-3097-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Querying Moving Objects Detected by Sensor Networks ent://SD_ILS/0/SD_ILS:331623 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bestehorn, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331623.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4927-0">http://dx.doi.org/10.1007/978-1-4614-4927-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A General Framework for Reasoning On Inconsistency ent://SD_ILS/0/SD_ILS:332107 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Martinez, Maria Vanina. author.&#160;Molinaro, Cristian. author.&#160;Subrahmanian, V.S. author.&#160;Amgoud, Leila. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332107.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web-based Intelligent Geospatial Web Services ent://SD_ILS/0/SD_ILS:332124 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Yue, Peng. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332124.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6809-7">http://dx.doi.org/10.1007/978-1-4614-6809-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belief Revision in Non-Classical Logics ent://SD_ILS/0/SD_ILS:330925 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ribeiro, M&aacute;rcio Moretto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330925.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information ent://SD_ILS/0/SD_ILS:331106 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Puig, Luis. author.&#160;Guerrero, J.J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331106.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4947-7">http://dx.doi.org/10.1007/978-1-4471-4947-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence A Methodological Introduction ent://SD_ILS/0/SD_ILS:331117 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kruse, Rudolf. author.&#160;Borgelt, Christian. author.&#160;Klawonn, Frank. author.&#160;Moewes, Christian. author.&#160;Steinbrecher, Matthias. author.<br/>Preferred Shelf Number&#160;ONLINE(331117.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5013-8">http://dx.doi.org/10.1007/978-1-4471-5013-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Event-Driven Surveillance Possibilities and Challenges ent://SD_ILS/0/SD_ILS:196360 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Denecke, Kerstin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28135-8">http://dx.doi.org/10.1007/978-3-642-28135-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages ent://SD_ILS/0/SD_ILS:196775 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Henderson-Sellers, Brian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial AutoRegression (SAR) Model Parameter Estimation Techniques ent://SD_ILS/0/SD_ILS:174029 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kazar, Baris M. author.&#160;Celik, Mete. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1842-9">http://dx.doi.org/10.1007/978-1-4614-1842-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Criminal Justice Forecasts of Risk A Machine Learning Approach ent://SD_ILS/0/SD_ILS:174189 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Berk, Richard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3085-8">http://dx.doi.org/10.1007/978-1-4614-3085-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Petrie, Charles J.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decentralized Reasoning in Ambient Intelligence ent://SD_ILS/0/SD_ILS:173543 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Viterbo, Jos&eacute;. author.&#160;Endler, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Game Design ent://SD_ILS/0/SD_ILS:173381 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Browne, Cameron. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2179-4">http://dx.doi.org/10.1007/978-1-4471-2179-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Glazed Panel Construction with Human-Robot Cooperation ent://SD_ILS/0/SD_ILS:173935 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Seungyeol. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1418-6">http://dx.doi.org/10.1007/978-1-4614-1418-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents ent://SD_ILS/0/SD_ILS:173949 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Simari, Gerardo I. author.&#160;Parsons, Simon D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1472-8">http://dx.doi.org/10.1007/978-1-4614-1472-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data ent://SD_ILS/0/SD_ILS:175935 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Berthold, Michael R. author.&#160;Borgelt, Christian. author.&#160;H&ouml;ppner, Frank. author.&#160;Klawonn, Frank. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-260-3">http://dx.doi.org/10.1007/978-1-84882-260-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Databases From Biological to Spatio-Temporal ent://SD_ILS/0/SD_ILS:176154 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Revesz, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-095-3">http://dx.doi.org/10.1007/978-1-84996-095-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More ent://SD_ILS/0/SD_ILS:175590 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Munakata, Toshinori. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-839-5">http://dx.doi.org/10.1007/978-1-84628-839-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Synthesis of Pattern Recognition Systems ent://SD_ILS/0/SD_ILS:165053 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bhanu, Bir. author.&#160;Lin, Yingqiang. author.&#160;Krawiec, Krzysztof. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105515">http://dx.doi.org/10.1007/b105515</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Fundamentals of Robotics ent://SD_ILS/0/SD_ILS:165353 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Selig, J. M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138859">http://dx.doi.org/10.1007/b138859</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Techniques for Human Smile Analysis ent://SD_ILS/0/SD_ILS:483085 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ugail, Hassan. author.&#160;Aldahoud, Ahmad Ali Asad. 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-15381-6">https://doi.org/10.1007/978-3-030-15381-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Asymptotic Nonparametric Statistical Analysis of Stationary Time Series ent://SD_ILS/0/SD_ILS:486133 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ryabko, Daniil. 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-12564-6">https://doi.org/10.1007/978-3-030-12564-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Segmentation and Separation of Overlapped Latent Fingerprints Algorithms, Techniques, and Datasets ent://SD_ILS/0/SD_ILS:486599 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Stojanovi&#263;, Branka. author.&#160;Marques, Oge. author.&#160;Ne&scaron;kovi&#263;, Aleksandar. 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-23364-8">https://doi.org/10.1007/978-3-030-23364-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia QoE Evaluation ent://SD_ILS/0/SD_ILS:483268 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z 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/> Deep Learning: Convergence to Big Data Analytics ent://SD_ILS/0/SD_ILS:483813 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Khan, Murad. author.&#160;Jan, Bilal. author.&#160;Farman, Haleem. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3459-7">https://doi.org/10.1007/978-981-13-3459-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Intelligent Surveillance Surveillance Data Capture, Transmission, and Analytics ent://SD_ILS/0/SD_ILS:483963 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Yan, Wei Qi. 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-10713-0">https://doi.org/10.1007/978-3-030-10713-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Online Social Media Content Delivery A Data-Driven Approach ent://SD_ILS/0/SD_ILS:399312 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Wang, Zhi. author.&#160;Zhu, Wenwu. author.&#160;Yang, Shiqiang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-2774-1">https://doi.org/10.1007/978-981-10-2774-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tree-Based Convolutional Neural Networks Principles and Applications ent://SD_ILS/0/SD_ILS:400456 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Mou, Lili. author.&#160;Jin, Zhi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1870-2">https://doi.org/10.1007/978-981-13-1870-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Culture on the Edge of Chaos Cultural Algorithms and the Foundations of Social Intelligence ent://SD_ILS/0/SD_ILS:401111 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Reynolds, Robert G. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74171-0">https://doi.org/10.1007/978-3-319-74171-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Neural Networks in a Mathematical Framework ent://SD_ILS/0/SD_ILS:402226 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Caterini, Anthony L. author.&#160;Chang, Dong Eui. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75304-1">https://doi.org/10.1007/978-3-319-75304-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach ent://SD_ILS/0/SD_ILS:400474 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Azim, Tayyaba. author.&#160;Ahmed, Sarah. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98524-4">https://doi.org/10.1007/978-3-319-98524-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large Scale Hierarchical Classification: State of the Art ent://SD_ILS/0/SD_ILS:399106 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Naik, Azad. author.&#160;Rangwala, Huzefa. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01620-3">https://doi.org/10.1007/978-3-030-01620-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large Group Decision Making Creating Decision Support Approaches at Scale ent://SD_ILS/0/SD_ILS:399394 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Palomares Carrascosa, Iv&aacute;n. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01027-0">https://doi.org/10.1007/978-3-030-01027-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Survey on 3D Cameras: Metrological Comparison of Time-of-Flight, Structured-Light and Active Stereoscopy Technologies ent://SD_ILS/0/SD_ILS:401644 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Giancola, Silvio. author.&#160;Valenti, Matteo. author.&#160;Sala, Remo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91761-0">https://doi.org/10.1007/978-3-319-91761-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Tools for Cyber Attribution ent://SD_ILS/0/SD_ILS:401866 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nunes, Eric. author.&#160;Shakarian, Paulo. author.&#160;Simari, Gerardo I. author.&#160;Ruef, Andrew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73788-1">https://doi.org/10.1007/978-3-319-73788-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Point-of-Interest Recommendation in Location-Based Social Networks ent://SD_ILS/0/SD_ILS:402745 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zhao, Shenglin. author.&#160;Lyu, Michael R. author.&#160;King, Irwin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1349-3">https://doi.org/10.1007/978-981-13-1349-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Driver Drowsiness Detection Systems and Solutions ent://SD_ILS/0/SD_ILS:488127 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;&#268;oli&#263;, Aleksandar. author.&#160;Marques, Oge. author.&#160;Furht, Borko. 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-11535-1">https://doi.org/10.1007/978-3-319-11535-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous Military Robotics ent://SD_ILS/0/SD_ILS:489428 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nath, Vishnu. author.&#160;Levinson, Stephen E. 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-05606-7">https://doi.org/10.1007/978-3-319-05606-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Contrario Line Segment Detection ent://SD_ILS/0/SD_ILS:487583 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Grompone von Gioi, Rafael. 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-0575-1">https://doi.org/10.1007/978-1-4939-0575-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Boosted Statistical Relational Learners From Benchmarks to Data-Driven Medicine ent://SD_ILS/0/SD_ILS:487972 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Natarajan, Sriraam. author.&#160;Kersting, Kristian. author.&#160;Khot, Tushar. author.&#160;Shavlik, Jude. 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-13644-8">https://doi.org/10.1007/978-3-319-13644-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Generation of Combinatorial Test Data ent://SD_ILS/0/SD_ILS:489313 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zhang, Jian. author.&#160;Zhang, Zhiqiang. author.&#160;Ma, Feifei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data-driven Generation of Policies ent://SD_ILS/0/SD_ILS:485134 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Parker, Austin. author.&#160;Simari, Gerardo I. author.&#160;Sliva, Amy. author.&#160;Subrahmanian, V.S. 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-0274-3">https://doi.org/10.1007/978-1-4939-0274-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous Robotics and Deep Learning ent://SD_ILS/0/SD_ILS:487764 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nath, Vishnu. author.&#160;Levinson, Stephen E. 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-05603-6">https://doi.org/10.1007/978-3-319-05603-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Problems in Spectral Dimensionality Reduction ent://SD_ILS/0/SD_ILS:487927 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Strange, Harry. author.&#160;Zwiggelaar, Reyer. 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-03943-5">https://doi.org/10.1007/978-3-319-03943-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Feature Coding for Image Representation and Recognition ent://SD_ILS/0/SD_ILS:489553 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Huang, Yongzhen. author.&#160;Tan, Tieniu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45000-0">https://doi.org/10.1007/978-3-662-45000-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 II ent://SD_ILS/0/SD_ILS:483347 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z 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-9942-8">https://doi.org/10.1007/978-981-13-9942-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21&ndash;22, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483567 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Prateek, Manish. editor.&#160;Sharma, Durgansh. editor.&#160;Tiwari, Rajeev. editor.&#160;Sharma, Rashmi. editor.&#160;Kumar, Kamal. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1718-1">https://doi.org/10.1007/978-981-15-1718-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-11-28T20:34:56Z 2024-11-28T20:34:56Z 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/> New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20&ndash;22, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484938 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Chang, Chuan-Yu. editor.&#160;Lin, Chien-Chou. editor.&#160;Lin, Horng-Horng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-9190-3">https://doi.org/10.1007/978-981-13-9190-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27&ndash;28, 2018, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:486015 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z 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/> Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:486029 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Li, Quan-Lin. editor.&#160;Wang, Jinting. editor.&#160;Yu, Hai-Bo. 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-0864-6">https://doi.org/10.1007/978-981-15-0864-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-11-28T20:34:56Z 2024-11-28T20:34:56Z 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/> 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-11-28T20:34:56Z 2024-11-28T20:34:56Z 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/> 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-11-28T20:34:56Z 2024-11-28T20:34:56Z 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/> Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24&ndash;26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486253 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Parlier, Greg H. editor.&#160;Liberatore, Federico. editor.&#160;Demange, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16035-7">https://doi.org/10.1007/978-3-030-16035-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization and Applications 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486733 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Evtushenko, Yury. editor. (orcid)0000-0002-6094-7808&#160;Ja&#263;imovi&#263;, Milojica. editor. (orcid)0000-0002-7068-8563&#160;Khachay, Michael. editor. (orcid)0000-0003-3555-0080&#160;Kochetov, Yury. editor. (orcid)0000-0001-7123-8647&#160;Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-10934-9">https://doi.org/10.1007/978-3-030-10934-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:400044 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Mikulski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400450 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;M&uuml;nster, Sander. editor. (orcid)0000-0001-9344-912X&#160;Friedrichs, Kristina. editor.&#160;Niebling, Florian. editor.&#160;Seidel-Grzesi&#324;ska, Agnieszka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76992-9">https://doi.org/10.1007/978-3-319-76992-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400561 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243&#160;Poli, Irene. editor. (orcid)0000-0001-7828-2480&#160;Roli, Andrea. editor. (orcid)0000-0001-9891-5441&#160;Serra, Roberto. editor. (orcid)0000-0002-1417-5106&#160;Slanzi, Debora. editor. (orcid)0000-0002-4204-1009<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78658-2">https://doi.org/10.1007/978-3-319-78658-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401077 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Koro&scaron;ec, Peter. editor.&#160;Melab, Nouredine. editor.&#160;Talbi, El-Ghazali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91641-5">https://doi.org/10.1007/978-3-319-91641-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402375 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Avigad, Jeremy. editor.&#160;Mahboubi, Assia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2018 &ndash; Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402556 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92279-9">https://doi.org/10.1007/978-3-319-92279-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2018 &ndash; Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402557 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92285-0">https://doi.org/10.1007/978-3-319-92285-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400644 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ahmed, Amal. editor. (orcid)0000-0001-7424-572X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398933 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Takahashi, Yutaka. editor.&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;Yue, Wuyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22&ndash;25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398934 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Kozubek, Tom&aacute;&scaron;. editor.&#160;&#268;erm&aacute;k, Martin. editor. (orcid)0000-0002-0171-625X&#160;Tich&yacute;, Petr. editor. (orcid)0000-0001-6008-4056&#160;Blaheta, Radim. editor.&#160;&Scaron;&iacute;stek, Jakub. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97136-0">https://doi.org/10.1007/978-3-319-97136-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399729 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829&#160;Padovani, Luca. editor. (orcid)0000-0001-9097-1297&#160;Torquati, Massimo. editor. (orcid)0000-0001-6323-3459&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2018 &ndash; Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399909 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92270-6">https://doi.org/10.1007/978-3-319-92270-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5&ndash;8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399958 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Butler, Michael. editor.&#160;Raschke, Alexander. editor.&#160;Hoang, Thai Son. editor.&#160;Reichl, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400218 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Beck, Dennis. editor.&#160;Allison, Colin. editor.&#160;Morgado, Leonel. editor.&#160;Pirker, Johanna. editor.&#160;Pe&ntilde;a-Rios, Anasol. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93596-6">https://doi.org/10.1007/978-3-319-93596-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401534 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Baetens, Jan M. editor.&#160;Kutrib, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23&ndash;25, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401737 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Parlier, Greg H. editor.&#160;Liberatore, Federico. editor.&#160;Demange, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94767-9">https://doi.org/10.1007/978-3-319-94767-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401755 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Moss, Lawrence S. editor.&#160;de Queiroz, Ruy. editor.&#160;Martinez, Maricarmen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487781 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126&#160;Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12745-3">https://doi.org/10.1007/978-3-319-12745-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485642 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Garnier, Simon. editor.&#160;Hamann, Heiko. editor.&#160;Montes de Oca, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09952-1">https://doi.org/10.1007/978-3-319-09952-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332890 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Tenbrink, Thora. editor.&#160;Stell, John. editor.&#160;Galton, Antony. editor.&#160;Wood, Zena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332890.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01790-7">http://dx.doi.org/10.1007/978-3-319-01790-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332892 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Soloveichik, David. editor.&#160;Yurke, Bernard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332892.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332893 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;&#381;elezn&yacute;, Milo&scaron;. editor.&#160;Habernal, Ivan. editor.&#160;Ronzhin, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332893.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01931-4">http://dx.doi.org/10.1007/978-3-319-01931-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332901 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Shen, Li. editor.&#160;Liu, Tianming. editor.&#160;Yap, Pew-Thian. editor.&#160;Huang, Heng. editor.&#160;Shen, Dinggang. editor.<br/>Preferred Shelf Number&#160;ONLINE(332901.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02126-3">http://dx.doi.org/10.1007/978-3-319-02126-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning in Medical Imaging 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332907 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Wu, Guorong. editor.&#160;Zhang, Daoqiang. editor.&#160;Shen, Dinggang. editor.&#160;Yan, Pingkun. editor.&#160;Suzuki, Kenji. editor.<br/>Preferred Shelf Number&#160;ONLINE(332907.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02267-3">http://dx.doi.org/10.1007/978-3-319-02267-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332965 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nugent, Christopher. editor.&#160;Coronato, Antonio. editor.&#160;Bravo, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332965.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03092-0">http://dx.doi.org/10.1007/978-3-319-03092-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332968 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Reidsma, Dennis. editor.&#160;Katayose, Haruhiro. editor.&#160;Nijholt, Anton. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03161-3">http://dx.doi.org/10.1007/978-3-319-03161-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332969 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Urzaiz, Gabriel. editor.&#160;Ochoa, Sergio F. editor.&#160;Bravo, Jos&eacute;. editor.&#160;Chen, Liming Luke. editor.&#160;Oliveira, Jonice. editor.<br/>Preferred Shelf Number&#160;ONLINE(332969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332970 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Masulli, Francesco. editor.&#160;Pasi, Gabriella. editor.&#160;Yager, Ronald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332970.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03200-9">http://dx.doi.org/10.1007/978-3-319-03200-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332973 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Jatowt, Adam. editor.&#160;Lim, Ee-Peng. editor.&#160;Ding, Ying. editor.&#160;Miura, Asako. editor.&#160;Tezuka, Taro. editor.<br/>Preferred Shelf Number&#160;ONLINE(332973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03260-3">http://dx.doi.org/10.1007/978-3-319-03260-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332974 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Garoufallou, Emmanouel. editor.&#160;Greenberg, Jane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332974.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03437-9">http://dx.doi.org/10.1007/978-3-319-03437-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332979 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Baldoni, Matteo. editor.&#160;Baroglio, Cristina. editor.&#160;Boella, Guido. editor.&#160;Micalizio, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332979.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03524-6">http://dx.doi.org/10.1007/978-3-319-03524-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332982 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gonthier, Georges. editor.&#160;Norrish, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332982.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332986 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Augusto, Juan Carlos. editor.&#160;Wichert, Reiner. editor.&#160;Collier, Rem. editor.&#160;Keyson, David. editor.&#160;Salah, Albert Ali. editor.<br/>Preferred Shelf Number&#160;ONLINE(332986.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03647-2">http://dx.doi.org/10.1007/978-3-319-03647-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332987 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Cranefield, Stephen. editor.&#160;Nayak, Abhaya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03680-9">http://dx.doi.org/10.1007/978-3-319-03680-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:332993 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332993.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:332994 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332996 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Papasratorn, Borworn. editor.&#160;Charoenkitkarn, Nipon. editor.&#160;Vanijja, Vajirasak. editor.&#160;Chongsuphajaisiddhi, Vithida. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332996.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03783-7">http://dx.doi.org/10.1007/978-3-319-03783-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332998 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Prasath, Rajendra. editor.&#160;Kathirvalavakumar, T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332998.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03844-5">http://dx.doi.org/10.1007/978-3-319-03844-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333006 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ria&ntilde;o, David. editor.&#160;Lenz, Richard. editor.&#160;Miksch, Silvia. editor.&#160;Peleg, Mor. editor.&#160;Reichert, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE(333006.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03916-9">http://dx.doi.org/10.1007/978-3-319-03916-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333011 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(333011.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333012 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Cao, Longbing. editor.&#160;Motoda, Hiroshi. editor.&#160;Srivastava, Jaideep. editor.&#160;Lim, Ee-Peng. editor.&#160;King, Irwin. editor.<br/>Preferred Shelf Number&#160;ONLINE(333012.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04048-6">http://dx.doi.org/10.1007/978-3-319-04048-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332958 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zaman, Halimah Badioze. editor.&#160;Robinson, Peter. editor.&#160;Olivier, Patrick. editor.&#160;Shih, Timothy K. editor.&#160;Velastin, Sergio. editor.<br/>Preferred Shelf Number&#160;ONLINE(332958.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02958-0">http://dx.doi.org/10.1007/978-3-319-02958-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332935 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Herrmann, Guido. editor.&#160;Pearson, Martin J. editor.&#160;Lenz, Alexander. editor.&#160;Bremner, Paul. editor.&#160;Spiers, Adam. editor.<br/>Preferred Shelf Number&#160;ONLINE(332935.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02675-6">http://dx.doi.org/10.1007/978-3-319-02675-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Behavior Understanding 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332940 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Salah, Albert Ali. editor.&#160;Hung, Hayley. editor.&#160;Aran, Oya. editor.&#160;Gunes, Hatice. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332940.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02714-2">http://dx.doi.org/10.1007/978-3-319-02714-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Active Media Technology 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332942 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Yoshida, Tetsuya. editor.&#160;Kou, Gang. editor.&#160;Skowron, Andrzej. editor.&#160;Cao, Jiannong. editor.&#160;Hacid, Hakim. editor.<br/>Preferred Shelf Number&#160;ONLINE(332942.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02750-0">http://dx.doi.org/10.1007/978-3-319-02750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brain and Health Informatics International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332943 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Imamura, Kazayuki. editor.&#160;Usui, Shiro. editor.&#160;Shirao, Tomoaki. editor.&#160;Kasamatsu, Takuji. editor.&#160;Schwabe, Lars. editor.<br/>Preferred Shelf Number&#160;ONLINE(332943.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02753-1">http://dx.doi.org/10.1007/978-3-319-02753-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332944 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Koenitz, Hartmut. editor.&#160;Sezen, Tonguc Ibrahim. editor.&#160;Ferri, Gabriele. editor.&#160;Haahr, Mads. editor.&#160;Sezen, Digdem. editor.<br/>Preferred Shelf Number&#160;ONLINE(332944.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02756-2">http://dx.doi.org/10.1007/978-3-319-02756-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Pozna&#324;, Poland, October 28-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332953 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Blanc-Talon, Jacques. editor.&#160;Kasinski, Andrzej. editor.&#160;Philips, Wilfried. editor.&#160;Popescu, Dan. editor.&#160;Scheunders, Paul. editor.<br/>Preferred Shelf Number&#160;ONLINE(332953.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02895-8">http://dx.doi.org/10.1007/978-3-319-02895-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334059 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Magnini, Bernardo. editor.&#160;Cutugno, Francesco. editor.&#160;Falcone, Mauro. editor.&#160;Pianta, Emanuele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334059.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35828-9">http://dx.doi.org/10.1007/978-3-642-35828-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XVII ent://SD_ILS/0/SD_ILS:334063 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334063.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35840-1">http://dx.doi.org/10.1007/978-3-642-35840-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334073 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Giacobazzi, Roberto. editor.&#160;Berdine, Josh. editor.&#160;Mastroeni, Isabella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334073.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334092 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bobillo, Fernando. editor.&#160;Costa, Paulo C. G. editor.&#160;d&rsquo;Amato, Claudia. editor.&#160;Fanizzi, Nicola. editor.&#160;Laskey, Kathryn B. editor.<br/>Preferred Shelf Number&#160;ONLINE(334092.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Z&uuml;rich, Switzerland, July 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334099 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Schewe, Klaus-Dieter. editor.&#160;Thalheim, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334099.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36008-4">http://dx.doi.org/10.1007/978-3-642-36008-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334105 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lodaya, Kamal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334105.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334115 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nin, Jordi. editor.&#160;Villatoro, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36074-9">http://dx.doi.org/10.1007/978-3-642-36074-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334262 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Yang, Jian. editor.&#160;Fang, Fang. editor.&#160;Sun, Changyin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334262.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36669-7">http://dx.doi.org/10.1007/978-3-642-36669-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning and Mathematics Essays in Memory of William W. McCune ent://SD_ILS/0/SD_ILS:334264 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bonacina, Maria Paola. editor.&#160;Stickel, Mark E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334264.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Trends in Knowledge Discovery and Data Mining PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 &ndash; June 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334289 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Washio, Takashi. editor.&#160;Luo, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334289.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36778-6">http://dx.doi.org/10.1007/978-3-642-36778-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334359 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Schwenker, Friedhelm. editor.&#160;Scherer, Stefan. editor.&#160;Morency, Louis-Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334359.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37081-6">http://dx.doi.org/10.1007/978-3-642-37081-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334362 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Li, Kang. editor.&#160;Li, Shaoyuan. editor.&#160;Li, Dewei. editor.&#160;Niu, Qun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334362.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37105-9">http://dx.doi.org/10.1007/978-3-642-37105-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335189 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Castro, F&eacute;lix. editor.&#160;Gelbukh, Alexander. editor.&#160;Gonz&aacute;lez, Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335189.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45111-9">http://dx.doi.org/10.1007/978-3-642-45111-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XI ent://SD_ILS/0/SD_ILS:335144 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335144.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41776-4">http://dx.doi.org/10.1007/978-3-642-41776-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335145 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ruiz-Shulcloper, Jos&eacute;. editor.&#160;Sanniti di Baja, Gabriella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335145.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41822-8">http://dx.doi.org/10.1007/978-3-642-41822-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335146 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ruiz-Shulcloper, Jos&eacute;. editor.&#160;Sanniti di Baja, Gabriella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335146.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41827-3">http://dx.doi.org/10.1007/978-3-642-41827-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XX Special Issue on Voronoi Diagrams and Their Applications ent://SD_ILS/0/SD_ILS:335147 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Kalantari, Bahman. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335147.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41905-8">http://dx.doi.org/10.1007/978-3-642-41905-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334167 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Cao, Longbing. editor.&#160;Zeng, Yifeng. editor.&#160;Symeonidis, Andreas L. editor.&#160;Gorodetsky, Vladimir I. editor.&#160;Yu, Philip S. editor.<br/>Preferred Shelf Number&#160;ONLINE(334167.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36288-0">http://dx.doi.org/10.1007/978-3-642-36288-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334180 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ji, Donghong. editor.&#160;Xiao, Guozheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334180.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36337-5">http://dx.doi.org/10.1007/978-3-642-36337-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334041 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334041.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334206 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Dignum, Frank. editor.&#160;Brom, Cyril. editor.&#160;Hindriks, Koen. editor.&#160;Beer, Martin. editor.&#160;Richards, Deborah. editor.<br/>Preferred Shelf Number&#160;ONLINE(334206.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36444-0">http://dx.doi.org/10.1007/978-3-642-36444-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence IX ent://SD_ILS/0/SD_ILS:334300 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334300.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36815-8">http://dx.doi.org/10.1007/978-3-642-36815-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334370 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Purshouse, Robin C. editor.&#160;Fleming, Peter J. editor.&#160;Fonseca, Carlos M. editor.&#160;Greco, Salvatore. editor.&#160;Shaw, Jane. editor.<br/>Preferred Shelf Number&#160;ONLINE(334370.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37140-0">http://dx.doi.org/10.1007/978-3-642-37140-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334321 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Filipe, Joaquim. editor.&#160;Fred, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334321.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36907-0">http://dx.doi.org/10.1007/978-3-642-36907-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334330 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Machado, Penousal. editor.&#160;McDermott, James. editor.&#160;Carballal, Adrian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334330.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36955-1">http://dx.doi.org/10.1007/978-3-642-36955-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334337 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bezhanishvili, Guram. editor.&#160;L&ouml;bner, Sebastian. editor.&#160;Marra, Vincenzo. editor.&#160;Richter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334337.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36976-6">http://dx.doi.org/10.1007/978-3-642-36976-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Language of Mathematics A Linguistic and Philosophical Investigation ent://SD_ILS/0/SD_ILS:334341 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ganesalingam, Mohan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334341.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37012-0">http://dx.doi.org/10.1007/978-3-642-37012-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334384 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Krawiec, Krzysztof. editor.&#160;Moraglio, Alberto. editor.&#160;Hu, Ting. editor.&#160;Etaner-Uyar, A. &#350;ima. editor.&#160;Hu, Bin. editor.<br/>Preferred Shelf Number&#160;ONLINE(334384.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37207-0">http://dx.doi.org/10.1007/978-3-642-37207-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334386 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Tomassini, Marco. editor.&#160;Antonioni, Alberto. editor.&#160;Daolio, Fabio. editor.&#160;Buesser, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334386.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37213-1">http://dx.doi.org/10.1007/978-3-642-37213-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334392 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334392.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37247-6">http://dx.doi.org/10.1007/978-3-642-37247-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334394 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334394.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37256-8">http://dx.doi.org/10.1007/978-3-642-37256-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision &ndash; ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:334407 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Kyoung Mu. editor.&#160;Matsushita, Yasuyuki. editor.&#160;Rehg, James M. editor.&#160;Hu, Zhanyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334407.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37331-2">http://dx.doi.org/10.1007/978-3-642-37331-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Engineering, Machine Learning and Lattice Computing with Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334409 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gra&ntilde;a, Manuel. editor.&#160;Toro, Carlos. editor.&#160;Howlett, Robert J. editor.&#160;Jain, Lakhmi C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334409.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37343-5">http://dx.doi.org/10.1007/978-3-642-37343-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Your Virtual Butler The Making-of ent://SD_ILS/0/SD_ILS:334410 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Trappl, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334410.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37346-6">http://dx.doi.org/10.1007/978-3-642-37346-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers ent://SD_ILS/0/SD_ILS:334417 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Appice, Annalisa. editor.&#160;Ceci, Michelangelo. editor.&#160;Loglisci, Corrado. editor.&#160;Manco, Giuseppe. editor.&#160;Masciari, Elio. editor.<br/>Preferred Shelf Number&#160;ONLINE(334417.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37382-4">http://dx.doi.org/10.1007/978-3-642-37382-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision &ndash; ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:334428 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Kyoung Mu. editor.&#160;Matsushita, Yasuyuki. editor.&#160;Rehg, James M. editor.&#160;Hu, Zhanyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334428.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37431-9">http://dx.doi.org/10.1007/978-3-642-37431-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision &ndash; ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:334430 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Kyoung Mu. editor.&#160;Matsushita, Yasuyuki. editor.&#160;Rehg, James M. editor.&#160;Hu, Zhanyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334430.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37444-9">http://dx.doi.org/10.1007/978-3-642-37444-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision &ndash; ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV ent://SD_ILS/0/SD_ILS:334431 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Lee, Kyoung Mu. editor.&#160;Matsushita, Yasuyuki. editor.&#160;Rehg, James M. editor.&#160;Hu, Zhanyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334431.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37447-0">http://dx.doi.org/10.1007/978-3-642-37447-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334433 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Pei, Jian. editor.&#160;Tseng, Vincent S. editor.&#160;Cao, Longbing. editor.&#160;Motoda, Hiroshi. editor.&#160;Xu, Guandong. editor.<br/>Preferred Shelf Number&#160;ONLINE(334433.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37453-1">http://dx.doi.org/10.1007/978-3-642-37453-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334434 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Pei, Jian. editor.&#160;Tseng, Vincent S. editor.&#160;Cao, Longbing. editor.&#160;Motoda, Hiroshi. editor.&#160;Xu, Guandong. editor.<br/>Preferred Shelf Number&#160;ONLINE(334434.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37456-2">http://dx.doi.org/10.1007/978-3-642-37456-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Interactive Technologies and Multimedia Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334435 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Agrawal, Anupam. editor.&#160;Tripathi, R. C. editor.&#160;Do, Ellen Yi-Luen. editor.&#160;Tiwari, M. D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334435.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37463-0">http://dx.doi.org/10.1007/978-3-642-37463-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Logics Essays in Memory of Harald Ganzinger ent://SD_ILS/0/SD_ILS:334468 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Voronkov, Andrei. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334477 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Aldewereld, Huib. editor.&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334477.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37756-3">http://dx.doi.org/10.1007/978-3-642-37756-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potos&iacute;, Mexico, October 27 &ndash; November 4, 2012. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:334483 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Batyrshin, Ildar. editor.&#160;Mendoza, Miguel Gonz&aacute;lez. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334483.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37798-3">http://dx.doi.org/10.1007/978-3-642-37798-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potos&iacute;, Mexico, October 27 &ndash; November 4, 2012. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:334486 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Batyrshin, Ildar. editor.&#160;Gonz&aacute;lez Mendoza, Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334486.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37807-2">http://dx.doi.org/10.1007/978-3-642-37807-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334494 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Baldoni, Matteo. editor.&#160;Dennis, Louise. editor.&#160;Mascardi, Viviana. editor.&#160;Vasconcelos, Wamberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334494.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Health Information Science Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334496 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Huang, Guangyan. editor.&#160;Liu, Xiaohui. editor.&#160;He, Jing. editor.&#160;Klawonn, Frank. editor.&#160;Yao, Guiqing. editor.<br/>Preferred Shelf Number&#160;ONLINE(334496.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37899-7">http://dx.doi.org/10.1007/978-3-642-37899-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Technology Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:334512 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Takeda, Hideaki. editor.&#160;Qu, Yuzhong. editor.&#160;Mizoguchi, Riichiro. editor.&#160;Kitamura, Yoshinobu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37996-3">http://dx.doi.org/10.1007/978-3-642-37996-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334525 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Corchado, Juan M. editor.&#160;Bajo, Javier. editor.&#160;Kozlak, Jaroslaw. editor.&#160;Pawlewski, Pawel. editor.&#160;Molina, Jose M. editor.<br/>Preferred Shelf Number&#160;ONLINE(334525.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38061-7">http://dx.doi.org/10.1007/978-3-642-38061-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334528 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Demazeau, Yves. editor.&#160;Ishida, Toru. editor.&#160;Corchado, Juan M. editor.&#160;Bajo, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334528.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38073-0">http://dx.doi.org/10.1007/978-3-642-38073-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334532 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Linte, Cristian A. editor.&#160;Chen, Elvis C. S. editor.&#160;Berger, Marie-Odile. editor.&#160;Moore, John T. editor.&#160;Holmes, David R. editor.<br/>Preferred Shelf Number&#160;ONLINE(334532.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38085-3">http://dx.doi.org/10.1007/978-3-642-38085-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334549 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gomes, Carla. editor.&#160;Sellmann, Meinolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334549.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334576 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Cimiano, Philipp. editor.&#160;Corcho, Oscar. editor.&#160;Presutti, Valentina. editor.&#160;Hollink, Laura. editor.&#160;Rudolph, Sebastian. editor.<br/>Preferred Shelf Number&#160;ONLINE(334576.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38288-8">http://dx.doi.org/10.1007/978-3-642-38288-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence in Medicine 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 &ndash; June 1, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334583 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Peek, Niels. editor.&#160;Mar&iacute;n Morales, Roque. editor.&#160;Peleg, Mor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334583.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38326-7">http://dx.doi.org/10.1007/978-3-642-38326-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334602 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Za&iuml;ane, Osmar R. editor.&#160;Zilles, Sandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334602.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38457-8">http://dx.doi.org/10.1007/978-3-642-38457-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence X ent://SD_ILS/0/SD_ILS:334611 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Nguyen, Ngoc-Thanh. editor.&#160;Ko&#322;odziej, Joanna. editor.&#160;Burczy&#324;ski, Tadeusz. editor.&#160;Biba, Marenglen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334611.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38496-7">http://dx.doi.org/10.1007/978-3-642-38496-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334612 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Blesa, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Festa, Paola. editor.&#160;Roli, Andrea. editor.&#160;Sampels, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE(334612.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38516-2">http://dx.doi.org/10.1007/978-3-642-38516-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334615 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bonifaci, Vincenzo. editor.&#160;Demetrescu, Camil. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334615.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38527-8">http://dx.doi.org/10.1007/978-3-642-38527-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334621 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Dziech, Andrzej. editor.&#160;Czy&#380;ewski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334621.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38559-9">http://dx.doi.org/10.1007/978-3-642-38559-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334627 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ali, Moonis. editor.&#160;Bosse, Tibor. editor.&#160;Hindriks, Koen V. editor.&#160;Hoogendoorn, Mark. editor.&#160;Jonker, Catholijn M. editor.<br/>Preferred Shelf Number&#160;ONLINE(334627.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38577-3">http://dx.doi.org/10.1007/978-3-642-38577-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334633 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE(334633.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38610-7">http://dx.doi.org/10.1007/978-3-642-38610-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II ent://SD_ILS/0/SD_ILS:334636 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Fco. Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334636.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38622-0">http://dx.doi.org/10.1007/978-3-642-38622-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334637 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Sanches, Jo&atilde;o M. editor.&#160;Mic&oacute;, Luisa. editor.&#160;Cardoso, Jaime S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334637.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38628-2">http://dx.doi.org/10.1007/978-3-642-38628-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334639 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;K&#322;opotek, Mieczys&#322;aw A. editor.&#160;Koronacki, Jacek. editor.&#160;Marciniak, Ma&#322;gorzata. editor.&#160;Mykowiecka, Agnieszka. editor.&#160;Wierzcho&#324;, S&#322;awomir T. editor.<br/>Preferred Shelf Number&#160;ONLINE(334639.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38634-3">http://dx.doi.org/10.1007/978-3-642-38634-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I ent://SD_ILS/0/SD_ILS:334640 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;&Aacute;lvarez S&aacute;nchez, Jos&eacute; Ram&oacute;n. editor.&#160;Paz L&oacute;pez, F&eacute;lix. editor.&#160;Toledo Moreo, Fco. Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334640.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38637-4">http://dx.doi.org/10.1007/978-3-642-38637-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334644 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE(334644.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38658-9">http://dx.doi.org/10.1007/978-3-642-38658-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334648 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Rojas, Ignacio. editor.&#160;Joya, Gonzalo. editor.&#160;Gabestany, Joan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334648.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38679-4">http://dx.doi.org/10.1007/978-3-642-38679-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334649 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Rojas, Ignacio. editor.&#160;Joya, Gonzalo. editor.&#160;Cabestany, Joan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334649.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38682-4">http://dx.doi.org/10.1007/978-3-642-38682-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334652 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Dastani, Mehdi. editor.&#160;H&uuml;bner, Jomi F. editor.&#160;Logan, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334652.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38700-5">http://dx.doi.org/10.1007/978-3-642-38700-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334653 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Mo, Hongwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334653.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38703-6">http://dx.doi.org/10.1007/978-3-642-38703-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334655 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Salinesi, Camille. editor.&#160;Norrie, Moira C. editor.&#160;Pastor, &Oacute;scar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334655.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38709-8">http://dx.doi.org/10.1007/978-3-642-38709-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334657 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Mo, Hongwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334657.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38715-9">http://dx.doi.org/10.1007/978-3-642-38715-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334665 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Du, Ding-Zhu. editor.&#160;Zhang, Guochuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334665.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Brain Inspired Cognitive Systems 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334668 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Liu, Derong. editor.&#160;Alippi, Cesare. editor.&#160;Zhao, Dongbin. editor.&#160;Hussain, Amir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334668.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38786-9">http://dx.doi.org/10.1007/978-3-642-38786-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XVIII Special Issue on Cyberworlds ent://SD_ILS/0/SD_ILS:334670 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Kuijper, Arjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334670.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38803-3">http://dx.doi.org/10.1007/978-3-642-38803-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334673 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Riguzzi, Fabrizio. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334673.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334674 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;M&eacute;tais, Elisabeth. editor.&#160;Meziane, Farid. editor.&#160;Saraee, Mohamad. editor.&#160;Sugumaran, Vijayan. editor.&#160;Vadera, Sunil. editor.<br/>Preferred Shelf Number&#160;ONLINE(334674.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38824-8">http://dx.doi.org/10.1007/978-3-642-38824-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334680 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Carberry, Sandra. editor.&#160;Weibelzahl, Stephan. editor.&#160;Micarelli, Alessandro. editor.&#160;Semeraro, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334680.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38844-6">http://dx.doi.org/10.1007/978-3-642-38844-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334681 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Drugman, Thomas. editor.&#160;Dutoit, Thierry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334681.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38847-7">http://dx.doi.org/10.1007/978-3-642-38847-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334684 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Giardini, Francesca. editor.&#160;Amblard, Fr&eacute;d&eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334684.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38859-0">http://dx.doi.org/10.1007/978-3-642-38859-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Medical Imaging 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28&ndash;July 3, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334687 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Gee, James C. editor.&#160;Joshi, Sarang. editor.&#160;Pohl, Kilian M. editor.&#160;Wells, William M. editor.&#160;Z&ouml;llei, Lilla. editor.<br/>Preferred Shelf Number&#160;ONLINE(334687.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38868-2">http://dx.doi.org/10.1007/978-3-642-38868-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Analysis 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334692 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;K&auml;m&auml;r&auml;inen, Joni-Kristian. editor.&#160;Koskela, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334692.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38886-6">http://dx.doi.org/10.1007/978-3-642-38886-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334705 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Zhang, Jianlong. editor.&#160;Sun, Chengyu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334705.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38974-0">http://dx.doi.org/10.1007/978-3-642-38974-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition 5th Mexican Conference, MCPR 2013, Quer&eacute;taro, Mexico, June 26-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334709 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Carrasco-Ochoa, Jes&uacute;s Ariel. editor.&#160;Mart&iacute;nez-Trinidad, Jos&eacute; Francisco. editor.&#160;Rodr&iacute;guez, Joaqu&iacute;n Salas. editor.&#160;Baja, Gabriella Sanniti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334709.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38989-4">http://dx.doi.org/10.1007/978-3-642-38989-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334719 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Delany, Sarah Jane. editor.&#160;Onta&ntilde;&oacute;n, Santiago. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334719.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39056-2">http://dx.doi.org/10.1007/978-3-642-39056-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334721 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Holzinger, Andreas. editor.&#160;Ziefle, Martina. editor.&#160;Hitz, Martin. editor.&#160;Debevc, Matja&#382;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334721.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39062-3">http://dx.doi.org/10.1007/978-3-642-39062-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334722 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Guo, Chengan. editor.&#160;Hou, Zeng-Guang. editor.&#160;Zeng, Zhigang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334722.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39065-4">http://dx.doi.org/10.1007/978-3-642-39065-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334800 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Baker, Christopher J. O. editor.&#160;Butler, Greg. editor.&#160;Jurisica, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334800.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39437-9">http://dx.doi.org/10.1007/978-3-642-39437-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334804 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Biswas, Jit. editor.&#160;Kobayashi, Hisato. editor.&#160;Wong, Lawrence. editor.&#160;Abdulrazak, Bessam. editor.&#160;Mokhtari, Mounir. editor.<br/>Preferred Shelf Number&#160;ONLINE(334804.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39470-6">http://dx.doi.org/10.1007/978-3-642-39470-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334807 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Huang, De-Shuang. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Figueroa, Juan Carlos. editor.&#160;Premaratne, Prashan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334807.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39479-9">http://dx.doi.org/10.1007/978-3-642-39479-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334808 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Huang, De-Shuang. editor.&#160;Jo, Kang-Hyun. editor.&#160;Zhou, Yong-Quan. editor.&#160;Han, Kyungsook. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334808.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39482-9">http://dx.doi.org/10.1007/978-3-642-39482-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334813 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Qin, Zengchang. editor.&#160;Huynh, Van-Nam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334813.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39515-4">http://dx.doi.org/10.1007/978-3-642-39515-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 &ndash; August 3, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334814 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;K&uuml;hnberger, Kai-Uwe. editor.&#160;Rudolph, Sebastian. editor.&#160;Wang, Pei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334819 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Mitkov, Ruslan. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334819.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39593-2">http://dx.doi.org/10.1007/978-3-642-39593-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334820 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334822 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Morgenstern, Leora. editor.&#160;Stefaneas, Petros. editor.&#160;L&eacute;vy, Fran&ccedil;ois. editor.&#160;Wyner, Adam. editor.&#160;Paschke, Adrian. editor.<br/>Preferred Shelf Number&#160;ONLINE(334822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-11-28T20:34:56Z 2024-11-28T20:34:56Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>