Search Results for - Narrowed by: Computer software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ps$003d300$0026isd$003dtrue? 2024-12-05T17:11:12Z Quantum Computing: An Applied Approach ent://SD_ILS/0/SD_ILS:483644 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hidary, Jack D. 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-23922-0">https://doi.org/10.1007/978-3-030-23922-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algoritma tasarlama ve C ile temel bilgisayar programlama ent://SD_ILS/0/SD_ILS:514240 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Abu&#351;o&#287;lu, Atakan.<br/>Preferred Shelf Number&#160;QA76.75 A28 2019<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398985 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999&#160;McMinn, Phil. editor. (orcid)0000-0001-9137-7433&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399042 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bender, Michael A. editor.&#160;Farach-Colton, Mart&iacute;n. editor. (orcid)0000-0003-3616-7788&#160;Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77404-6">https://doi.org/10.1007/978-3-319-77404-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Identifying Patterns in Financial Markets New Approach Combining Rules Between PIPs and SAX ent://SD_ILS/0/SD_ILS:399180 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Leit&atilde;o, Jo&atilde;o. author.&#160;Neves, Rui Ferreira. author.&#160;Horta, Nuno C.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-70160-8">https://doi.org/10.1007/978-3-319-70160-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399189 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713&#160;Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73915-1">https://doi.org/10.1007/978-3-319-73915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18&ndash;19, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:399222 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Li, Kangshun. editor.&#160;Li, Wei. editor.&#160;Chen, Zhangxing. editor.&#160;Liu, Yong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1648-7">https://doi.org/10.1007/978-981-13-1648-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399244 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Huang, De-Shuang. editor.&#160;Jo, Kang-Hyun. editor.&#160;Zhang, Xiao-Long. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95933-7">https://doi.org/10.1007/978-3-319-95933-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399289 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Hoang, Duong Hung. editor.&#160;Hong, Tzung-Pei. editor.&#160;Pham, Hoang. editor.&#160;Trawi&#324;ski, Bogdan. editor. (orcid)0000-0002-2956-6388<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75417-8">https://doi.org/10.1007/978-3-319-75417-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Autonomous Robotic Systems 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399290 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Giuliani, Manuel. editor. (orcid)0000-0003-3781-7623&#160;Assaf, Tareq. editor.&#160;Giannaccini, Maria Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96728-8">https://doi.org/10.1007/978-3-319-96728-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399294 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Ferrante, Enzo. editor. (orcid)0000-0002-8500-788X&#160;Dalca, Adrian V. editor. (orcid)0000-0002-8422-0136&#160;Martel, Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00689-1">https://doi.org/10.1007/978-3-030-00689-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Brain Inspired Cognitive Systems 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399295 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ren, Jinchang. editor.&#160;Hussain, Amir. editor.&#160;Zheng, Jiangbin. editor.&#160;Liu, Cheng-Lin. editor.&#160;Luo, Bin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00563-4">https://doi.org/10.1007/978-3-030-00563-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399297 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Blum, Christian. editor. (orcid)0000-0002-1736-3559&#160;Christensen, Anders L. editor. (orcid)0000-0002-9994-2908&#160;Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399342 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Zhou, Zhi-Hua. editor.&#160;Yang, Qiang. editor.&#160;Gao, Yang. editor.&#160;Zheng, Yu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2122-1">https://doi.org/10.1007/978-981-13-2122-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399354 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lotker, Zvi. editor.&#160;Patt-Shamir, Boaz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01325-7">https://doi.org/10.1007/978-3-030-01325-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems Engineering &ndash; WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399363 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hacid, Hakim. editor. (orcid)0000-0003-2265-9343&#160;Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307&#160;Wang, Hua. editor. (orcid)0000-0002-8465-0996&#160;Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388&#160;Zhou, Rui. editor. (orcid)0000-0001-6807-4362<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02922-7">https://doi.org/10.1007/978-3-030-02922-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18&ndash;19, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399369 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Li, Kangshun. editor.&#160;Li, Wei. editor.&#160;Chen, Zhangxing. editor.&#160;Liu, Yong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1651-7">https://doi.org/10.1007/978-981-13-1651-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399403 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Miller, Tim. editor. (orcid)0000-0003-4908-6063&#160;Oren, Nir. editor. (orcid)0000-0002-4854-9014&#160;Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878&#160;Noda, Itsuki. editor. (orcid)0000-0003-1987-5336&#160;Savarimuthu, Bastin Tony Roy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03098-8">https://doi.org/10.1007/978-3-030-03098-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399405 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kaenampornpan, Manasawee. editor.&#160;Malaka, Rainer. editor.&#160;Nguyen, Duc Dung. editor.&#160;Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03014-8">https://doi.org/10.1007/978-3-030-03014-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399406 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Massoni, Tiago. editor. (orcid)0000-0002-9423-7556&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399485 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Feng, Xinyu. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;Yang, Zijiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hoshi, Mizuho. editor.&#160;Seki, Shinnosuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399498 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Panda, B.S. editor.&#160;Goswami, Partha P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74180-2">https://doi.org/10.1007/978-3-319-74180-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2nd Workshop on Communication Security Cryptography and Physical Layer Security ent://SD_ILS/0/SD_ILS:399520 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Baldi, Marco. editor. (orcid)0000-0002-8754-5526&#160;Quaglia, Elizabeth A. editor.&#160;Tomasin, Stefano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59265-7">https://doi.org/10.1007/978-3-319-59265-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399667 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Tang, Shaojie. editor.&#160;Du, Ding-Zhu. editor.&#160;Woodruff, David. editor.&#160;Butenko, Sergiy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04618-7">https://doi.org/10.1007/978-3-030-04618-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399589 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Mouhoub, Malek. editor.&#160;Sadaoui, Samira. editor.&#160;Ait Mohamed, Otmane. editor.&#160;Ali, Moonis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92058-0">https://doi.org/10.1007/978-3-319-92058-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Methodologies 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399690 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Huang, De-Shuang. editor.&#160;Gromiha, M. Michael. editor.&#160;Han, Kyungsook. editor.&#160;Hussain, Abir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95957-3">https://doi.org/10.1007/978-3-319-95957-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399654 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Wang, Shilong. editor.&#160;Price, Mark. editor.&#160;Lim, Ming K. editor.&#160;Jin, Yan. editor.&#160;Luo, Yuanxin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2396-6">https://doi.org/10.1007/978-981-13-2396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Study Guide to the ISTQB&reg; Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams ent://SD_ILS/0/SD_ILS:399773 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Roman, Adam. 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-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice XIV ent://SD_ILS/0/SD_ILS:399882 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Riolo, Rick. editor.&#160;Worzel, Bill. editor.&#160;Goldman, Brian. editor.&#160;Tozier, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97088-2">https://doi.org/10.1007/978-3-319-97088-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399886 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Mitrovic, Tanja. editor.&#160;Xue, Bing. editor. (orcid)0000-0002-4865-8026&#160;Li, Xiaodong. editor. (orcid)0000-0003-0346-1526&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03991-2">https://doi.org/10.1007/978-3-030-03991-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399894 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Fagan, David. editor. (orcid)0000-0002-5982-8983&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;O'Neill, Michael. editor. (orcid)0000-0001-8734-417X&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04070-3">https://doi.org/10.1007/978-3-030-04070-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399896 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kim, Donghyun. editor.&#160;Uma, R. N. editor.&#160;Zelikovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04651-4">https://doi.org/10.1007/978-3-030-04651-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399903 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Ober, Iulian. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399921 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234&#160;Stefanuk, Vadim L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Thinking First Algorithms, Then Code ent://SD_ILS/0/SD_ILS:399931 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ferragina, Paolo. author.&#160;Luccio, Fabrizio. 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-97940-3">https://doi.org/10.1007/978-3-319-97940-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1&ndash;3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399944 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802&#160;Raiconi, Andrea. editor. (orcid)0000-0002-7188-8794&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00898-7">https://doi.org/10.1007/978-3-030-00898-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399950 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lewis, Peter R. editor.&#160;Headleand, Christopher J. editor.&#160;Battle, Steve. editor.&#160;Ritsos, Panagiotis D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90418-4">https://doi.org/10.1007/978-3-319-90418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399954 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bakhshi, Rena. editor.&#160;Ballarini, Paolo. editor.&#160;Barbot, Beno&icirc;t. editor.&#160;Castel-Taleb, Hind. editor.&#160;Remke, Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02227-3">https://doi.org/10.1007/978-3-030-02227-3</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399967 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399970 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97589-4">https://doi.org/10.1007/978-3-319-97589-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3&ndash;6, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399979 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hartmann, Sven. editor.&#160;Ma, Hui. editor.&#160;Hameurlain, Abdelkader. editor.&#160;Pernul, G&uuml;nther. editor.&#160;Wagner, Roland R. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98809-2">https://doi.org/10.1007/978-3-319-98809-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400065 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2&ndash;4, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400066 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Qiao, Jianyong. editor.&#160;Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646&#160;Pan, Linqiang. editor. (orcid)0000-0002-4554-455X&#160;Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182&#160;Zhang, Xingyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2829-9">https://doi.org/10.1007/978-981-13-2829-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400083 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01418-6">https://doi.org/10.1007/978-3-030-01418-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400086 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Herrera, Francisco. editor. (orcid)0000-0002-7283-312X&#160;Damas, Sergio. editor. (orcid)0000-0002-8377-8349&#160;Montes, Rosana. editor. (orcid)0000-0002-0183-044X&#160;Alonso, Sergio. editor. (orcid)0000-0001-6620-328X&#160;Cord&oacute;n, &Oacute;scar. editor. (orcid)0000-0001-5112-5629<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00374-6">https://doi.org/10.1007/978-3-030-00374-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400042 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99259-4">https://doi.org/10.1007/978-3-319-99259-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN XV 15th International Conference, Coimbra, Portugal, September 8&ndash;12, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400132 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Auger, Anne. editor.&#160;Fonseca, Carlos M. editor.&#160;Louren&ccedil;o, Nuno. editor. (orcid)0000-0002-2154-0642&#160;Machado, Penousal. editor.&#160;Paquete, Lu&iacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99253-2">https://doi.org/10.1007/978-3-319-99253-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Computation for Big Data ent://SD_ILS/0/SD_ILS:400134 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Akerkar, Rajendra. 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-91851-8">https://doi.org/10.1007/978-3-319-91851-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400136 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Biedl, Therese. editor. (orcid)0000-0002-9003-3783&#160;Kerren, Andreas. editor. (orcid)0000-0002-0519-2537&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04414-5">https://doi.org/10.1007/978-3-030-04414-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2&ndash;4, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400406 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Qiao, Jianyong. editor.&#160;Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646&#160;Pan, Linqiang. editor. (orcid)0000-0002-4554-455X&#160;Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182&#160;Zhang, Xingyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2826-8">https://doi.org/10.1007/978-981-13-2826-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400463 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Pelta, David A. editor.&#160;Cabrera, Inma P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Auction Based Resource Provisioning in Cloud Computing ent://SD_ILS/0/SD_ILS:400482 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Baranwal, Gaurav. author.&#160;Kumar, Dinesh. author.&#160;Raza, Zahid. author.&#160;Vidyarthi, Deo Prakash. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8737-0">https://doi.org/10.1007/978-981-10-8737-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400484 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Pimenidis, Elias. editor.&#160;Khan, Zaheer. editor.&#160;Trawi&#324;ski, Bogdan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98443-8">https://doi.org/10.1007/978-3-319-98443-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400512 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Huang, De-Shuang. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Premaratne, Prashan. editor.&#160;Gupta, Phalguni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95930-6">https://doi.org/10.1007/978-3-319-95930-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400514 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01424-7">https://doi.org/10.1007/978-3-030-01424-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400541 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Hammer, Barbara. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01421-6">https://doi.org/10.1007/978-3-030-01421-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400556 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hu, Ting. editor.&#160;Wang, Feng. editor.&#160;Li, Hongwei. editor.&#160;Wang, Qian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05234-8">https://doi.org/10.1007/978-3-030-05234-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Random Numbers and Computers ent://SD_ILS/0/SD_ILS:400593 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kneusel, Ronald T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77697-2">https://doi.org/10.1007/978-3-319-77697-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400703 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627&#160;Ryan, Joe. editor. (orcid)0000-0002-7781-0306&#160;Smyth, William F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78825-8">https://doi.org/10.1007/978-3-319-78825-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7&ndash;8, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400704 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Solis-Oba, Roberto. editor. (orcid)0000-0002-7518-4161&#160;Fleischer, Rudolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89441-6">https://doi.org/10.1007/978-3-319-89441-6</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400716 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90104-6">https://doi.org/10.1007/978-3-319-90104-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401077 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:401105 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401573 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.&#160;Plagianakos, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92007-8">https://doi.org/10.1007/978-3-319-92007-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401585 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Tang, Qirong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93818-9">https://doi.org/10.1007/978-3-319-93818-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401537 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Tang, Qirong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93815-8">https://doi.org/10.1007/978-3-319-93815-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401678 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Alistarh, Dan. editor.&#160;Delis, Alex. editor.&#160;Pallis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74875-7">https://doi.org/10.1007/978-3-319-74875-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401744 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122&#160;L&oacute;pez-Ib&aacute;&ntilde;ez, Manuel. editor. (orcid)0000-0001-9974-1295&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77449-7">https://doi.org/10.1007/978-3-319-77449-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401745 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Castelli, Mauro. editor.&#160;Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011&#160;Zhang, Mengjie. editor.&#160;Cagnoni, Stefano. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77553-1">https://doi.org/10.1007/978-3-319-77553-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401746 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78024-5">https://doi.org/10.1007/978-3-319-78024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401961 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Hoang, Duong Hung. editor.&#160;Hong, Tzung-Pei. editor.&#160;Pham, Hoang. editor.&#160;Trawi&#324;ski, Bogdan. editor. (orcid)0000-0002-2956-6388<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75420-8">https://doi.org/10.1007/978-3-319-75420-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 13th International Conference, &Eacute;volution Artificielle, EA 2017, Paris, France, October 25&ndash;27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401974 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lutton, Evelyne. editor.&#160;Legrand, Pierrick. editor.&#160;Parrend, Pierre. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Schoenauer, Marc. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78133-4">https://doi.org/10.1007/978-3-319-78133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401958 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401979 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Sim, Kevin. editor. (orcid)0000-0001-6555-7721&#160;Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77538-8">https://doi.org/10.1007/978-3-319-77538-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402006 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Wang, Lusheng. editor.&#160;Zhu, Daming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94776-1">https://doi.org/10.1007/978-3-319-94776-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14&ndash;17, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402302 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nicosia, Giuseppe. editor.&#160;Pardalos, Panos. editor.&#160;Giuffrida, Giovanni. editor.&#160;Umeton, Renato. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72926-8">https://doi.org/10.1007/978-3-319-72926-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrency Control in Distributed System Using Mutual Exclusion ent://SD_ILS/0/SD_ILS:402460 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kanrar, Sukhendu. author.&#160;Chaki, Nabendu. author.&#160;Chattopadhyay, Samiran. 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-5559-1">https://doi.org/10.1007/978-981-10-5559-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402536 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Galmiche, Didier. editor.&#160;Schulz, Stephan. editor.&#160;Sebastiani, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice XV ent://SD_ILS/0/SD_ILS:402551 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Banzhaf, Wolfgang. editor.&#160;Olson, Randal S. editor.&#160;Tozier, William. editor.&#160;Riolo, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90512-9">https://doi.org/10.1007/978-3-319-90512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402555 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026&#160;Halloy, Jos&eacute;. editor.&#160;Mura, Anna. editor.&#160;Mangan, Michael. editor. (orcid)0000-0002-0293-8874&#160;Lepora, Nathan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95972-6">https://doi.org/10.1007/978-3-319-95972-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400959 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bagheri, Ebrahim. editor.&#160;Cheung, Jackie C.K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89656-4">https://doi.org/10.1007/978-3-319-89656-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11&ndash;13, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:398944 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lee, Jon. editor.&#160;Rinaldi, Giovanni. editor.&#160;Mahjoub, A. Ridha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96151-4">https://doi.org/10.1007/978-3-319-96151-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401204 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Rutkowski, Leszek. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Korytkowski, Marcin. editor.&#160;Pedrycz, Witold. editor.&#160;Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91253-0">https://doi.org/10.1007/978-3-319-91253-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401205 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Rutkowski, Leszek. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Korytkowski, Marcin. editor.&#160;Pedrycz, Witold. editor.&#160;Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91262-2">https://doi.org/10.1007/978-3-319-91262-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401227 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chapman, Peter. editor. (orcid)0000-0002-5524-5780&#160;Endres, Dominik. editor. (orcid)0000-0001-9756-9655&#160;Pernelle, Nathalie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91379-7">https://doi.org/10.1007/978-3-319-91379-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401274 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Khomenko, Victor. editor.&#160;Roux, Olivier H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401313 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bonato, Anthony. editor.&#160;Pra&#322;at, Pawe&#322;. editor.&#160;Raigorodskii, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92871-5">https://doi.org/10.1007/978-3-319-92871-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401466 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;van Hoeve, Willem-Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93031-2">https://doi.org/10.1007/978-3-319-93031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401457 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;de Cos Juez, Francisco Javier. editor.&#160;Villar, Jos&eacute; Ram&oacute;n. editor.&#160;de la Cal, Enrique A. editor.&#160;Herrero, &Aacute;lvaro. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92639-1">https://doi.org/10.1007/978-3-319-92639-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401459 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Shapira, Dana. editor. (orcid)0000-0002-2320-9064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401584 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.&#160;Plagianakos, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92016-0">https://doi.org/10.1007/978-3-319-92016-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401586 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lambers, Leen. editor. (orcid)0000-0001-6937-5167&#160;Weber, Jens. editor. (orcid)0000-0003-4591-6728&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Diagnosis of Active Systems ent://SD_ILS/0/SD_ILS:401606 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lamperti, Gianfranco. author.&#160;Zanella, Marina. author.&#160;Zhao, Xiangfu. 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-92733-6">https://doi.org/10.1007/978-3-319-92733-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401531 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chellappan, Sriram. editor.&#160;Cheng, Wei. editor.&#160;Li, Wei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94268-1">https://doi.org/10.1007/978-3-319-94268-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401557 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Amine, Abdelmalek. editor.&#160;Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064&#160;Ait Mohamed, Otmane. editor.&#160;Djebbar, Bachir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89743-1">https://doi.org/10.1007/978-3-319-89743-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401827 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chen, Jianer. editor.&#160;Lu, Pinyan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78455-7">https://doi.org/10.1007/978-3-319-78455-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401975 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Liapis, Antonios. editor.&#160;Romero Cardalda, Juan Jes&uacute;s. editor.&#160;Ek&aacute;rt, Anik&oacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77583-8">https://doi.org/10.1007/978-3-319-77583-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Heckel, Reiko. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402225 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478&#160;Sung, Wing-Kin. editor.&#160;Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75172-6">https://doi.org/10.1007/978-3-319-75172-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Big Data Analytics Trends, Issues, and Challenges ent://SD_ILS/0/SD_ILS:399071 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Alani, Mohammed M. editor.&#160;Tawfik, Hissam. editor.&#160;Saeed, Mohammed. editor.&#160;Anya, Obinna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76472-6">https://doi.org/10.1007/978-3-319-76472-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399034 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bai, Xiao. editor.&#160;Hancock, Edwin R. editor.&#160;Ho, Tin Kam. editor.&#160;Wilson, Richard C. editor.&#160;Biggio, Battista. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97785-0">https://doi.org/10.1007/978-3-319-97785-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399101 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Trollmann, Frank. editor.&#160;Turhan, Anni-Yasmin. 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-00111-7">https://doi.org/10.1007/978-3-030-00111-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399525 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Pimenidis, Elias. editor.&#160;Khan, Zaheer. editor.&#160;Trawi&#324;ski, Bogdan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98446-9">https://doi.org/10.1007/978-3-319-98446-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399599 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Pelta, David A. editor.&#160;Cabrera, Inma P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Discrete Math Workbook A Companion Manual for Practical Study ent://SD_ILS/0/SD_ILS:399603 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kurgalin, Sergei. author.&#160;Borzunov, Sergei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92645-2">https://doi.org/10.1007/978-3-319-92645-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399615 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Brandst&auml;dt, Andreas. editor.&#160;K&ouml;hler, Ekkehard. editor.&#160;Meer, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00256-5">https://doi.org/10.1007/978-3-030-00256-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Applications ALAP 2018 ent://SD_ILS/0/SD_ILS:399838 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Das, Sajal K. editor.&#160;Chaki, Nabendu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8102-6">https://doi.org/10.1007/978-981-10-8102-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400100 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Huang, Tingwen. editor. (orcid)0000-0001-9610-846X&#160;Lv, Jiancheng. editor.&#160;Sun, Changyin. editor.&#160;Tuzikov, Alexander V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92537-0">https://doi.org/10.1007/978-3-319-92537-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400102 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Li, Kang. editor.&#160;Zhang, Jianhua. editor.&#160;Chen, Minyou. editor.&#160;Yang, Zhile. editor.&#160;Niu, Qun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2381-2">https://doi.org/10.1007/978-981-13-2381-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400105 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428&#160;Ferm&eacute;, Eduardo. editor. (orcid)0000-0002-9618-2421&#160;Guti&eacute;rrez Segura, Flabio. editor.&#160;Rodr&iacute;guez Melquiades, Jos&eacute; Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03928-8">https://doi.org/10.1007/978-3-030-03928-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400106 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bramer, Max. editor.&#160;Petridis, Miltos. 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-04191-5">https://doi.org/10.1007/978-3-030-04191-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400118 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73441-5">https://doi.org/10.1007/978-3-319-73441-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks ent://SD_ILS/0/SD_ILS:400122 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Rozonoer, Lev. editor.&#160;Mirkin, Boris. editor. (orcid)0000-0001-5470-8635&#160;Muchnik, Ilya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99492-5">https://doi.org/10.1007/978-3-319-99492-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400175 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05063-4">https://doi.org/10.1007/978-3-030-05063-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400211 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bajo, Javier. editor.&#160;Corchado, Juan M. editor.&#160;Navarro Mart&iacute;nez, Elena Mar&iacute;a. editor.&#160;Osaba Icedo, Eneko. editor.&#160;Mathieu, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94779-2">https://doi.org/10.1007/978-3-319-94779-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Functional Programming ent://SD_ILS/0/SD_ILS:400233 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Stone, John David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-57970-1">https://doi.org/10.1007/978-3-662-57970-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400266 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Castro, F&eacute;lix. editor.&#160;Miranda-Jim&eacute;nez, Sabino. editor.&#160;Gonz&aacute;lez-Mendoza, Miguel. 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-02840-4">https://doi.org/10.1007/978-3-030-02840-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400267 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Castro, F&eacute;lix. editor.&#160;Miranda-Jim&eacute;nez, Sabino. editor.&#160;Gonz&aacute;lez-Mendoza, Miguel. 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-02837-4">https://doi.org/10.1007/978-3-030-02837-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017 ent://SD_ILS/0/SD_ILS:400288 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Dash, Subhransu Sekhar. editor.&#160;Naidu, Paruchuri Chandra Babu. editor.&#160;Bayindir, Ramazan. editor.&#160;Das, Swagatam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7868-2">https://doi.org/10.1007/978-981-10-7868-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400303 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05054-2">https://doi.org/10.1007/978-3-030-05054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400314 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Li, Kang. editor.&#160;Fei, Minrui. editor.&#160;Du, Dajun. editor.&#160;Yang, Zhile. editor.&#160;Yang, Dongsheng. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2384-3">https://doi.org/10.1007/978-981-13-2384-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400322 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Demazeau, Yves. editor.&#160;An, Bo. editor. (orcid)0000-0002-7064-7438&#160;Bajo, Javier. editor.&#160;Fern&aacute;ndez-Caballero, 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-94580-4">https://doi.org/10.1007/978-3-319-94580-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400335 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Epstein, Leah. editor.&#160;Erlebach, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04693-4">https://doi.org/10.1007/978-3-030-04693-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15&ndash;17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400337 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Christodoulou, George. editor.&#160;Harks, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04612-5">https://doi.org/10.1007/978-3-030-04612-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400340 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mining Over Air: Wireless Communication Networks Analytics ent://SD_ILS/0/SD_ILS:400363 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ouyang, Ye. author.&#160;Hu, Mantian. author.&#160;Huet, Alexis. author.&#160;Li, Zhongyuan. 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-92312-3">https://doi.org/10.1007/978-3-319-92312-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400462 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Perfilieva, Irina. editor.&#160;Bouchon-Meunier, Bernadette. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91479-4">https://doi.org/10.1007/978-3-319-91479-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Graph Algorithms Sequential, Parallel and Distributed ent://SD_ILS/0/SD_ILS:400631 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Erciyes, K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73235-0">https://doi.org/10.1007/978-3-319-73235-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Cryptographic Processor ent://SD_ILS/0/SD_ILS:400765 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Liu, Leibo. author.&#160;Wang, Bo. author.&#160;Wei, Shaojun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8899-5">https://doi.org/10.1007/978-981-10-8899-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7&ndash;9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400773 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Zu, Qiaohong. editor.&#160;Hu, Bo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74521-3">https://doi.org/10.1007/978-3-319-74521-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Personal Communications Simulation and Complexity ent://SD_ILS/0/SD_ILS:400785 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;A. M. El-Bendary, Mohsen. 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-7131-7">https://doi.org/10.1007/978-981-10-7131-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Trusted Autonomy ent://SD_ILS/0/SD_ILS:400821 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Abbass, Hussein A. editor.&#160;Scholz, Jason. editor.&#160;Reid, Darryn J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64816-3">https://doi.org/10.1007/978-3-319-64816-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer ent://SD_ILS/0/SD_ILS:400983 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Jenkyns, Tom. author.&#160;Stephenson, Ben. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70151-6">https://doi.org/10.1007/978-3-319-70151-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programlama ve veritaban&#305; mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:379979 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;&Ccedil;amo&#287;lu, Kadir<br/>Preferred Shelf Number&#160;QA76.755 C36 2016<br/>Format:&#160;Visual Materials<br/>Availability&#160;Beytepe Library~1<br/> Hydraulically Actuated Hexapod Robots Design, Implementation and Control ent://SD_ILS/0/SD_ILS:488688 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nonami, Kenzo. author.&#160;Barai, Ranjit Kumar. author.&#160;Irawan, Addie. author.&#160;Daud, Mohd Razali. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-54349-7">https://doi.org/10.1007/978-4-431-54349-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical LaTeX ent://SD_ILS/0/SD_ILS:488850 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gr&auml;tzer, George. 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-06425-3">https://doi.org/10.1007/978-3-319-06425-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Technologies in Urban Mapping Built Space and Mental Space ent://SD_ILS/0/SD_ILS:486873 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Contin, Antonella. editor.&#160;Paolini, Paolo. editor.&#160;Salerno, Rossella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-03798-1">https://doi.org/10.1007/978-3-319-03798-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Realtime Data Mining Self-Learning Techniques for Recommendation Engines ent://SD_ILS/0/SD_ILS:332858 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Paprotny, Alexander. author.&#160;Thess, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332858.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01321-3">http://dx.doi.org/10.1007/978-3-319-01321-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334014 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Qadeer, Shaz. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334014.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334022 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Iwama, Kazuo. editor.&#160;Kawano, Yasuhito. editor.&#160;Murao, Mio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334022.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35656-8">http://dx.doi.org/10.1007/978-3-642-35656-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334025 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Frey, Davide. editor.&#160;Raynal, Michel. editor.&#160;Sarkar, Saswati. editor.&#160;Shyamasundar, Rudrapatna K. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE(334025.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334242 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Sahai, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334242.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36594-2">http://dx.doi.org/10.1007/978-3-642-36594-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334517 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Arabnia, Hamid R. editor.&#160;Kim, Cheonshik. editor.&#160;Shi, Weisong. editor.&#160;Gil, Joon-Min. editor.<br/>Preferred Shelf Number&#160;ONLINE(334517.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38027-3">http://dx.doi.org/10.1007/978-3-642-38027-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334520 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Cai, Zhipeng. editor.&#160;Eulenstein, Oliver. editor.&#160;Janies, Daniel. editor.&#160;Schwartz, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334520.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38036-5">http://dx.doi.org/10.1007/978-3-642-38036-5</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:334547 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334893 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Dehne, Frank. editor.&#160;Solis-Oba, Roberto. editor.&#160;Sack, J&ouml;rg-R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334893.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40104-6">http://dx.doi.org/10.1007/978-3-642-40104-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334736 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hancock, Edwin. editor.&#160;Pelillo, Marcello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334736.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39140-8">http://dx.doi.org/10.1007/978-3-642-39140-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334899 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gramoli, Vincent. editor.&#160;Guerraoui, Rachid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334899.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40148-0">http://dx.doi.org/10.1007/978-3-642-40148-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334739 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ngom, Alioune. editor.&#160;Formenti, Enrico. editor.&#160;Hao, Jin-Kao. editor.&#160;Zhao, Xing-Ming. editor.&#160;Laarhoven, Twan. editor.<br/>Preferred Shelf Number&#160;ONLINE(334739.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39159-0">http://dx.doi.org/10.1007/978-3-642-39159-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334966 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bauschert, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334966.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40552-5">http://dx.doi.org/10.1007/978-3-642-40552-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334925 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chatterjee, Krishnendu. editor.&#160;Sgall, Jir&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334925.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334975 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Cuzzocrea, Alfredo. editor.&#160;Kittl, Christian. editor.&#160;Simos, Dimitris E. editor.&#160;Weippl, Edgar. editor.&#160;Xu, Lida. editor.<br/>Preferred Shelf Number&#160;ONLINE(334975.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40588-4">http://dx.doi.org/10.1007/978-3-642-40588-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334932 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bertoni, Guido. editor.&#160;Coron, Jean-S&eacute;bastien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334932.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40349-1">http://dx.doi.org/10.1007/978-3-642-40349-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334948 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Darling, Aaron. editor.&#160;Stoye, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334948.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40453-5">http://dx.doi.org/10.1007/978-3-642-40453-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335157 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Sako, Kazue. editor.&#160;Sarkar, Palash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335157.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-42033-7">http://dx.doi.org/10.1007/978-3-642-42033-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335160 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Sako, Kazue. editor.&#160;Sarkar, Palash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335160.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-42045-0">http://dx.doi.org/10.1007/978-3-642-42045-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335172 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ramanna, Sheela. editor.&#160;Lingras, Pawan. editor.&#160;Sombattheera, Chattrakul. editor.&#160;Krishna, Aneesh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335172.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-44949-9">http://dx.doi.org/10.1007/978-3-642-44949-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335176 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nicosia, Giuseppe. editor.&#160;Pardalos, Panos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335176.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-44973-4">http://dx.doi.org/10.1007/978-3-642-44973-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Second International Conference, TPNC 2013, C&aacute;ceres, Spain, December 3-5, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335178 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;Vega-Rodr&iacute;guez, Miguel A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335178.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335180 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Cai, Leizhen. editor.&#160;Cheng, Siu-Wing. editor.&#160;Lam, Tak-Wah. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335180.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45030-3">http://dx.doi.org/10.1007/978-3-642-45030-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335181 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Tan, Gary. editor.&#160;Yeo, Gee Kin. editor.&#160;Turner, Stephen John. editor.&#160;Teo, Yong Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45037-2">http://dx.doi.org/10.1007/978-3-642-45037-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, L&uuml;beck, Germany, June 19-21, 2013, Revised Papers ent://SD_ILS/0/SD_ILS:335182 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Brandst&auml;dt, Andreas. editor.&#160;Jansen, Klaus. editor.&#160;Reischuk, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335182.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45043-3">http://dx.doi.org/10.1007/978-3-642-45043-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335183 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chen, Yiling. editor.&#160;Immorlica, Nicole. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335183.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45046-4">http://dx.doi.org/10.1007/978-3-642-45046-4</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335190 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z 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(335190.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45114-0">http://dx.doi.org/10.1007/978-3-642-45114-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335197 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Stam, Martijn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335197.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45239-0">http://dx.doi.org/10.1007/978-3-642-45239-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335202 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Lecroq, Thierry. editor.&#160;Mouchard, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335202.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335203 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Akiyama, Jin. editor.&#160;Kano, Mikio. editor.&#160;Sakai, Toshinori. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335203.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45281-9">http://dx.doi.org/10.1007/978-3-642-45281-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The SimCalc Vision and Contributions Democratizing Access to Important Mathematics ent://SD_ILS/0/SD_ILS:336043 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hegedus, Stephen J. editor.&#160;Roschelle, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5696-0">http://dx.doi.org/10.1007/978-94-007-5696-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics ent://SD_ILS/0/SD_ILS:336496 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Mogavero, Fabio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336496.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> &Uuml;bungsbuch Mathematik f&uuml;r Wirtschaftswissenschaftler Aufgabensammlung mit ausf&uuml;hrlichen L&ouml;sungen ent://SD_ILS/0/SD_ILS:337084 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Wendler, Tilo. author.&#160;Tippe, Ulrike. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337084.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34008-6">http://dx.doi.org/10.1007/978-3-642-34008-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technologien im Mathematikunterricht Eine Sammlung von Trends und Ideen ent://SD_ILS/0/SD_ILS:338115 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ruppert, Markus. editor.&#160;W&ouml;rler, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-03008-7">http://dx.doi.org/10.1007/978-3-658-03008-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Global Optimization Exploiting Space-Filling Curves ent://SD_ILS/0/SD_ILS:332385 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Sergeyev, Yaroslav D. author.&#160;Strongin, Roman G. author.&#160;Lera, Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332385.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-8042-6">http://dx.doi.org/10.1007/978-1-4614-8042-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Human Computation ent://SD_ILS/0/SD_ILS:332449 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Michelucci, Pietro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332449.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-8806-4">http://dx.doi.org/10.1007/978-1-4614-8806-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction ent://SD_ILS/0/SD_ILS:332681 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Pudl&aacute;k, Pavel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332681.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332910 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332959 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Sun, Zhenan. editor.&#160;Shan, Shiguan. editor.&#160;Yang, Gongping. editor.&#160;Zhou, Jie. editor.&#160;Wang, Yunhong. editor.<br/>Preferred Shelf Number&#160;ONLINE(332959.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02961-0">http://dx.doi.org/10.1007/978-3-319-02961-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332947 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Das, Sajal K. editor.&#160;Nita-Rotaru, Cristina. editor.&#160;Kantarcioglu, Murat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332947.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02786-9">http://dx.doi.org/10.1007/978-3-319-02786-9</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333559 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Csurka, Gabriela. editor.&#160;Kraus, Martin. editor.&#160;Mestetskiy, Leonid. editor.&#160;Richard, Paul. editor.&#160;Braz, Jos&eacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE(333559.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32350-8">http://dx.doi.org/10.1007/978-3-642-32350-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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334097 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Knudsen, Lars R. editor.&#160;Wu, Huapeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334097.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35999-6">http://dx.doi.org/10.1007/978-3-642-35999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334106 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;Henzinger, Thomas A. editor.&#160;Ne&scaron;et&#345;il, Jaroslav. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.&#160;Anto&scaron;, David. editor.<br/>Preferred Shelf Number&#160;ONLINE(334106.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334112 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ghosh, Subir Kumar. editor.&#160;Tokuyama, Takeshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334112.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36065-7">http://dx.doi.org/10.1007/978-3-642-36065-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334114 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hota, Chittaranjan. editor.&#160;Srimani, Pradip K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334114.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36071-8">http://dx.doi.org/10.1007/978-3-642-36071-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334356 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gonzalez-Diaz, Rocio. editor.&#160;Jimenez, Maria-Jose. editor.&#160;Medrano, Belen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334356.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37067-0">http://dx.doi.org/10.1007/978-3-642-37067-0</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334370 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334380 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Vanneschi, Leonardo. editor.&#160;Bush, William S. editor.&#160;Giacobini, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334380.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37189-9">http://dx.doi.org/10.1007/978-3-642-37189-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334381 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Esparcia-Alc&aacute;zar, Anna I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334381.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37192-9">http://dx.doi.org/10.1007/978-3-642-37192-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334382 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Deng, Minghua. editor.&#160;Jiang, Rui. editor.&#160;Sun, Fengzhu. editor.&#160;Zhang, Xuegong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334382.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37195-0">http://dx.doi.org/10.1007/978-3-642-37195-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334383 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Middendorf, Martin. editor.&#160;Blum, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334383.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37198-1">http://dx.doi.org/10.1007/978-3-642-37198-1</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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 Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers ent://SD_ILS/0/SD_ILS:334585 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Peterson, Leif E. editor.&#160;Masulli, Francesco. editor.&#160;Russo, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334585.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38342-7">http://dx.doi.org/10.1007/978-3-642-38342-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334587 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Johansson, Thomas. editor.&#160;Nguyen, Phong Q. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334587.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38348-9">http://dx.doi.org/10.1007/978-3-642-38348-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334505 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Singh, Karan. editor.&#160;Awasthi, Amit K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334505.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37949-9">http://dx.doi.org/10.1007/978-3-642-37949-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334516 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Erlebach, Thomas. editor.&#160;Persiano, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334516.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38016-7">http://dx.doi.org/10.1007/978-3-642-38016-7</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334635 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gaborit, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334635.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38616-9">http://dx.doi.org/10.1007/978-3-642-38616-9</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334771 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Konstantinidis, Stavros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334771.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334778 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Jurgensen, Helmut. editor.&#160;Reis, Rog&eacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334778.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334718 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bonizzoni, Paola. editor.&#160;Brattka, Vasco. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334718.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Advances in Neural Networks &ndash; ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334723 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Guo, Chengan. editor.&#160;Hou, Zeng-Guang. editor.&#160;Zeng, Zhigang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334723.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39068-5">http://dx.doi.org/10.1007/978-3-642-39068-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334724 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;J&auml;rvisalo, Matti. editor.&#160;Van Gelder, Allen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334724.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334725 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Mauri, Giancarlo. editor.&#160;Dennunzio, Alberto. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334725.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334726 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Cristofaro, Emiliano. editor.&#160;Wright, Matthew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334726.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39077-7">http://dx.doi.org/10.1007/978-3-642-39077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems IX ent://SD_ILS/0/SD_ILS:334886 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334886.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40069-8">http://dx.doi.org/10.1007/978-3-642-40069-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334797 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Dudin, Alexander. editor.&#160;Turck, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334797.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39408-9">http://dx.doi.org/10.1007/978-3-642-39408-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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334815 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gao, Yunjun. editor.&#160;Shim, Kyuseok. editor.&#160;Ding, Zhiming. editor.&#160;Jin, Peiquan. editor.&#160;Ren, Zujie. editor.<br/>Preferred Shelf Number&#160;ONLINE(334815.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39527-7">http://dx.doi.org/10.1007/978-3-642-39527-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II ent://SD_ILS/0/SD_ILS:334888 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Canetti, Ran. editor.&#160;Garay, Juan A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334888.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40084-1">http://dx.doi.org/10.1007/978-3-642-40084-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334751 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Fomin, Fedor V. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kwiatkowska, Marta. editor.&#160;Peleg, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334751.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39206-1">http://dx.doi.org/10.1007/978-3-642-39206-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334753 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Fomin, Fedor V. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kwiatkowska, Marta. editor.&#160;Peleg, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334753.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39212-2">http://dx.doi.org/10.1007/978-3-642-39212-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Privacy Protection in Information Processing Systems 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334755 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Janczewski, Lech J. editor.&#160;Wolfe, Henry B. editor.&#160;Shenoi, Sujeet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334755.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39218-4">http://dx.doi.org/10.1007/978-3-642-39218-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer ent://SD_ILS/0/SD_ILS:330901 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Jenkyns, Tom. author.&#160;Stephenson, Ben. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330901.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4069-6">http://dx.doi.org/10.1007/978-1-4471-4069-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Graph Algorithms for Computer Networks ent://SD_ILS/0/SD_ILS:331165 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Erciyes, K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331165.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5173-9">http://dx.doi.org/10.1007/978-1-4471-5173-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Programming and Algorithms Using R ent://SD_ILS/0/SD_ILS:331192 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Erg&uuml;l, &Ouml;zg&uuml;r. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331192.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5328-3">http://dx.doi.org/10.1007/978-1-4471-5328-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation-Based Algorithms for Markov Decision Processes ent://SD_ILS/0/SD_ILS:331119 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chang, Hyeong Soo. author.&#160;Hu, Jiaqiao. author.&#160;Fu, Michael C. author.&#160;Marcus, Steven I. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331119.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5022-0">http://dx.doi.org/10.1007/978-1-4471-5022-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Connected Dominating Set: Theory and Applications ent://SD_ILS/0/SD_ILS:331720 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Du, Ding-Zhu. author.&#160;Wan, Peng-Jun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331720.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5242-3">http://dx.doi.org/10.1007/978-1-4614-5242-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast Compact Algorithms and Software for Spline Smoothing ent://SD_ILS/0/SD_ILS:331788 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Weinert, Howard L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331788.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5496-0">http://dx.doi.org/10.1007/978-1-4614-5496-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structure of Solutions of Variational Problems ent://SD_ILS/0/SD_ILS:332024 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Zaslavski, Alexander J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6387-0">http://dx.doi.org/10.1007/978-1-4614-6387-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice X ent://SD_ILS/0/SD_ILS:332135 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Riolo, Rick. editor.&#160;Vladislavleva, Ekaterina. editor.&#160;Ritchie, Marylyn D. editor.&#160;Moore, Jason H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332135.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System ent://SD_ILS/0/SD_ILS:332481 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hammock, Michael R. author.&#160;Mixon, J. Wilson. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332481.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-9417-1">http://dx.doi.org/10.1007/978-1-4614-9417-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Tower of Hanoi &ndash; Myths and Maths ent://SD_ILS/0/SD_ILS:332606 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hinz, Andreas M. author.&#160;Klav&#382;ar, Sandi. author.&#160;Milutinovi&#263;, Uro&scaron;. author.&#160;Petr, Ciril. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332606.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0237-6">http://dx.doi.org/10.1007/978-3-0348-0237-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332920 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kurland, Oren. editor.&#160;Lewenstein, Moshe. editor.&#160;Porat, Ely. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332920.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02432-5">http://dx.doi.org/10.1007/978-3-319-02432-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333280 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Filipe, Joaquim. editor.&#160;Fred, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333280.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29966-7">http://dx.doi.org/10.1007/978-3-642-29966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334561 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Guyot, Vincent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334561.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38227-7">http://dx.doi.org/10.1007/978-3-642-38227-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334563 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Spirakis, Paul G. editor.&#160;Serna, Maria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334563.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38233-8">http://dx.doi.org/10.1007/978-3-642-38233-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334564 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Chan, T-H. Hubert. editor.&#160;Lau, Lap Chi. editor.&#160;Trevisan, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334564.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334572 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Kuijper, Arjan. editor.&#160;Bredies, Kristian. editor.&#160;Pock, Thomas. editor.&#160;Bischof, Horst. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334572.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38267-3">http://dx.doi.org/10.1007/978-3-642-38267-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334401 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Mangard, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334401.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37288-9">http://dx.doi.org/10.1007/978-3-642-37288-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334617 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bulatov, Andrei A. editor.&#160;Shur, Arseny M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334617.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> 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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334658 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Dayd&eacute;, Michel. editor.&#160;Marques, Osni. editor.&#160;Nakajima, Kengo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334658.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334663 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Fellows, Michael. editor.&#160;Tan, Xuehou. editor.&#160;Zhu, Binhai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334663.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38756-2">http://dx.doi.org/10.1007/978-3-642-38756-2</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vall&eacute;e, France, June 18-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334666 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;B&eacute;al, Marie-Pierre. editor.&#160;Carton, Olivier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334666.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334695 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Fischer, Johannes. editor.&#160;Sanders, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334695.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38905-4">http://dx.doi.org/10.1007/978-3-642-38905-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334696 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Huth, Michael. editor.&#160;Asokan, N. editor.&#160;&#268;apkun, Srdjan. editor.&#160;Flechais, Ivan. editor.&#160;Coles-Kemp, Lizzie. editor.<br/>Preferred Shelf Number&#160;ONLINE(334696.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38908-5">http://dx.doi.org/10.1007/978-3-642-38908-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334708 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Dueck, Gerhard W. editor.&#160;Miller, D. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334708.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334710 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Doyen, Guillaume. editor.&#160;Waldburger, Martin. editor.&#160;&#268;eleda, Pavel. editor.&#160;Sperotto, Anna. editor.&#160;Stiller, Burkhard. editor.<br/>Preferred Shelf Number&#160;ONLINE(334710.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38998-6">http://dx.doi.org/10.1007/978-3-642-38998-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Public Key Infrastructures, Services and Applications 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334878 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Capitani di Vimercati, Sabrina. editor.&#160;Mitchell, Chris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334878.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40012-4">http://dx.doi.org/10.1007/978-3-642-40012-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334879 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Nielsen, Frank. editor.&#160;Barbaresco, Fr&eacute;d&eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334879.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40020-9">http://dx.doi.org/10.1007/978-3-642-40020-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334880 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Prouff, Emmanuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334880.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40026-1">http://dx.doi.org/10.1007/978-3-642-40026-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I ent://SD_ILS/0/SD_ILS:334881 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Canetti, Ran. editor.&#160;Garay, Juan A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334881.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40041-4">http://dx.doi.org/10.1007/978-3-642-40041-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Contemporary Evolution Strategies ent://SD_ILS/0/SD_ILS:334897 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;B&auml;ck, Thomas. author.&#160;Foussette, Christophe. author.&#160;Krause, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334897.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40137-4">http://dx.doi.org/10.1007/978-3-642-40137-4</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-12-05T17:11:12Z 2024-12-05T17:11:12Z 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/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334826 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334826.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39637-3">http://dx.doi.org/10.1007/978-3-642-39637-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V ent://SD_ILS/0/SD_ILS:334827 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334827.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39640-3">http://dx.doi.org/10.1007/978-3-642-39640-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334828 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334828.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39643-4">http://dx.doi.org/10.1007/978-3-642-39643-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334829 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334829.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39646-5">http://dx.doi.org/10.1007/978-3-642-39646-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334830 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334830.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39649-6">http://dx.doi.org/10.1007/978-3-642-39649-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Power of Algorithms Inspiration and Examples in Everyday Life ent://SD_ILS/0/SD_ILS:334831 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ausiello, Giorgio. editor.&#160;Petreschi, Rossella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334831.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39652-6">http://dx.doi.org/10.1007/978-3-642-39652-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334838 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ren, Kui. editor.&#160;Liu, Xue. editor.&#160;Liang, Weifa. editor.&#160;Xu, Ming. editor.&#160;Jia, Xiaohua. editor.<br/>Preferred Shelf Number&#160;ONLINE(334838.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39701-1">http://dx.doi.org/10.1007/978-3-642-39701-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334839 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Perner, Petra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334839.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39712-7">http://dx.doi.org/10.1007/978-3-642-39712-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334844 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Ruhe, G&uuml;nther. editor.&#160;Zhang, Yuanyuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334844.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday ent://SD_ILS/0/SD_ILS:334921 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Brodnik, Andrej. editor.&#160;L&oacute;pez-Ortiz, Alejandro. editor.&#160;Raman, Venkatesh. editor.&#160;Viola, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40273-9">http://dx.doi.org/10.1007/978-3-642-40273-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334929 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Raghavendra, Prasad. editor.&#160;Raskhodnikova, Sofya. editor.&#160;Jansen, Klaus. editor.&#160;Rolim, Jos&eacute; D. P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334929.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40328-6">http://dx.doi.org/10.1007/978-3-642-40328-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334980 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Schulte, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334980.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334981 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bielza, Concha. editor.&#160;Salmer&oacute;n, Antonio. editor.&#160;Alonso-Betanzos, Amparo. editor.&#160;Hidalgo, J. Ignacio. editor.&#160;Mart&iacute;nez, Luis. editor.<br/>Preferred Shelf Number&#160;ONLINE(334981.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40643-0">http://dx.doi.org/10.1007/978-3-642-40643-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334990 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Rendell, Alistair P. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334990.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40698-0">http://dx.doi.org/10.1007/978-3-642-40698-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334994 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Gurevych, Iryna. editor.&#160;Biemann, Chris. editor.&#160;Zesch, Torsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40722-2">http://dx.doi.org/10.1007/978-3-642-40722-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334996 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Mladenov, Valeri. editor.&#160;Koprinkova-Hristova, Petia. editor.&#160;Palm, G&uuml;nther. editor.&#160;Villa, Alessandro E. P. editor.&#160;Appollini, Bruno. editor.<br/>Preferred Shelf Number&#160;ONLINE(334996.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40728-4">http://dx.doi.org/10.1007/978-3-642-40728-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334939 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Heyden, Anders. editor.&#160;Kahl, Fredrik. editor.&#160;Olsson, Carl. editor.&#160;Oskarsson, Magnus. editor.&#160;Tai, Xue-Cheng. editor.<br/>Preferred Shelf Number&#160;ONLINE(334939.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40395-8">http://dx.doi.org/10.1007/978-3-642-40395-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335003 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Legay, Axel. editor.&#160;Bensalem, Saddek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335005 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bitsch, Friedemann. editor.&#160;Guiochet, J&eacute;r&eacute;mie. editor.&#160;Ka&acirc;niche, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335005.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40793-2">http://dx.doi.org/10.1007/978-3-642-40793-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms &ndash; ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334947 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Bodlaender, Hans L. editor.&#160;Italiano, Giuseppe F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334947.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40450-4">http://dx.doi.org/10.1007/978-3-642-40450-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335013 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Hsu, Ching-Hsien. editor.&#160;Li, Xiaoming. editor.&#160;Shi, Xuanhua. editor.&#160;Zheng, Ran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335013.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40820-5">http://dx.doi.org/10.1007/978-3-642-40820-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335016 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Liao, Hongen. editor.&#160;Linte, Cristian A. editor.&#160;Masamune, Ken. editor.&#160;Peters, Terry M. editor.&#160;Zheng, Guoyan. editor.<br/>Preferred Shelf Number&#160;ONLINE(335016.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40843-4">http://dx.doi.org/10.1007/978-3-642-40843-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335017 2024-12-05T17:11:12Z 2024-12-05T17:11:12Z Author&#160;Pan, Jeng-Shyang. editor.&#160;Polycarpou, Marios M. editor.&#160;Wo&#378;niak, Micha&#322;. editor.&#160;Carvalho, Andr&eacute; C. P. L. F. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.<br/>Preferred Shelf Number&#160;ONLINE(335017.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40846-5">http://dx.doi.org/10.1007/978-3-642-40846-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>