Search Results for Computer science - Narrowed by: 2014 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026ps$003d300$0026isd$003dtrue? 2024-10-31T21:44:07Z Writing for Computer Science ent://SD_ILS/0/SD_ILS:487601 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zobel, Justin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6639-9">https://doi.org/10.1007/978-1-4471-6639-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing handbook : computer science and software engineering ent://SD_ILS/0/SD_ILS:356353 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Tucker, Allen B., editor.&#160;Gonzalez, Teofilo F., editor.&#160;Diaz-Herrera, Jorge L., 1950- editor.<br/>Preferred Shelf Number&#160;ONLINE(356353.1)<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439898536">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485525 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hirsch, Edward. editor.&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Pin, Jean-&Eacute;ric. editor.&#160;Vereshchagin, Nikolay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485526 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;H&ouml;fner, Peter. editor.&#160;Jipsen, Peter. editor.&#160;Kahl, Wolfram. editor.&#160;M&uuml;ller, Martin Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06251-8">https://doi.org/10.1007/978-3-319-06251-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:488987 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Csuhaj-Varj&uacute;, Ers&eacute;bet. editor.&#160;Dietzfelbinger, Martin. editor.&#160;&Eacute;sik, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44522-8">https://doi.org/10.1007/978-3-662-44522-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487680 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> What Is Computer Science? An Information Security Perspective ent://SD_ILS/0/SD_ILS:488536 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Page, Daniel. author.&#160;Smart, Nigel. 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-04042-4">https://doi.org/10.1007/978-3-319-04042-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:489262 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Csuhaj-Varj&uacute;, Ers&eacute;bet. editor.&#160;Dietzfelbinger, Martin. editor.&#160;&Eacute;sik, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44465-8">https://doi.org/10.1007/978-3-662-44465-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487329 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Diaz, Josep. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;Sangiorgi, Davide. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nov&yacute; Smokovec, Slovakia, January 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487593 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Geffert, Viliam. editor.&#160;Preneel, Bart. editor.&#160;Rovan, Branislav. editor.&#160;&Scaron;tuller, J&uacute;lius. editor.&#160;Tjoa, A Min. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04298-5">https://doi.org/10.1007/978-3-319-04298-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488501 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kratsch, Dieter. editor.&#160;Todinca, Ioan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12340-0">https://doi.org/10.1007/978-3-319-12340-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Teaching Computer Science An Activity-Based Approach ent://SD_ILS/0/SD_ILS:484393 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hazzan, Orit. author. (orcid)0000-0002-8627-0997&#160;Lapidot, Tami. author.&#160;Ragonis, Noa. author. (orcid)0000-0002-8163-0199&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6630-6">https://doi.org/10.1007/978-1-4471-6630-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Language Technology Challenges for Computer Science and Linguistics 5th Language and Technology Conference, LTC 2011, Pozna&#324;, Poland, November 25--27, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485615 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Vetulani, Zygmunt. editor. (orcid)0000-0003-4833-8601&#160;Mariani, Joseph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08958-4">https://doi.org/10.1007/978-3-319-08958-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Tel&#269;, Czech Republic, October 17--19, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486681 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hlin&#283;n&yacute;, Petr. editor.&#160;Dvo&#345;&aacute;k, Zden&#283;k. editor.&#160;Jaro&scaron;, Ji&#345;&iacute;. editor. (orcid)0000-0002-0087-8804&#160;Kofro&#328;, Jan. editor.&#160;Ko&#345;enek, Jan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China ent://SD_ILS/0/SD_ILS:489538 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Patnaik, Srikanta. editor.&#160;Li, Xiaolong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-1759-6">https://doi.org/10.1007/978-81-322-1759-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and its Applications CSA 2013 ent://SD_ILS/0/SD_ILS:482651 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Jeong, Hwa Young. editor.&#160;S. Obaidat, Mohammad. editor.&#160;Yen, Neil Y. editor.&#160;Park, James J. (Jong Hyuk). editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-41674-3">https://doi.org/10.1007/978-3-642-41674-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IAENG Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2012 ent://SD_ILS/0/SD_ILS:483370 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kim, Haeng Kon. editor.&#160;Ao, Sio-Iong. editor.&#160;Amouzegar, Mahyar A. editor.&#160;Rieger, Burghard B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-007-6818-5">https://doi.org/10.1007/978-94-007-6818-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013 ent://SD_ILS/0/SD_ILS:488188 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kim, Haeng Kon. editor.&#160;Ao, Sio-Iong. editor.&#160;Amouzegar, Mahyar A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-017-9115-1">https://doi.org/10.1007/978-94-017-9115-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Research in Electronics, Computer Science and Technology Proceedings of International Conference, ICERECT 2012 ent://SD_ILS/0/SD_ILS:489270 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Sridhar, V. editor.&#160;Sheshadri, Holalu Seenappa. editor.&#160;Padma, M C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-1157-0">https://doi.org/10.1007/978-81-322-1157-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modern Trends and Techniques in Computer Science 3rd Computer Science On-line Conference 2014 (CSOC 2014) ent://SD_ILS/0/SD_ILS:485814 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Silhavy, Petr. editor.&#160;Prokopova, Zdenka. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06740-7">https://doi.org/10.1007/978-3-319-06740-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014) ent://SD_ILS/0/SD_ILS:488158 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Do, Tien. editor.&#160;Thi, Hoai An Le. editor.&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06569-4">https://doi.org/10.1007/978-3-319-06569-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Homomorphic Encryption and Applications ent://SD_ILS/0/SD_ILS:485761 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Yi, Xun. author.&#160;Paulet, Russell. author.&#160;Bertino, Elisa. 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-12229-8">https://doi.org/10.1007/978-3-319-12229-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Morphological Modeling of Terrains and Volume Data ent://SD_ILS/0/SD_ILS:487742 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;&#268;omi&#263;, Lidija. author.&#160;De Floriani, Leila. author.&#160;Magillo, Paola. author.&#160;Iuricich, Federico. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-2149-2">https://doi.org/10.1007/978-1-4939-2149-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linear Network Error Correction Coding ent://SD_ILS/0/SD_ILS:485138 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Guang, Xuan. author.&#160;Zhang, Zhen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0588-1">https://doi.org/10.1007/978-1-4939-0588-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emergent Interfaces for Feature Modularization ent://SD_ILS/0/SD_ILS:485711 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ribeiro, M&aacute;rcio. author.&#160;Borba, Paulo. author.&#160;Brabrand, Claus. 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-11493-4">https://doi.org/10.1007/978-3-319-11493-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Communications Networks for the Smart Grid ent://SD_ILS/0/SD_ILS:486161 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ho, Quang-Dung. author.&#160;Gao, Yue. author.&#160;Rajalingham, Gowdemy. author.&#160;Le-Ngoc, Tho. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10347-1">https://doi.org/10.1007/978-3-319-10347-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Related Technologies, Challenges and Future Prospects ent://SD_ILS/0/SD_ILS:486162 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Chen, Min. author.&#160;Mao, Shiwen. author.&#160;Zhang, Yin. author.&#160;Leung, Victor C.M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06245-7">https://doi.org/10.1007/978-3-319-06245-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> JRuby Rails Web Application Development ent://SD_ILS/0/SD_ILS:486952 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Vohra, Deepak. 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-03934-3">https://doi.org/10.1007/978-3-319-03934-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Primer on Client-Side Web Security ent://SD_ILS/0/SD_ILS:487022 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;De Ryck, Philippe. author.&#160;Desmet, Lieven. author.&#160;Piessens, Frank. author.&#160;Johns, Martin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12226-7">https://doi.org/10.1007/978-3-319-12226-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Computational Solutions in Protein Bioinformatics ent://SD_ILS/0/SD_ILS:487023 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Mrozek, Dariusz. author. (orcid)0000-0001-6764-6656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06971-5">https://doi.org/10.1007/978-3-319-06971-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Computing Enabled Cooperative Networked Design ent://SD_ILS/0/SD_ILS:487226 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;W&oacute;dczak, Micha&#322;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0764-9">https://doi.org/10.1007/978-1-4939-0764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Web Hosting Challenges and Research Directions ent://SD_ILS/0/SD_ILS:488283 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ahmed, Reaz. author.&#160;Boutaba&nbsp;, Raouf. 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-03807-0">https://doi.org/10.1007/978-3-319-03807-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multipath TCP for User Cooperation in Wireless Networks ent://SD_ILS/0/SD_ILS:488285 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zhou, Dizhi. author.&#160;Song, Wei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11701-0">https://doi.org/10.1007/978-3-319-11701-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust Recognition via Information Theoretic Learning ent://SD_ILS/0/SD_ILS:488446 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;He, Ran. author.&#160;Hu, Baogang. author.&#160;Yuan, Xiaotong. author.&#160;Wang, Liang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07416-0">https://doi.org/10.1007/978-3-319-07416-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Location Privacy Preservation in Cognitive Radio Networks ent://SD_ILS/0/SD_ILS:488457 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wang, Wei. author.&#160;Zhang, Qian. 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-01943-7">https://doi.org/10.1007/978-3-319-01943-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vision-based Pedestrian Protection Systems for Intelligent Vehicles ent://SD_ILS/0/SD_ILS:489399 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ger&oacute;nimo, David. author.&#160;L&oacute;pez, Antonio M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-7987-1">https://doi.org/10.1007/978-1-4614-7987-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Pathology ent://SD_ILS/0/SD_ILS:489412 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Sucaet, Yves. author.&#160;Waelput, Wim. 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-08780-1">https://doi.org/10.1007/978-3-319-08780-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous Military Robotics ent://SD_ILS/0/SD_ILS:489428 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Nath, Vishnu. author.&#160;Levinson, Stephen E. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05606-7">https://doi.org/10.1007/978-3-319-05606-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectures of Small-Cell Networks and Interference Management ent://SD_ILS/0/SD_ILS:489530 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ngo, Duy Trong. author.&#160;Le-Ngoc, Tho. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04822-2">https://doi.org/10.1007/978-3-319-04822-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Channel Estimation for Physical Layer Network Coding Systems ent://SD_ILS/0/SD_ILS:489552 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gao, Feifei. author.&#160;Xing, Chengwen. author.&#160;Wang, Gongpu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11668-6">https://doi.org/10.1007/978-3-319-11668-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Feature Coding for Image Representation and Recognition ent://SD_ILS/0/SD_ILS:489553 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Huang, Yongzhen. author.&#160;Tan, Tieniu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45000-0">https://doi.org/10.1007/978-3-662-45000-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security-aware Cooperation in Cognitive Radio Networks ent://SD_ILS/0/SD_ILS:489561 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zhang, Ning. author.&#160;Mark, Jon W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0413-6">https://doi.org/10.1007/978-1-4939-0413-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Denial of Service Attack and Defense ent://SD_ILS/0/SD_ILS:484833 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Yu, Shui. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-9491-1">https://doi.org/10.1007/978-1-4614-9491-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security for Multi-hop Wireless Networks ent://SD_ILS/0/SD_ILS:485466 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Mahmoud, Mohamed M. E. A. author.&#160;Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04603-7">https://doi.org/10.1007/978-3-319-04603-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experience with Technology Dynamics of User Experience with Mobile Media Devices ent://SD_ILS/0/SD_ILS:484333 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;al-Azzawi, Ali. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-5397-9">https://doi.org/10.1007/978-1-4471-5397-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrating 3D Modeling, Photogrammetry and Design ent://SD_ILS/0/SD_ILS:484356 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Foster, Shaun. author.&#160;Halbstein, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6329-9">https://doi.org/10.1007/978-1-4471-6329-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Computational Social Science Principles and Applications ent://SD_ILS/0/SD_ILS:484369 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cioffi-Revilla, Claudio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-5661-1">https://doi.org/10.1007/978-1-4471-5661-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Problems in Spectral Dimensionality Reduction ent://SD_ILS/0/SD_ILS:487927 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Strange, Harry. author.&#160;Zwiggelaar, Reyer. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-03943-5">https://doi.org/10.1007/978-3-319-03943-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information-Theoretic Evaluation for Computational Biomedical Ontologies ent://SD_ILS/0/SD_ILS:487930 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Clark, Wyatt Travis. 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-04138-4">https://doi.org/10.1007/978-3-319-04138-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Boosted Statistical Relational Learners From Benchmarks to Data-Driven Medicine ent://SD_ILS/0/SD_ILS:487972 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Natarajan, Sriraam. author.&#160;Kersting, Kristian. author.&#160;Khot, Tushar. author.&#160;Shavlik, Jude. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13644-8">https://doi.org/10.1007/978-3-319-13644-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Risk Management ent://SD_ILS/0/SD_ILS:488430 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Moran, Alan. 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-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Wireless Environments: Detecting and Localizing User Spoofing ent://SD_ILS/0/SD_ILS:488438 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Yang, Jie. author.&#160;Chen, Yingying. author.&#160;Trappe, Wade. author.&#160;Cheng, Jerry. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07356-9">https://doi.org/10.1007/978-3-319-07356-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Challenges and Solutions in the Smart Grid ent://SD_ILS/0/SD_ILS:488566 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bouhafs, Fay&#1195;al. author.&#160;Mackay, Michael. author.&#160;Merabti, Madjid. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-2184-3">https://doi.org/10.1007/978-1-4939-2184-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Radio Resource Management Using Geometric Water-Filling ent://SD_ILS/0/SD_ILS:488534 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;He, Peter. author.&#160;Zhao, Lian. author.&#160;Zhou, Sheng. author.&#160;Niu, Zhisheng. 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-04636-5">https://doi.org/10.1007/978-3-319-04636-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Movement Analysis ent://SD_ILS/0/SD_ILS:488347 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Laube, Patrick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10268-9">https://doi.org/10.1007/978-3-319-10268-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variational Regularization of 3D Data Experiments with MATLAB&reg; ent://SD_ILS/0/SD_ILS:488703 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Montegranario, Hebert. author.&#160;Espinosa, Jairo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0533-1">https://doi.org/10.1007/978-1-4939-0533-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Blending Techniques and their Application in Underwater Mosaicing ent://SD_ILS/0/SD_ILS:488711 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Prados, Ricard. author.&#160;Garcia, Rafael. author.&#160;Neumann, L&aacute;szl&oacute;. 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-05558-9">https://doi.org/10.1007/978-3-319-05558-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Anywhere Essays on Agile Projects and Beyond ent://SD_ILS/0/SD_ILS:489258 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hazzan, Orit. author. (orcid)0000-0002-8627-0997&#160;Dubinsky, Yael. 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-10157-6">https://doi.org/10.1007/978-3-319-10157-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics ent://SD_ILS/0/SD_ILS:489273 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Majki&#263;, Zoran. 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-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Web Browsing Using the Cloud ent://SD_ILS/0/SD_ILS:484771 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zhao, Bo. author.&#160;Tak, Byung Chul. author.&#160;Cao, Guohong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8103-4">https://doi.org/10.1007/978-1-4614-8103-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Management for Device-to-Device Underlay Communication ent://SD_ILS/0/SD_ILS:484776 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Song, Lingyang. author.&#160;Han, Zhu. author.&#160;Xu, Chen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8193-5">https://doi.org/10.1007/978-1-4614-8193-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Multimedia ent://SD_ILS/0/SD_ILS:485113 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Li, Ze-Nian. author.&#160;Drew, Mark S. author.&#160;Liu, Jiangchuan. author. (orcid)0000-0001-6592-1984&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05290-8">https://doi.org/10.1007/978-3-319-05290-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data-driven Generation of Policies ent://SD_ILS/0/SD_ILS:485134 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Parker, Austin. author.&#160;Simari, Gerardo I. author.&#160;Sliva, Amy. author.&#160;Subrahmanian, V.S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0274-3">https://doi.org/10.1007/978-1-4939-0274-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maritime Wideband Communication Networks Video Transmission Scheduling ent://SD_ILS/0/SD_ILS:485571 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Yang, Tingting. author.&#160;Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07362-0">https://doi.org/10.1007/978-3-319-07362-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Action Recognition with Depth Cameras ent://SD_ILS/0/SD_ILS:486884 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wang, Jiang. author.&#160;Liu, Zicheng. author.&#160;Wu, Ying. 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-04561-0">https://doi.org/10.1007/978-3-319-04561-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Hardening An Automated Approach to Improving Network Security ent://SD_ILS/0/SD_ILS:486885 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wang, Lingyu. author.&#160;Albanese, Massimiliano. author.&#160;Jajodia, Sushil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04612-9">https://doi.org/10.1007/978-3-319-04612-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to OSI and TCP/IP Models ent://SD_ILS/0/SD_ILS:486902 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Alani, Mohammed M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05152-9">https://doi.org/10.1007/978-3-319-05152-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet Resource Pricing Models ent://SD_ILS/0/SD_ILS:487135 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Xu, Ke. author.&#160;Zhong, Yifeng. author.&#160;He, Huan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8409-7">https://doi.org/10.1007/978-1-4614-8409-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Execution on Mobile Devices ent://SD_ILS/0/SD_ILS:487333 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Vasudevan, Amit. author.&#160;McCune, Jonathan M. author.&#160;Newsome, James. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8190-4">https://doi.org/10.1007/978-1-4614-8190-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Sketch-Based Passwords A General Framework ent://SD_ILS/0/SD_ILS:487393 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Riggan, Benjamin S. author.&#160;Snyder, Wesley E. author.&#160;Wang, Cliff. 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-13629-5">https://doi.org/10.1007/978-3-319-13629-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Radio Networks Dynamic Resource Allocation Schemes ent://SD_ILS/0/SD_ILS:487417 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wang, Shaowei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08936-2">https://doi.org/10.1007/978-3-319-08936-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Moving Object Detection Using Background Subtraction ent://SD_ILS/0/SD_ILS:487532 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Shaikh, Soharab Hossain. author.&#160;Saeed, Khalid. author.&#160;Chaki, Nabendu. 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-07386-6">https://doi.org/10.1007/978-3-319-07386-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Device-to-Device Communication in Cognitive Radio Cellular Networks ent://SD_ILS/0/SD_ILS:487544 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Li, Peng. author.&#160;Guo, Song. 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-12595-4">https://doi.org/10.1007/978-3-319-12595-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Coordinated Multicell Systems Architectures and Precoding Designs ent://SD_ILS/0/SD_ILS:487575 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Nguyen, Duy H. N. author.&#160;Le-Ngoc, Tho. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06337-9">https://doi.org/10.1007/978-3-319-06337-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Contrario Line Segment Detection ent://SD_ILS/0/SD_ILS:487583 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Grompone von Gioi, Rafael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0575-1">https://doi.org/10.1007/978-1-4939-0575-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Detection for Spectrum Sensing in Cognitive Radio ent://SD_ILS/0/SD_ILS:487745 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Atapattu, Saman. author.&#160;Tellambura, Chintha. author.&#160;Jiang, Hai. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0494-5">https://doi.org/10.1007/978-1-4939-0494-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Context-Aware Systems ent://SD_ILS/0/SD_ILS:487750 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ferreira, Paulo. author.&#160;Alves, Pedro. 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-04882-6">https://doi.org/10.1007/978-3-319-04882-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Querying over Encrypted Data in Smart Grids ent://SD_ILS/0/SD_ILS:487757 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wen, Mi. author.&#160;Lu, Rongxing. author.&#160;Liang, Xiaohui. author.&#160;Lei, Jingsheng. author.&#160;Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06355-3">https://doi.org/10.1007/978-3-319-06355-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous Robotics and Deep Learning ent://SD_ILS/0/SD_ILS:487764 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Nath, Vishnu. author.&#160;Levinson, Stephen E. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05603-6">https://doi.org/10.1007/978-3-319-05603-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security for Cloud Storage Systems ent://SD_ILS/0/SD_ILS:487858 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Yang, Kan. author.&#160;Jia, Xiaohua. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-7873-7">https://doi.org/10.1007/978-1-4614-7873-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Twitter Data Analytics ent://SD_ILS/0/SD_ILS:487871 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kumar, Shamanth. author.&#160;Morstatter, Fred. author.&#160;Liu, Huan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-9372-3">https://doi.org/10.1007/978-1-4614-9372-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GIS-based Analysis of Coastal Lidar Time-Series ent://SD_ILS/0/SD_ILS:488025 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hardin, Eric. author.&#160;Mitasova, Helena. author.&#160;Tateosian, Laura. author.&#160;Overton, Margery. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-1835-5">https://doi.org/10.1007/978-1-4939-1835-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Analysis of Voice and Data in Cognitive Radio Networks ent://SD_ILS/0/SD_ILS:488036 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gunawardena, Subodha. author.&#160;Zhuang, Weihua. 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-04645-7">https://doi.org/10.1007/978-3-319-04645-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enabling Secure and Privacy Preserving Communications in Smart Grids ent://SD_ILS/0/SD_ILS:488119 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Li, Hongwei. 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-04945-8">https://doi.org/10.1007/978-3-319-04945-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Driver Drowsiness Detection Systems and Solutions ent://SD_ILS/0/SD_ILS:488127 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;&#268;oli&#263;, Aleksandar. author.&#160;Marques, Oge. author.&#160;Furht, Borko. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11535-1">https://doi.org/10.1007/978-3-319-11535-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks Distributed Consensus Estimation ent://SD_ILS/0/SD_ILS:489185 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Chen, Cailian. author.&#160;Zhu, Shanying. author.&#160;Guan, Xinping. author.&#160;Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12379-0">https://doi.org/10.1007/978-3-319-12379-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Mining Techniques in Sensor Networks Summarization, Interpolation and Surveillance ent://SD_ILS/0/SD_ILS:489192 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Appice, Annalisa. author. (orcid)0000-0001-9840-844X&#160;Ciampi, Anna. author.&#160;Fumarola, Fabio. author.&#160;Malerba, Donato. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-5454-9">https://doi.org/10.1007/978-1-4471-5454-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Attachment Transmission in Wireless Networks ent://SD_ILS/0/SD_ILS:489331 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wang, Lu. author.&#160;Wu, Kaishun. author.&#160;Hamdi, Mounir. 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-04909-0">https://doi.org/10.1007/978-3-319-04909-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enabling Content Distribution in Vehicular Ad Hoc Networks ent://SD_ILS/0/SD_ILS:488499 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Luan, Tom H. author.&#160;Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X&#160;Bai, Fan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0691-8">https://doi.org/10.1007/978-1-4939-0691-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Time Division Multiple Access For Vehicular Communications ent://SD_ILS/0/SD_ILS:488643 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Omar, Hassan Aboubakr. author.&#160;Zhuang, Weihua. 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-09504-2">https://doi.org/10.1007/978-3-319-09504-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Auction Design for the Wireless Spectrum Market ent://SD_ILS/0/SD_ILS:488854 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Lin, Peng. author.&#160;Feng, Xiaojun. author.&#160;Zhang, Qian. 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-06799-5">https://doi.org/10.1007/978-3-319-06799-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Systems Concepts, Modeling, and Programming ent://SD_ILS/0/SD_ILS:488908 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cardoso, Jorge. author.&#160;Lopes, Ricardo. author.&#160;Poels, Geert. author. (orcid)0000-0001-9247-6150&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10813-1">https://doi.org/10.1007/978-3-319-10813-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy-Efficient Area Coverage for Intruder Detection in Sensor Networks ent://SD_ILS/0/SD_ILS:489217 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;He, Shibo. author.&#160;Chen, Jiming. author.&#160;Li, Junkun. author.&#160;Sun, Youxian. 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-04648-8">https://doi.org/10.1007/978-3-319-04648-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Generation of Combinatorial Test Data ent://SD_ILS/0/SD_ILS:489313 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zhang, Jian. author.&#160;Zhang, Zhiqiang. author.&#160;Ma, Feifei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Seamless and Secure Communications over Heterogeneous Wireless Networks ent://SD_ILS/0/SD_ILS:489444 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cao, Jiannong. author.&#160;Zhang, Chisheng. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0416-7">https://doi.org/10.1007/978-1-4939-0416-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485642 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Garnier, Simon. editor.&#160;Hamann, Heiko. editor.&#160;Montes de Oca, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09952-1">https://doi.org/10.1007/978-3-319-09952-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485981 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Battiato, Sebastiano. editor. (orcid)0000-0001-6127-2470&#160;Coquillart, Sabine. editor.&#160;Laramee, Robert S. editor.&#160;Kerren, Andreas. editor. (orcid)0000-0002-0519-2537&#160;Braz, Jos&eacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44911-0">https://doi.org/10.1007/978-3-662-44911-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489001 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Pop, Florin. editor.&#160;Potop-Butucaru, Maria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13464-2">https://doi.org/10.1007/978-3-319-13464-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489206 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Pardo, Alberto. editor.&#160;Viola, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54423-1">https://doi.org/10.1007/978-3-642-54423-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487274 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Schmidt, Kai-Uwe. editor.&#160;Winterhof, Arne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12325-7">https://doi.org/10.1007/978-3-319-12325-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487471 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Giese, Holger. editor.&#160;K&ouml;nig, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:487472 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55195-6">https://doi.org/10.1007/978-3-642-55195-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487781 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126&#160;Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12745-3">https://doi.org/10.1007/978-3-319-12745-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects in Information and Management 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487788 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gu, Qianping. editor.&#160;Hell, Pavol. editor.&#160;Yang, Boting. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07956-1">https://doi.org/10.1007/978-3-319-07956-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Techniques in Information Security International Conference, ATIS 2014, Melbourne, Australia, November 26-28, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488011 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Batten, Lynn. editor.&#160;Li, Gang. editor. (orcid)0000-0003-1583-641X&#160;Niu, Wenjia. editor.&#160;Warren, Matthew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45670-5">https://doi.org/10.1007/978-3-662-45670-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489045 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Beckmann, Arnold. editor.&#160;Csuhaj-Varj&uacute;, Ers&eacute;bet. editor.&#160;Meer, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08019-2">https://doi.org/10.1007/978-3-319-08019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489079 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hong, Hoon. editor.&#160;Yap, Chee. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptography and Security Systems Third International Conference, CSS 2014, Lublin, Poland, September 22-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488136 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kotulski, Zbigniew. editor.&#160;Ksiezopolski, Bogdan. editor.&#160;Mazur, Katarzyna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44893-9">https://doi.org/10.1007/978-3-662-44893-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488923 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cygan, Marek. editor.&#160;Heggernes, Pinar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13524-3">https://doi.org/10.1007/978-3-319-13524-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488952 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Blum, Christian. editor.&#160;Ochoa, Gabriela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44320-0">https://doi.org/10.1007/978-3-662-44320-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488955 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Chen, Jianer. editor.&#160;Hopcroft, John E. editor.&#160;Wang, Jianxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08016-1">https://doi.org/10.1007/978-3-319-08016-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489461 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Lee, Jon. editor.&#160;Vygen, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07557-0">https://doi.org/10.1007/978-3-319-07557-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms - ESA 2014 22th Annual European Symposium, Wroc&#322;aw, Poland, September 8-10, 2014. Proceedings ent://SD_ILS/0/SD_ILS:483040 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Schulz, Andreas S. editor.&#160;Wagner, Dorothea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44777-2">https://doi.org/10.1007/978-3-662-44777-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:483100 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Abraham, Erika. editor.&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Chinese Computing Third CCF Conference, NLPCC 2014, Shenzhen, China, December 5-9, 2014. Proceedings ent://SD_ILS/0/SD_ILS:483480 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zong, Chengqing. editor.&#160;Nie, Jian-Yun. editor.&#160;Zhao, Dongyan. editor.&#160;Feng, Yansong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45924-9">https://doi.org/10.1007/978-3-662-45924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Teaching Puzzle-based Learning ent://SD_ILS/0/SD_ILS:484382 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Meyer III, Edwin F. author.&#160;Falkner, Nickolas. author.&#160;Sooriamurthi, Raja. author.&#160;Michalewicz, Zbigniew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6476-0">https://doi.org/10.1007/978-1-4471-6476-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Operating Systems A Practical Approach ent://SD_ILS/0/SD_ILS:484394 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Holt, Alan. author.&#160;Huang, Chi-Yu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6603-0">https://doi.org/10.1007/978-1-4471-6603-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Operational Semantics A Concise Overview ent://SD_ILS/0/SD_ILS:484561 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Fern&aacute;ndez, Maribel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484951 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09144-0">https://doi.org/10.1007/978-3-319-09144-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485512 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Goehringer, Diana. editor.&#160;Santambrogio, Marco Domenico. editor.&#160;Cardoso, Jo&atilde;o M.P. editor.&#160;Bertels, Koen. editor. (orcid)0000-0001-9310-4885&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05960-0">https://doi.org/10.1007/978-3-319-05960-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485515 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gopal, T V. editor.&#160;Agrawal, Manindra. editor.&#160;Li, Angsheng. editor.&#160;Cooper, S. Barry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485637 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;J&uuml;rgensen, Helmut. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Okhotin, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485551 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kozielski, Stanislaw. editor.&#160;Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656&#160;Kasprowski, Pawel. editor.&#160;Ma&#322;ysiak-Mrozek, Bo&#380;ena. editor.&#160;Kostrzewa, Daniel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06932-6">https://doi.org/10.1007/978-3-319-06932-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485669 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor.&#160;Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10515-4">https://doi.org/10.1007/978-3-319-10515-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485683 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Norman, Gethin. editor.&#160;Sanders, William. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10696-0">https://doi.org/10.1007/978-3-319-10696-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings ent://SD_ILS/0/SD_ILS:485687 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bartz-Beielstein, Thomas. editor.&#160;Branke, Juergen. editor.&#160;Filipi&#269;, Bogdan. editor. (orcid)0000-0003-4428-4255&#160;Smith, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10762-2">https://doi.org/10.1007/978-3-319-10762-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485693 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;M&uuml;ller-Olm, Markus. editor.&#160;Seidl, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485694 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wermter, Stefan. editor.&#160;Weber, Cornelius. editor.&#160;Duch, Wlodzislaw. editor.&#160;Honkela, Timo. editor.&#160;Koprinkova-Hristova, Petia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11179-7">https://doi.org/10.1007/978-3-319-11179-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:485695 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Sun, Xiang-he. editor.&#160;Qu, Wenyu. editor.&#160;Stojmenovic, Ivan. editor.&#160;Zhou, Wanlei. editor.&#160;Li, Zhiyang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11197-1">https://doi.org/10.1007/978-3-319-11197-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485696 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Murata, Satoshi. editor.&#160;Kobayashi, Satoshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11295-4">https://doi.org/10.1007/978-3-319-11295-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485712 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Was, Jaroslaw. editor.&#160;Sirakoulis, Georgios. editor.&#160;Bandini, Stefania. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485783 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Escobar, Santiago. editor. (orcid)0000-0002-3550-4781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485792 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091&#160;Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062&#160;Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133&#160;Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13206-8">https://doi.org/10.1007/978-3-319-13206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Machine Learning Technologies and Applications Second International Conference, AMLTA 2014, Cairo, Egypt, November 28-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485816 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hassanien, Aboul Ella. editor.&#160;Tolba, Mohamed. editor.&#160;Taher Azar, Ahmad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13461-1">https://doi.org/10.1007/978-3-319-13461-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:485823 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bolikowski, &#321;ukasz. editor.&#160;Casarosa, Vittore. editor.&#160;Goodale, Paula. editor.&#160;Houssos, Nikos. editor.&#160;Manghi, Paolo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08425-1">https://doi.org/10.1007/978-3-319-08425-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:485824 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08795-5">https://doi.org/10.1007/978-3-319-08795-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485742 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kravets, Alla. editor. (orcid)0000-0003-1675-8652&#160;Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499&#160;Kultsova, Marina. editor. (orcid)0000-0002-2584-431X&#160;Iijima, Tadashi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485752 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Moura, Edleno. editor.&#160;Crochemore, Maxime. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11918-2">https://doi.org/10.1007/978-3-319-11918-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485756 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Grandinetti, Lucio. editor.&#160;Lippert, Thomas. editor.&#160;Petkov, Nicolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12084-3">https://doi.org/10.1007/978-3-319-12084-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bayesian and grAphical Models for Biomedical Imaging First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485764 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cardoso, M. Jorge. editor. (orcid)0000-0003-1284-2558&#160;Simpson, Ivor. editor.&#160;Arbel, Tal. editor.&#160;Precup, Doina. editor.&#160;Ribbens, Annemie. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12289-2">https://doi.org/10.1007/978-3-319-12289-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> S-BPM ONE - Application Studies and Work in Progress 6th International Conference, S-BPM ONE 2014, Eichst&auml;tt, Germany, April 22-23, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486673 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zehbold, Cornelia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06191-7">https://doi.org/10.1007/978-3-319-06191-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:486691 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08855-6">https://doi.org/10.1007/978-3-319-08855-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithm Theory -- SWAT 2014 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486844 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;G&oslash;rtz, Inge Li. editor.&#160;Ravi, R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08404-6">https://doi.org/10.1007/978-3-319-08404-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:486853 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09153-2">https://doi.org/10.1007/978-3-319-09153-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies, Information Security and Sustainable Development Third International Multi-topic Conference, IMTIC 2013, Jamshoro, Pakistan, December 18--20, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486961 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Shaikh, Faisal Karim. editor.&#160;Chowdhry, Bhawani Shankar. editor.&#160;Zeadally, Sherali. editor.&#160;Hussain, Dil Muhammad Akbar. editor.&#160;Memon, Aftab Ahmed. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10987-9">https://doi.org/10.1007/978-3-319-10987-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Search, Integration, and Personalization International Workshop, ISIP 2013, Bangkok, Thailand, September 16--18, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:486962 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kawtrakul, Asanee. editor.&#160;Laurent, Dominique. editor. (orcid)0000-0002-7264-9576&#160;Spyratos, Nicolas. editor.&#160;Tanaka, Yuzuru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08732-0">https://doi.org/10.1007/978-3-319-08732-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Highlights of Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection PAAMS 2014 International Workshops, Salamanca, Spain, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487031 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Corchado, Juan M. editor.&#160;Bajo, Javier. editor.&#160;Kozlak, Jaroslaw. editor.&#160;Pawlewski, Pawel. editor.&#160;Molina, Jose M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07767-3">https://doi.org/10.1007/978-3-319-07767-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487052 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cai, Zhipeng. editor.&#160;Zelikovsky, Alexander. editor.&#160;Bourgeois, Anu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08783-2">https://doi.org/10.1007/978-3-319-08783-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 21st International Conference, CN 2014, Brun&oacute;w, Poland, June 23-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488282 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kwiecien, Andrzej. editor.&#160;Gaj, Piotr. editor. (orcid)0000-0002-2291-7341&#160;Stera, Piotr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07941-7">https://doi.org/10.1007/978-3-319-07941-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia Communications, Services and Security 7th International Conference, MCSS 2014, Krakow, Poland, June 11-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488288 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dziech, Andrzej. editor.&#160;Czyzewski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07569-3">https://doi.org/10.1007/978-3-319-07569-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488425 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;van Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Engineering and the Semantic Web 5th International Conference, KESW 2014, Kazan, Russia, September 29--October 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488474 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Klinov, Pavel. editor.&#160;Mouromtsev, Dmitry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11716-4">https://doi.org/10.1007/978-3-319-11716-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition 6th Chinese Conference, CCPR 2014, Changsha, China, November 17-19, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:488786 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Li, Shutao. editor.&#160;Liu, Chenglin. editor.&#160;Wang, Yaonan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45646-0">https://doi.org/10.1007/978-3-662-45646-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488980 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers ent://SD_ILS/0/SD_ILS:488991 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Desai, Narayan. editor.&#160;Cirne, Walfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43779-7">https://doi.org/10.1007/978-3-662-43779-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary and Biologically Inspired Music, Sound, Art and Design Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488992 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Romero, Juan. editor.&#160;McDermott, James. editor.&#160;Correia, Jo&atilde;o. editor. (orcid)0000-0001-5562-1996&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44335-4">https://doi.org/10.1007/978-3-662-44335-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:489002 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Loo, Chu Kiong. editor.&#160;Keem Siah, Yap. editor.&#160;Wong, Kok Wai. editor.&#160;Beng Jin, Andrew Teoh. editor.&#160;Huang, Kaizhu. editor. (orcid)0000-0002-3034-9639<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12637-1">https://doi.org/10.1007/978-3-319-12637-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489008 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Floater, Michael. editor.&#160;Lyche, Tom. editor.&#160;Mazure, Marie-Laurence. editor.&#160;Morken, Knut. editor.&#160;Schumaker, Larry L. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54382-1">https://doi.org/10.1007/978-3-642-54382-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489009 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kaklamanis, Christos. editor.&#160;Pruhs, Kirk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08001-7">https://doi.org/10.1007/978-3-319-08001-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489012 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Holzer, Markus. editor.&#160;Kutrib, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08846-4">https://doi.org/10.1007/978-3-319-08846-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489013 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Codish, Michael. editor.&#160;Sumii, Eijiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives ent://SD_ILS/0/SD_ILS:489092 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Anderson, Neal G. editor.&#160;Bhanja, Sanjukta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43722-3">https://doi.org/10.1007/978-3-662-43722-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489093 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Silva, Fernando. editor.&#160;Dutra, In&ecirc;s. editor.&#160;Santos Costa, Vitor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09873-9">https://doi.org/10.1007/978-3-319-09873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489095 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Shur, Arseny M. editor.&#160;Volkov, Mikhail V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488965 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bensalem, Saddek. editor.&#160;Lakhnech, Yassine. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488966 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488970 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Esparcia-Alc&aacute;zar, Anna I. editor.&#160;Mora, Antonio M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45523-4">https://doi.org/10.1007/978-3-662-45523-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488972 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Fouilhoux, Pierre. editor.&#160;Gouveia, Luis Eduardo Neves. editor.&#160;Mahjoub, A. Ridha. editor.&#160;Paschos, Vangelis T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09174-7">https://doi.org/10.1007/978-3-319-09174-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:488979 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;van Breugel, Franck. editor.&#160;Kashefi, Elham. editor.&#160;Palamidessi, Catuscia. editor.&#160;Rutten, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06880-0">https://doi.org/10.1007/978-3-319-06880-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers ent://SD_ILS/0/SD_ILS:489067 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Atmanspacher, Harald. editor.&#160;Haven, Emmanuel. editor.&#160;Kitto, Kirsty. editor.&#160;Raine, Derek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54943-4">https://doi.org/10.1007/978-3-642-54943-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantics Research 8th Research Conference, MTSR 2014, Karlsruhe, Germany, November 27-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489403 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Closs, Sissi. editor.&#160;Studer, Rudi. editor.&#160;Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634&#160;Sicilia, Miguel-Angel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13674-5">https://doi.org/10.1007/978-3-319-13674-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Literacy: Lifelong Learning and Digital Citizenship in the 21st Century Second European Conference, ECIL 2014, Dubrovnik, Croatia, October 20-23, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489418 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kurbanoglu, Serap. editor.&#160;Spiranec, Sonja. editor.&#160;Grassian, Esther. editor.&#160;Mizrachi, Diane. editor.&#160;Catts, Ralph. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14136-7">https://doi.org/10.1007/978-3-319-14136-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489421 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ca&#537;caval, C&#259;lin. editor.&#160;Montesinos, Pablo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09967-5">https://doi.org/10.1007/978-3-319-09967-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489434 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part V ent://SD_ILS/0/SD_ILS:489073 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09156-3">https://doi.org/10.1007/978-3-319-09156-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:489074 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Calude, Cristian S. editor.&#160;Freivalds, R&#363;si&#326;&scaron;. editor.&#160;Kazuo, Iwama. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13350-8">https://doi.org/10.1007/978-3-319-13350-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489075 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Biere, Armin. editor. (orcid)0000-0001-7170-9242&#160;Bloem, Roderick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08867-9">https://doi.org/10.1007/978-3-319-08867-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489509 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cai, Zhipeng. editor.&#160;Wang, Chaokun. editor.&#160;Cheng, Siyao. editor.&#160;Wang, Hongzhi. editor.&#160;Gao, Hong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07782-6">https://doi.org/10.1007/978-3-319-07782-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489514 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Mikulski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45317-9">https://doi.org/10.1007/978-3-662-45317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday ent://SD_ILS/0/SD_ILS:489515 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Casadio, Claudia. editor.&#160;Coecke, Bob. editor.&#160;Moortgat, Michael. editor.&#160;Scott, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489554 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771&#160;Shi, Xuanhua. editor.&#160;Salapura, Valentina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44917-2">https://doi.org/10.1007/978-3-662-44917-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part &#8545; ent://SD_ILS/0/SD_ILS:489568 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Fei, Minrui. editor.&#160;Peng, Chen. editor.&#160;Su, Zhou. editor.&#160;Song, Yang. editor.&#160;Han, Qinglong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45261-5">https://doi.org/10.1007/978-3-662-45261-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Business and Telecommunications International Joint Conference, ICETE 2012, Rome, Italy, July 24--27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482710 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Obaidat, Mohammad S. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44791-8">https://doi.org/10.1007/978-3-662-44791-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482711 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Barafort, B&eacute;atrix. editor.&#160;O'Connor, Rory V. editor.&#160;Poth, Alexander. editor. (orcid)0000-0002-2868-5633&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43896-1">https://doi.org/10.1007/978-3-662-43896-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:482715 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Coello Coello, Carlos. editor. (orcid)0000-0002-8435-680X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11857-4">https://doi.org/10.1007/978-3-319-11857-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Engineering Systems and Technologies 6th International Joint Conference, BIOSTEC 2013, Barcelona, Spain, February 11-14, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482730 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Fern&aacute;ndez-Chimeno, Mireya. editor.&#160;Fernandes, Pedro L. editor.&#160;Alvarez, Sergio. editor.&#160;Stacey, Deborah. editor.&#160;Sol&eacute;-Casals, Jordi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44485-6">https://doi.org/10.1007/978-3-662-44485-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers ent://SD_ILS/0/SD_ILS:482733 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Colinet, Margot. editor.&#160;Katrenko, Sophia. editor.&#160;Rendsvig, Rasmus 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-662-44116-9">https://doi.org/10.1007/978-3-662-44116-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multidisciplinary Social Networks Research International Conference, MISNC 2014, Kaohsiung, Taiwan, September 13-14, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482734 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wang, Leon Shyue-Liang. editor.&#160;June, Jason J. editor.&#160;Lee, Chung-Hong. editor.&#160;Okuhara, Koji. editor.&#160;Yang, Hsin-Chang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45071-0">https://doi.org/10.1007/978-3-662-45071-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration Technologies and Social Computing 7th International Conference, CollabTech 2014, Santiago, Chile, September 8-10, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482735 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Yuizono, Takaya. editor.&#160;Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247&#160;Baloian, Nelson. editor.&#160;Inoue, Tomoo. editor. (orcid)0000-0003-3600-214X&#160;Ogata, Hiroaki. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44651-5">https://doi.org/10.1007/978-3-662-44651-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 19th International Conference, Formal Grammar 2014, T&uuml;bingen, Germany, August 16-17, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482800 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Morrill, Glyn. editor.&#160;Muskens, Reinhard. editor.&#160;Osswald, Rainer. editor.&#160;Richter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44121-3">https://doi.org/10.1007/978-3-662-44121-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Artificial Intelligence 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482754 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Filipe, Joaquim. editor.&#160;Fred, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44440-5">https://doi.org/10.1007/978-3-662-44440-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:483520 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zhang, Zhao. editor.&#160;Wu, Lidong. editor.&#160;Xu, Wen. editor.&#160;Du, Ding-Zhu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12691-3">https://doi.org/10.1007/978-3-319-12691-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485612 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cheung, Simon K.S. editor.&#160;Fong, Joseph. editor.&#160;Zhang, Jiping. editor.&#160;Kwan, Reggie. editor.&#160;Kwok, Lam For. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08961-4">https://doi.org/10.1007/978-3-319-08961-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485622 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Sinz, Carsten. editor.&#160;Egly, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485626 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09150-1">https://doi.org/10.1007/978-3-319-09150-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485632 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09620-9">https://doi.org/10.1007/978-3-319-09620-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485634 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Legay, Axel. editor.&#160;Bozga, Marius. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485465 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Pal, Sudebkumar Prasant. editor.&#160;Sadakane, Kunihiko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04657-0">https://doi.org/10.1007/978-3-319-04657-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485472 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Sierra-Rodr&iacute;guez, Jos&eacute;-Luis. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems -- ARCS 2014 27th International Conference, L&uuml;beck, Germany, February 25-28, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485475 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Maehle, Erik. editor.&#160;R&ouml;mer, Kay. editor.&#160;Karl, Wolfgang. editor.&#160;Tovar, Eduardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04891-8">https://doi.org/10.1007/978-3-319-04891-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482660 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;an Mey, Dieter. editor.&#160;Alexander, Michael. editor.&#160;Paolo, Bientinesi. editor.&#160;Cannataro, Mario. editor.&#160;Clauss, Carsten. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54420-0">https://doi.org/10.1007/978-3-642-54420-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valpara&iacute;so, Chile, September 1-4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482852 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kohlenbach, Ulrich. editor.&#160;Barcel&oacute;, Pablo. editor.&#160;de Queiroz, Ruy J G B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44145-9">https://doi.org/10.1007/978-3-662-44145-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Java A Concise Introduction to Programming ent://SD_ILS/0/SD_ILS:484364 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Streib, James T. author.&#160;Soma, Takako. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6317-6">https://doi.org/10.1007/978-1-4471-6317-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 22nd International Symposium, GD 2014, W&uuml;rzburg, Germany, September 24-26, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487194 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Duncan, Christian. editor.&#160;Symvonis, Antonios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45803-7">https://doi.org/10.1007/978-3-662-45803-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi ent://SD_ILS/0/SD_ILS:487212 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Iida, Shusaku. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;Ogata, Kazuhiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487217 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kunkel, Julian Martin. editor.&#160;Ludwig, Thomas. editor.&#160;Meuer, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07518-1">https://doi.org/10.1007/978-3-319-07518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487074 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kuhn, Fabian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45174-8">https://doi.org/10.1007/978-3-662-45174-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487246 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487293 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ma, Shiwei. editor.&#160;Jia, Li. editor.&#160;Li, Xin. editor.&#160;Wang, Ling. editor.&#160;Zhou, Huiyu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45283-7">https://doi.org/10.1007/978-3-662-45283-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:487279 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Sun, Xiang-he. editor.&#160;Qu, Wenyu. editor.&#160;Stojmenovic, Ivan. editor.&#160;Zhou, Wanlei. editor.&#160;Li, Zhiyang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11194-0">https://doi.org/10.1007/978-3-319-11194-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487476 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487782 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;van den Herik, H. Jaap. editor.&#160;Iida, Hiroyuki. editor.&#160;Plaat, Aske. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09165-5">https://doi.org/10.1007/978-3-319-09165-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487785 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ibarra, Oscar H. editor.&#160;Kari, Lila. editor.&#160;Kopecki, Steffen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08123-6">https://doi.org/10.1007/978-3-319-08123-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III ent://SD_ILS/0/SD_ILS:487786 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08852-5">https://doi.org/10.1007/978-3-319-08852-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487787 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X&#160;Resende, Mauricio G.C. editor.&#160;Vogiatzis, Chrysafis. editor.&#160;Walteros, Jose L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09584-4">https://doi.org/10.1007/978-3-319-09584-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:487790 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09147-1">https://doi.org/10.1007/978-3-319-09147-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 14th International Conference, CMC 2013, Chi&#351;in&#259;u, Republic of Moldova, August 20-23, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487795 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Alhazov, Artiom. editor.&#160;Cojocaru, Svetlana. editor.&#160;Gheorghe, Marian. editor.&#160;Rogozhin, Yurii. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54239-8">https://doi.org/10.1007/978-3-642-54239-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487798 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bello, Fernando. editor.&#160;Cotin, St&eacute;phane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12057-7">https://doi.org/10.1007/978-3-319-12057-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatics in SchoolsTeaching and Learning Perspectives 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487823 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;G&uuml;lbahar, Yasemin. editor.&#160;Karata&#351;, Erin&ccedil;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09958-3">https://doi.org/10.1007/978-3-319-09958-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487827 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Tan, Tieniu. editor.&#160;Ruan, Qiuqi. editor.&#160;Wang, Shengjin. editor.&#160;Ma, Huimin. editor.&#160;Huang, Kaiqi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45498-5">https://doi.org/10.1007/978-3-662-45498-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487888 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Boniol, Frederic. editor.&#160;Wiels, Virginie. editor.&#160;Ait Ameur, Yamine. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Analysis of Algorithms ent://SD_ILS/0/SD_ILS:487903 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Vrajitoru, Dana. author.&#160;Knight, William. 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-09888-3">https://doi.org/10.1007/978-3-319-09888-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:487917 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07857-1">https://doi.org/10.1007/978-3-319-07857-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:487944 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07854-0">https://doi.org/10.1007/978-3-319-07854-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Computer Networks and Distributed Systems Security Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487966 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Martinez Perez, Gregorio. editor.&#160;Thampi, Sabu M. editor.&#160;Ko, Ryan. editor.&#160;Shu, Lei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54525-2">https://doi.org/10.1007/978-3-642-54525-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488004 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Mladenov, Valeri M. editor.&#160;Ivanov, Plamen Ch. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08672-9">https://doi.org/10.1007/978-3-319-08672-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Challenges of Information Management Beyond the Cloud 4th International Symposium on Information Management in a Changing World, IMCW 2013, Limerick, Ireland, September 4-6, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488077 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gathegi, John N. editor.&#160;Tonta, Yasar. editor.&#160;Kurbanoglu, Serap. editor.&#160;Al, Umut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44412-2">https://doi.org/10.1007/978-3-662-44412-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bridging Between Cultural Heritage Institutions 9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31 -- February 1, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488084 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Catarci, Tiziana. editor.&#160;Ferro, Nicola. editor. (orcid)0000-0001-9219-6239&#160;Poggi, Antonella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54347-0">https://doi.org/10.1007/978-3-642-54347-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Cybernetics 13th International Conference, Lanzhou, China, July 13-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488184 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wang, Xizhao. editor.&#160;Pedrycz, Witold. editor.&#160;Chan, Patrick. editor.&#160;He, Qiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45652-1">https://doi.org/10.1007/978-3-662-45652-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Networks and Artificial Intelligence 8th International Conference, ICNNAI 2014, Brest, Belarus, June 3-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488201 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Golovko, Vladimir. editor.&#160;Imada, Akira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08201-1">https://doi.org/10.1007/978-3-319-08201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Architecture 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488218 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wu, Junjie. editor.&#160;Chen, Haibo. editor.&#160;Wang, Xingwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44491-7">https://doi.org/10.1007/978-3-662-44491-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part &#8546; ent://SD_ILS/0/SD_ILS:488325 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Li, Kang. editor.&#160;Xue, Yusheng. editor.&#160;Cui, Shumei. editor.&#160;Qun, Niu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45286-8">https://doi.org/10.1007/978-3-662-45286-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Programming Languages ent://SD_ILS/0/SD_ILS:488265 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Lee, Kent 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-319-13314-0">https://doi.org/10.1007/978-3-319-13314-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Computer Vision An Introduction into Theory and Algorithms ent://SD_ILS/0/SD_ILS:488524 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Klette, Reinhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6320-6">https://doi.org/10.1007/978-1-4471-6320-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis of Images, Social Networks and Texts Third International Conference, AIST 2014, Yekaterinburg, Russia, April 10-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488334 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ignatov, Dmitry I. editor.&#160;Khachay, Mikhail Yu. editor. (orcid)0000-0003-3555-0080&#160;Panchenko, Alexander. editor.&#160;Konstantinova, Natalia. editor.&#160;Yavorsky, Rostislav E. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12580-0">https://doi.org/10.1007/978-3-319-12580-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Wireless Sensor Networks 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488697 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Sun, Limin. editor.&#160;Ma, Huadong. editor.&#160;Hong, Feng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54522-1">https://doi.org/10.1007/978-3-642-54522-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Business and Telecommunications International Joint Conference, ICETE 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488647 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Obaidat, Mohammad S. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44788-8">https://doi.org/10.1007/978-3-662-44788-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Design for Natural Scientists An Agile Model-Driven Approach ent://SD_ILS/0/SD_ILS:488739 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;Margaria, Tiziana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:489017 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Remke, Anne. editor.&#160;Stoelinga, Mari&euml;lle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489018 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Klein, Gerwin. editor.&#160;Gamboa, Ruben. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08970-6">https://doi.org/10.1007/978-3-319-08970-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489020 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gudmundsson, Joachim. editor.&#160;Katajainen, Jyrki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07959-2">https://doi.org/10.1007/978-3-319-07959-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489041 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#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-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489043 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Asher, Nicholas. editor.&#160;Soloviev, Sergei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43742-1">https://doi.org/10.1007/978-3-662-43742-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489054 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Maffei, Matteo. editor.&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45917-1">https://doi.org/10.1007/978-3-662-45917-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489063 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bacon, Dave. editor.&#160;Martin-Delgado, Miguel. editor.&#160;Roetteler, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54429-3">https://doi.org/10.1007/978-3-642-54429-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489069 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Sos&iacute;k, Petr. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14370-5">https://doi.org/10.1007/978-3-319-14370-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Science: Perspectives from Europe European Design Science Symposium EDSS 2013, Dublin, Ireland, November 21-22, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489570 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Helfert, Markus. editor.&#160;Donnellan, Brian. editor.&#160;Kenneally, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13936-4">https://doi.org/10.1007/978-3-319-13936-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489579 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gupta, Gopal. editor.&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489634 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;McCarthy, Jay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45340-3">https://doi.org/10.1007/978-3-642-45340-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Applications of Neural Networks 15th International Conference, EANN 2014, Sofia, Bulgaria, September 5-7, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485647 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Mladenov, Valeri. editor.&#160;Jayne, Chrisina. editor.&#160;Iliadis, Lazaros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11071-4">https://doi.org/10.1007/978-3-319-11071-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safe and Secure Cities 5th International Conference on Well-Being in the Information Society, WIS 2014, Turku, Finland, August 18-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485651 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Saranto, Kaija. editor.&#160;Castr&eacute;n, Maaret. editor.&#160;Kuusela, Tiina. editor.&#160;Hyrynsalmi, Sami. editor.&#160;Ojala, Stina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10211-5">https://doi.org/10.1007/978-3-319-10211-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Signal Processing International Symposium, AISP 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485678 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Movaghar, Ali. editor.&#160;Jamzad, Mansour. editor.&#160;Asadi, Hossein. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10849-0">https://doi.org/10.1007/978-3-319-10849-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485785 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ahn, Hee-Kap. editor.&#160;Shin, Chan-Su. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13075-0">https://doi.org/10.1007/978-3-319-13075-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete and Computational Geometry and Graphs 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485803 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Akiyama, Jin. editor.&#160;Ito, Hiro. editor.&#160;Sakai, Toshinori. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13287-7">https://doi.org/10.1007/978-3-319-13287-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technologies and Mathematical Modelling 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485811 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dudin, Alexander. editor.&#160;Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629&#160;Yakupov, Rafael. editor.&#160;Gortsev, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13671-4">https://doi.org/10.1007/978-3-319-13671-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings ent://SD_ILS/0/SD_ILS:485812 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dick, Grant. editor.&#160;Browne, Will N. editor.&#160;Whigham, Peter. editor.&#160;Zhang, Mengjie. editor.&#160;Bui, Lam Thu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13563-2">https://doi.org/10.1007/978-3-319-13563-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485732 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Felber, Pascal. editor.&#160;Garg, Vijay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11764-5">https://doi.org/10.1007/978-3-319-11764-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485733 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zeng, Zhigang. editor.&#160;Li, Yangmin. editor.&#160;King, Irwin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12436-0">https://doi.org/10.1007/978-3-319-12436-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Assisted Assessment -- Research into E-Assessment International Conference, CAA 2014, Zeist, The Netherlands, June 30 -- July 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485821 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kalz, Marco. editor.&#160;Ras, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08657-6">https://doi.org/10.1007/978-3-319-08657-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485841 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Mitasiunas, Antanas. editor.&#160;Rout, Terry. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Dorling, Alec. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13036-1">https://doi.org/10.1007/978-3-319-13036-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile as Mainstream - Towards Future Challenges in Mobile Learning 13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485843 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kalz, Marco. editor.&#160;Bayyurt, Yasemin. editor.&#160;Specht, Marcus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13416-1">https://doi.org/10.1007/978-3-319-13416-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III ent://SD_ILS/0/SD_ILS:485775 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Loo, Chu Kiong. editor.&#160;Keem Siah, Yap. editor.&#160;Wong, Kok Wai. editor.&#160;Beng Jin, Andrew Teoh. editor.&#160;Huang, Kaizhu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12643-2">https://doi.org/10.1007/978-3-319-12643-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:485778 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14325-5">https://doi.org/10.1007/978-3-319-14325-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485982 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Pan, Linqiang. editor.&#160;Paun, Gheorghe. editor.&#160;P&eacute;rez-Jim&eacute;nez, Mario J. editor.&#160;Song, Tao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45049-9">https://doi.org/10.1007/978-3-662-45049-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486886 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Abadi, Mart&iacute;n. editor.&#160;Lluch Lafuente, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05119-2">https://doi.org/10.1007/978-3-319-05119-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:486911 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Legrand, Pierrick. editor.&#160;Corsini, Marc-Michel. editor.&#160;Hao, Jin-Kao. editor.&#160;Monmarch&eacute;, Nicolas. editor.&#160;Lutton, Evelyne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11683-9">https://doi.org/10.1007/978-3-319-11683-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers ent://SD_ILS/0/SD_ILS:486931 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Barkatou, Moulay. editor.&#160;Cluzeau, Thomas. editor.&#160;Regensburger, Georg. editor.&#160;Rosenkranz, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54479-8">https://doi.org/10.1007/978-3-642-54479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487091 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dregvaite, Giedre. editor.&#160;Damasevicius, Robertas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11958-8">https://doi.org/10.1007/978-3-319-11958-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487096 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Blesa, Maria J. editor. (orcid)0000-0001-8246-9926&#160;Blum, Christian. editor.&#160;Vo&szlig;, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07644-7">https://doi.org/10.1007/978-3-319-07644-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Computing and Services International Conference, ISCTCS 2013, Beijing, China, November 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487154 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Yuan, Yuyu. editor.&#160;Wu, Xu. editor.&#160;Lu, Yueming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43908-1">https://doi.org/10.1007/978-3-662-43908-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487241 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ferro, Alfredo. editor.&#160;Luccio, Fabrizio. editor.&#160;Widmayer, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07890-8">https://doi.org/10.1007/978-3-319-07890-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487298 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Simonis, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07046-9">https://doi.org/10.1007/978-3-319-07046-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487364 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dowek, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08918-8">https://doi.org/10.1007/978-3-319-08918-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487371 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ciobanu, Gabriel. editor.&#160;M&eacute;ry, Dominique. editor. (orcid)0000-0001-5231-6611&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Pattern Matching 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487392 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Kulikov, Alexander S. editor.&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Pevzner, Pavel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07566-2">https://doi.org/10.1007/978-3-319-07566-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Informatics and Technology First International Conference, ACBIT 2013, Aizu-Wakamatsu, Japan, September 16-17, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487411 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Pham, Tuan D. editor.&#160;Ichikawa, Kazuhisha. editor.&#160;Oyama-Higa, Mayumi. editor.&#160;Coomans, Danny. editor.&#160;Jiang, Xiaoyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54121-6">https://doi.org/10.1007/978-3-642-54121-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487418 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;McMillan, Kenneth. editor.&#160;Rival, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Quality ent://SD_ILS/0/SD_ILS:487425 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;O&rsquo;Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487483 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Chatterjee, Mainak. editor.&#160;Cao, Jian-nong. editor.&#160;Kothapalli, Kishore. editor.&#160;Rajsbaum, Sergio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45249-9">https://doi.org/10.1007/978-3-642-45249-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487484 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Ciardo, Gianfranco. editor.&#160;Kindler, Ekkart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487501 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487519 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Lozano, Manuel. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics for Computer Graphics ent://SD_ILS/0/SD_ILS:487572 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Vince, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6290-2">https://doi.org/10.1007/978-1-4471-6290-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Python Programming Fundamentals ent://SD_ILS/0/SD_ILS:487606 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Lee, Kent D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6642-9">https://doi.org/10.1007/978-1-4471-6642-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks and Distributed Systems International Symposium, CNDS 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487617 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Jahangir, Amir Hossein. editor.&#160;Movaghar, Ali. editor.&#160;Asadi, Hossein. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10903-9">https://doi.org/10.1007/978-3-319-10903-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487641 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Siarry, Patrick. editor.&#160;Idoumghar, Lhassane. editor.&#160;Lepagnot, Julien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12970-9">https://doi.org/10.1007/978-3-319-12970-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487644 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Hernandez, Gonzalo. editor.&#160;Barrios Hernandez, Carlos Jaime. editor.&#160;D&iacute;az, Gilberto. editor.&#160;Garc&iacute;a Garino, Carlos. editor.&#160;Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45483-1">https://doi.org/10.1007/978-3-662-45483-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 5th International Conference, ICCL 2014, Valpara&iacute;so, Chile, September 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487652 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Gonz&aacute;lez-Ram&iacute;rez, Rosa G. editor.&#160;Schulte, Frederik. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Ceroni D&iacute;az, Jose A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Models for the Web Graph 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487672 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Bonato, Anthony. editor.&#160;Graham, Fan Chung. editor.&#160;Pra&#322;at, Pawe&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13123-8">https://doi.org/10.1007/978-3-319-13123-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487725 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Nicolau, Miguel. editor.&#160;Krawiec, Krzysztof. editor.&#160;Heywood, Malcolm I. editor.&#160;Castelli, Mauro. editor.&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44303-3">https://doi.org/10.1007/978-3-662-44303-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part II ent://SD_ILS/0/SD_ILS:487758 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09129-7">https://doi.org/10.1007/978-3-319-09129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:487767 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55224-3">https://doi.org/10.1007/978-3-642-55224-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Media Processing Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487876 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Huang, He-Yan. editor.&#160;Jun, Liu. editor.&#160;Zhang, Hua-Ping. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45558-6">https://doi.org/10.1007/978-3-662-45558-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Democracy, Security, Privacy and Trust in a Digital World 5th International Conference, E-Democracy 2013, Athens, Greece, December 5-6, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486701 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Sideridis, Alexander B. editor.&#160;Kardasiadou, Zoe. editor.&#160;Yialouris, Constantine P. editor.&#160;Zorkadis, Vasilios. editor. (orcid)0000-0003-4399-2495&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11710-2">https://doi.org/10.1007/978-3-319-11710-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Evaluation Challenge SemWebEval 2014 at ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486702 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Presutti, Valentina. editor.&#160;Stankovic, Milan. editor.&#160;Cambria, Erik. editor.&#160;Cantador, Iv&aacute;n. editor.&#160;Di Iorio, Angelo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12024-9">https://doi.org/10.1007/978-3-319-12024-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web and Web Science 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486721 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Zhao, Dongyan. editor.&#160;Du, Jianfeng. editor.&#160;Wang, Haofen. editor.&#160;Wang, Peng. editor.&#160;Ji, Donghong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45495-4">https://doi.org/10.1007/978-3-662-45495-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488029 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847&#160;Kozyrev, Dmitry. editor. (orcid)0000-0003-0538-8430&#160;Larionov, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05209-0">https://doi.org/10.1007/978-3-319-05209-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488042 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Li, Kenli. editor.&#160;Xiao, Zheng. editor.&#160;Wang, Yan. editor.&#160;Du, Jiayi. editor.&#160;Li, Keqin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-53962-6">https://doi.org/10.1007/978-3-642-53962-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Security and Privacy Third Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488089 2024-10-31T21:44:07Z 2024-10-31T21:44:07Z Author&#160;Cleary, Frances. editor.&#160;Felici, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12574-9">https://doi.org/10.1007/978-3-319-12574-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>