Search Results for Computers. - Narrowed by: 2014 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputers.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026ps$003d300?dt=list 2026-01-13T11:14:41Z Encyclopedia for Computers ent://SD_ILS/0/SD_ILS:372070 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Murugan, S. Ananda.<br/>Preferred Shelf Number&#160;QA76.5 M87 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Advances in computers. ent://SD_ILS/0/SD_ILS:40040 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Alt, Franz L., ed.<br/>Preferred Shelf Number&#160;QA 76 A3 V.7<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~9<br/> Mathematical methods for digital computers ent://SD_ILS/0/SD_ILS:34732 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Ralston, Anthony, ed.&#160;Wilf, Herbert S., ed.<br/>Preferred Shelf Number&#160;QA 76.5 R3 1960- V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Digital Da Vinci Computers in Music ent://SD_ILS/0/SD_ILS:488432 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Lee, Newton. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0536-2">https://doi.org/10.1007/978-1-4939-0536-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:485596 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157&#160;Fels, Deborah. editor.&#160;Archambault, Dominique. editor.&#160;Penaz, Petr. editor.&#160;Zagler, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08596-8">https://doi.org/10.1007/978-3-319-08596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485602 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157&#160;Fels, Deborah. editor.&#160;Archambault, Dominique. editor.&#160;Penaz, Petr. editor.&#160;Zagler, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08599-9">https://doi.org/10.1007/978-3-319-08599-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Da Vinci Computers in the Arts and Sciences ent://SD_ILS/0/SD_ILS:488366 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Lee, Newton. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0965-0">https://doi.org/10.1007/978-1-4939-0965-0</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools ent://SD_ILS/0/SD_ILS:489117 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Tatnall, Arthur. editor.&#160;Davey, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55119-2">https://doi.org/10.1007/978-3-642-55119-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Are Your Future Complete: Pearson New International Edition. ent://SD_ILS/0/SD_ILS:313660 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Laberta, Catherine.<br/>Preferred Shelf Number&#160;QA76.5 L33 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> ICT and Society 11th IFIP TC 9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 - August 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487382 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kimppa, Kai. editor.&#160;Whitehouse, Diane. editor.&#160;Kuusela, Tiina. editor.&#160;Phahlamohlaka, Jackie. 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-44208-1">https://doi.org/10.1007/978-3-662-44208-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PC net. ent://SD_ILS/0/SD_ILS:228793 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Format:&#160;Continuing Resources&#160;Other<br/>Availability&#160;~0<br/> PC world (Turkish ed.) ent://SD_ILS/0/SD_ILS:163312 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Preferred Shelf Number&#160;ALFABET&#304;K V.35-39 PART.1 1994<br/>Format:&#160;Continuing Resources&#160;Other<br/>Availability&#160;Beytepe Library~8&#160;~0<br/> International encyclopaedia of laws : Cyber law ent://SD_ILS/0/SD_ILS:271183 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Dumortier, Jos, 1950-<br/>Preferred Shelf Number&#160;REF K564.C6 C93 2004<br/>Format:&#160;Books<br/>Availability&#160;Law Library~1<br/> Computer aided design, engineering, and manufacturing : systems techniques and applications ent://SD_ILS/0/SD_ILS:539566 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Leondes, Cornelius T.<br/>Preferred Shelf Number&#160;TS155.6 .C6455 2001<br/>Electronic Access&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802370">https://www.taylorfrancis.com/books/9780367802370</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Computing and Its Applications : Volumes One and Two ent://SD_ILS/0/SD_ILS:539175 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Ray, Kumar S., author.&#160;Apple Academic Press.<br/>Preferred Shelf Number&#160;QA76.9 .S63 R395 2018<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781482257915">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Yeni dijital &ccedil;a&#287; : insanlar&#305;n, uluslar&#305;n ve i&#351; d&uuml;nyas&#305;n&#305;n gelece&#287;ini yeni ba&#351;tan &#351;ekillendirmek ent://SD_ILS/0/SD_ILS:378562 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Schmidt, Eric, 1955-&#160;Cohen, Jared, 1981-&#160;&#350;ensoy, &Uuml;mit.<br/>Preferred Shelf Number&#160;HM851 S2631 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Advanced Technologies in Ad Hoc and Sensor Networks Proceedings of the 7th China Conference on Wireless Sensor Networks ent://SD_ILS/0/SD_ILS:482840 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Wang, Xue. editor.&#160;Cui, Li. editor.&#160;Guo, Zhongwen. 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-54174-2">https://doi.org/10.1007/978-3-642-54174-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Services in Wireless Sensor Networks Modelling and Optimisation for the Efficient Discovery of Services ent://SD_ILS/0/SD_ILS:482780 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Becker, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-05402-1">https://doi.org/10.1007/978-3-658-05402-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Strategies for Pathway Mining Model and Pattern Identification ent://SD_ILS/0/SD_ILS:485436 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Chen, Qingfeng. author.&#160;Chen, Baoshan. author.&#160;Zhang, Chengqi. 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-04172-8">https://doi.org/10.1007/978-3-319-04172-8</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Cognitive Resource Management for Heterogeneous Cellular Networks ent://SD_ILS/0/SD_ILS:485522 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Liu, Yongkang. 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-06284-6">https://doi.org/10.1007/978-3-319-06284-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485524 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Jones, Cliff. editor.&#160;Pihlajasaari, Pekka. editor.&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Marked Graphs ent://SD_ILS/0/SD_ILS:485527 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cheung, King Sing. 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-06428-4">https://doi.org/10.1007/978-3-319-06428-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485531 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Chau, Michael. editor.&#160;Chen, Hsinchun. editor.&#160;Wang, G. Alan. editor.&#160;Wang, Jau-Hwang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06677-6">https://doi.org/10.1007/978-3-319-06677-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485532 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Sikora, Axel. editor.&#160;Berbineau, Marion. editor. (orcid)0000-0003-3807-9669&#160;Vinel, Alexey. editor.&#160;Jonsson, Magnus. editor.&#160;Pirovano, Alain. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06644-8">https://doi.org/10.1007/978-3-319-06644-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure Data Management 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings ent://SD_ILS/0/SD_ILS:485543 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Jonker, Willem. editor.&#160;Petkovi&#263;, Milan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06811-4">https://doi.org/10.1007/978-3-319-06811-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485545 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Pointcheval, David. editor.&#160;Vergnaud, Damien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06734-6">https://doi.org/10.1007/978-3-319-06734-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485551 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions ent://SD_ILS/0/SD_ILS:485555 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kerren, Andreas. editor.&#160;Purchase, Helen. editor.&#160;Ward, Matthew O. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06793-3">https://doi.org/10.1007/978-3-319-06793-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Visualization An Introduction ent://SD_ILS/0/SD_ILS:485562 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Spence, Robert. 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-07341-5">https://doi.org/10.1007/978-3-319-07341-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Persuasive Technology - Persuasive, Motivating, Empowering Videogames 9th International Conference, PERSUASIVE 2014, Padua, Italy, May 21-23, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485566 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Spagnolli, Anna. editor.&#160;Chittaro, Luca. editor.&#160;Gamberini, Luciano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07127-5">https://doi.org/10.1007/978-3-319-07127-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:485574 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zu, Qiaohong. editor.&#160;Vargas-Vera, Maria. editor.&#160;Hu, Bo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09265-2">https://doi.org/10.1007/978-3-319-09265-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485593 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Rocha, 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-08909-6">https://doi.org/10.1007/978-3-319-08909-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485594 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Holz, Thorsten. editor. (orcid)0000-0002-2783-1264&#160;Ioannidis, Sotiris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08593-7">https://doi.org/10.1007/978-3-319-08593-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485597 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;George, Laurent. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485603 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Di Ruscio, Davide. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485624 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Seidl, Martina. editor.&#160;Tillmann, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485633 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Huang, De-Shuang. editor.&#160;Han, Kyungsook. editor.&#160;Gromiha, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09330-7">https://doi.org/10.1007/978-3-319-09330-7</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485637 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Autonomy Requirements Engineering for Space Missions ent://SD_ILS/0/SD_ILS:485641 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Vassev, Emil. author.&#160;Hinchey, Mike. 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-09816-6">https://doi.org/10.1007/978-3-319-09816-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485644 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Le Goues, Claire. editor.&#160;Yoo, Shin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485645 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Avgeriou, Paris. editor.&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linked Open Data -- Creating Knowledge Out of Interlinked Data Results of the LOD2 Project ent://SD_ILS/0/SD_ILS:485646 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Auer, S&ouml;ren. editor.&#160;Bryl, Volha. editor.&#160;Tramp, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09846-3">https://doi.org/10.1007/978-3-319-09846-3</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings ent://SD_ILS/0/SD_ILS:485687 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485691 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;DeRose, Luiz. editor.&#160;de Supinski, Bronis R. editor.&#160;Olivier, Stephen L. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Wermter, Stefan. editor.&#160;Weber, Cornelius. editor.&#160;Duch, Wlodzislaw. editor.&#160;Honkela, Timo. editor.&#160;Koprinkova-Hristova, Petia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11179-7">https://doi.org/10.1007/978-3-319-11179-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485696 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485705 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bouchachia, Abdelhamid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11298-5">https://doi.org/10.1007/978-3-319-11298-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485784 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Mellouk, Abdelhamid. editor.&#160;Fowler, Scott. editor.&#160;Daachi, Boubaker. editor.&#160;Hoceini, Said. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13174-0">https://doi.org/10.1007/978-3-319-13174-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485793 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Chow, Sherman S.M. editor.&#160;Camenisch, Jan. editor.&#160;Hui, Lucas C.K. editor.&#160;Yiu, Siu Ming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13257-0">https://doi.org/10.1007/978-3-319-13257-0</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Handbook of Document Image Processing and Recognition ent://SD_ILS/0/SD_ILS:487836 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Doermann, David. editor.&#160;Tombre, Karl. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-0-85729-859-1">https://doi.org/10.1007/978-0-85729-859-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Design for Embedded Systems Co-modelling and Co-simulation ent://SD_ILS/0/SD_ILS:487938 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Fitzgerald, John. editor.&#160;Larsen, Peter Gorm. editor.&#160;Verhoef, Marcel. 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-54118-6">https://doi.org/10.1007/978-3-642-54118-6</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Large-Scale Data Analytics ent://SD_ILS/0/SD_ILS:488092 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gkoulalas-Divanis, Aris. editor.&#160;Labbi, Abderrahim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-9242-9">https://doi.org/10.1007/978-1-4614-9242-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm ent://SD_ILS/0/SD_ILS:488101 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Abu el Ata, Nabil. author.&#160;Perks, Maurice J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54310-4">https://doi.org/10.1007/978-3-642-54310-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Opening Science The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing ent://SD_ILS/0/SD_ILS:488159 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bartling, S&ouml;nke. editor.&#160;Friesike, Sascha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-00026-8">https://doi.org/10.1007/978-3-319-00026-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Commerce Strategy ent://SD_ILS/0/SD_ILS:488182 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Qin, Zheng. author.&#160;Chang, Yang. author.&#160;Li, Shundong. author.&#160;Li, Fengxiang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-39414-0">https://doi.org/10.1007/978-3-642-39414-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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Serialization and Persistent Objects Turning Data Structures into Efficient Databases ent://SD_ILS/0/SD_ILS:488080 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Soukup, Jiri. author.&#160;Mach&aacute;&#269;ek, Petr. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-39323-5">https://doi.org/10.1007/978-3-642-39323-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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Biometrics in the New World The Cloud, Mobile Technology and Pervasive Identity ent://SD_ILS/0/SD_ILS:488199 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Ashbourn, Julian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04159-9">https://doi.org/10.1007/978-3-319-04159-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Modeling for Data Mining A Label Semantics Approach ent://SD_ILS/0/SD_ILS:488211 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Qin, Zengchang. author.&#160;Tang, Yongchuan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-41251-6">https://doi.org/10.1007/978-3-642-41251-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Code Breaking in the Pacific ent://SD_ILS/0/SD_ILS:488233 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Donovan, Peter. author.&#160;Mack, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08278-3">https://doi.org/10.1007/978-3-319-08278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyberterrorism Understanding, Assessment, and Response ent://SD_ILS/0/SD_ILS:488243 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Chen, Thomas M. editor.&#160;Jarvis, Lee. editor.&#160;Macdonald, Stuart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0962-9">https://doi.org/10.1007/978-1-4939-0962-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Programming Languages ent://SD_ILS/0/SD_ILS:488265 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Symmetric Cryptographic Protocols ent://SD_ILS/0/SD_ILS:488387 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Ramkumar, Mahalingam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07584-6">https://doi.org/10.1007/978-3-319-07584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488425 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Creating Value for All Through IT IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2014, Aalborg, Denmark, June 2-4, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488372 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bergvall-K&aring;reborn, Birgitta. editor.&#160;Nielsen, Peter 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-662-43459-8">https://doi.org/10.1007/978-3-662-43459-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural and Artificial Reasoning An Exploration of Modelling Human Thinking ent://SD_ILS/0/SD_ILS:488488 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Addis, Tom. 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-11286-2">https://doi.org/10.1007/978-3-319-11286-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Reality Art From an Emerging Technology to a Novel Creative Medium ent://SD_ILS/0/SD_ILS:488489 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Geroimenko, Vladimir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06203-7">https://doi.org/10.1007/978-3-319-06203-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Serviceology for Services Selected papers of the 1st International Conference of Serviceology ent://SD_ILS/0/SD_ILS:488502 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Mochimaru, Masaaki. editor.&#160;Ueda, Kanji. editor.&#160;Takenaka, Takeshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-54816-4">https://doi.org/10.1007/978-4-431-54816-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488522 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gladyshev, Pavel. editor.&#160;Marrington, Andrew. editor.&#160;Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14289-0">https://doi.org/10.1007/978-3-319-14289-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust Management VIII 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488530 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zhou, Jianying. editor.&#160;Gal-Oz, Nurit. editor.&#160;Zhang, Jie. editor.&#160;Gudes, Ehud. 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-43813-8">https://doi.org/10.1007/978-3-662-43813-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering ent://SD_ILS/0/SD_ILS:488599 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Heinrich, Robert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-06518-8">https://doi.org/10.1007/978-3-658-06518-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488916 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Boureanu, Ioana. editor.&#160;Owesarski, Philippe. editor.&#160;Vaudenay, Serge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07536-5">https://doi.org/10.1007/978-3-319-07536-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof ent://SD_ILS/0/SD_ILS:488919 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kovalev, Mikhail. author.&#160;M&uuml;ller, Silvia M. author.&#160;Paul, Wolfgang J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Collaboration Technologies: Technology-Rich Environments for Learning and Collaboration. First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488922 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zaphiris, Panayiotis. editor.&#160;Ioannou, Andri. editor. (orcid)0000-0002-3570-6578&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07485-6">https://doi.org/10.1007/978-3-319-07485-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488926 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cassez, Franck. editor.&#160;Raskin, Jean-Francois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: User Experience Design for Diverse Interaction Platforms and Environments Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488927 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Marcus, Aaron. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07626-3">https://doi.org/10.1007/978-3-319-07626-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488930 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Tryfonas, Theo. editor.&#160;Askoxylakis, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07620-1">https://doi.org/10.1007/978-3-319-07620-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488931 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zaverucha, Gerson. editor.&#160;Santos Costa, V&iacute;tor. editor.&#160;Paes, Aline. 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-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technology Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488934 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Linawati. editor.&#160;Mahendra, Made Sudiana. editor.&#160;Neuhold, Erich J. editor.&#160;Tjoa, A Min. editor.&#160;You, Ilsun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55032-4">https://doi.org/10.1007/978-3-642-55032-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488936 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Lang, Fr&eacute;d&eacute;ric. editor.&#160;Flammini, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488937 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Aguilera, Marcos K. editor.&#160;Querzoni, Leonardo. editor.&#160;Shapiro, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14472-6">https://doi.org/10.1007/978-3-319-14472-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488939 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Yamashita, Shigeru. editor.&#160;Minato, Shin-ichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction: Design and Development Methods for Universal Access 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:488940 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Stephanidis, Constantine. editor.&#160;Antona, Margherita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07437-5">https://doi.org/10.1007/978-3-319-07437-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entertainment Computing - ICEC 2014 13th International Conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488941 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Pisan, Yusuf. editor.&#160;Sgouros, Nikitas Marinos. editor.&#160;Marsh, Tim. editor. (orcid)0000-0003-1829-8370&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45212-7">https://doi.org/10.1007/978-3-662-45212-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Technologies and Policy Second Annual Privacy Forum, APF 2014, Athens, Greece, May 20-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488945 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Preneel, Bart. editor.&#160;Ikonomou, Demosthenes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06749-0">https://doi.org/10.1007/978-3-319-06749-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electrical Design of Through Silicon Via ent://SD_ILS/0/SD_ILS:488872 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Lee, Manho. editor.&#160;Pak, Jun So. editor.&#160;Kim, Joungho. 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-9038-3">https://doi.org/10.1007/978-94-017-9038-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guided Self-Organization: Inception ent://SD_ILS/0/SD_ILS:488877 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Prokopenko, Mikhail. 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-53734-9">https://doi.org/10.1007/978-3-642-53734-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488953 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Janssen, Marijn. editor.&#160;Scholl, Hans Jochen. editor.&#160;Wimmer, Maria A. editor.&#160;Bannister, Frank Edward. 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-44426-9">https://doi.org/10.1007/978-3-662-44426-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II ent://SD_ILS/0/SD_ILS:488956 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Sarkar, Palash. editor.&#160;Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45608-8">https://doi.org/10.1007/978-3-662-45608-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXII ent://SD_ILS/0/SD_ILS:488958 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gavrilova, Marina. editor.&#160;Tan, C.J. Kenneth. 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-54212-1">https://doi.org/10.1007/978-3-642-54212-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488959 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Alam, Shah Jamal. editor.&#160;Parunak, H. Van Dyke. 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-54783-6">https://doi.org/10.1007/978-3-642-54783-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XVI ent://SD_ILS/0/SD_ILS:488990 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kowalczyk, Ryszard. editor.&#160;Nguyen, Ngoc Thanh. 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-44871-7">https://doi.org/10.1007/978-3-662-44871-7</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures ent://SD_ILS/0/SD_ILS:488996 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Aldini, Alessandro. editor.&#160;Lopez, Javier. editor.&#160;Martinelli, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10082-1">https://doi.org/10.1007/978-3-319-10082-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games for Training, Education, Health and Sports 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488999 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;G&ouml;bel, Stefan. editor.&#160;Wiemeyer, Josef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05972-3">https://doi.org/10.1007/978-3-319-05972-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489003 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#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-12466-7">https://doi.org/10.1007/978-3-319-12466-7</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Image and Signal Processing 6th International Conference, ICISP 2014, Cherbourg, France, June 20 -- July 2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489105 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Elmoataz, Abderrahim. editor.&#160;Lezoray, Olivier. editor.&#160;Nouboud, Fathallah. editor.&#160;Mammass, Driss. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07998-1">https://doi.org/10.1007/978-3-319-07998-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:489050 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Auvray, Malika. editor.&#160;Duriez, Christian. 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-44193-0">https://doi.org/10.1007/978-3-662-44193-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems -- CHES 2014 16th International Workshop, Busan, South Korea, September 23-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489052 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Batina, Lejla. editor. (orcid)0000-0003-0727-3573&#160;Robshaw, 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-44709-3">https://doi.org/10.1007/978-3-662-44709-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:489053 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489059 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Poole, Stephen. editor.&#160;Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951&#160;Shamis, 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-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXIV Special Issue on Reversible Computing ent://SD_ILS/0/SD_ILS:489061 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;Thapliyal, Himanshu. editor.&#160;Ranganathan, Nagarajan. 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-45711-5">https://doi.org/10.1007/978-3-662-45711-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers ent://SD_ILS/0/SD_ILS:489067 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489069 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:489074 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489078 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kontchakov, Roman. editor.&#160;Mugnier, Marie-Laure. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11113-1">https://doi.org/10.1007/978-3-319-11113-1</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489081 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Garrigue, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development XI ent://SD_ILS/0/SD_ILS:489082 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Chiba, Shigeru. editor.&#160;Tanter, &Eacute;ric. editor.&#160;Bodden, Eric. editor.&#160;Maoz, Shahar. editor.&#160;Kienzle, J&ouml;rg. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete and Topological Models in Molecular Biology ent://SD_ILS/0/SD_ILS:489594 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Jonoska, Nata&scaron;a. editor.&#160;Saito, Masahico. 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-40193-0">https://doi.org/10.1007/978-3-642-40193-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Regulated Grammars and Automata ent://SD_ILS/0/SD_ILS:489527 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Meduna, Alexander. author.&#160;Zemek, Petr. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-0369-6">https://doi.org/10.1007/978-1-4939-0369-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume II ent://SD_ILS/0/SD_ILS:489439 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Jia, Limin. editor.&#160;Liu, Zhigang. editor.&#160;Qin, Yong. editor.&#160;Zhao, Minghua. editor.&#160;Diao, Lijun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-53751-6">https://doi.org/10.1007/978-3-642-53751-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Design Science ent://SD_ILS/0/SD_ILS:489548 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Johannesson, Paul. author.&#160;Perjons, Erik. 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-10632-8">https://doi.org/10.1007/978-3-319-10632-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sociomaterial-Design Bounding Technologies in Practice ent://SD_ILS/0/SD_ILS:489453 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bj&oslash;rn, Pernille. author.&#160;&Oslash;sterlund, Carsten. 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-12607-4">https://doi.org/10.1007/978-3-319-12607-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithm &amp; SoC Design for Automotive Vision Systems For Smart Safe Driving System ent://SD_ILS/0/SD_ILS:489456 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kim, Jaeseok. editor.&#160;Shin, Hyunchul. 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-9075-8">https://doi.org/10.1007/978-94-017-9075-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489459 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Tanaka, Satoshi. editor.&#160;Hasegawa, Kyoko. editor.&#160;Xu, Rui. editor.&#160;Sakamoto, Naohisa. editor.&#160;Turner, Stephen John. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45289-9">https://doi.org/10.1007/978-3-662-45289-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Digital Communication Communication, Multimedia, Security ent://SD_ILS/0/SD_ILS:489638 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Meinel, Christoph. author.&#160;Sack, Harald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54331-9">https://doi.org/10.1007/978-3-642-54331-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The art of Linux kernel design : illustrating the operating system design principle and implementation ent://SD_ILS/0/SD_ILS:342338 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Yang, Lixiang, author.<br/>Preferred Shelf Number&#160;QA76.76.O63 Y36 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Modern operating systems ent://SD_ILS/0/SD_ILS:354126 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Tanenbaum, Andrew S.<br/>Preferred Shelf Number&#160;QA76.76.O63 T359 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Wearable sensors fundamentals, implementation and applications ent://SD_ILS/0/SD_ILS:355589 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Sazonov, Edward.&#160;Neuman, Michael R.<br/>Preferred Shelf Number&#160;ONLINE(355589.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124186620">http://www.sciencedirect.com/science/book/9780124186620</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum information processing with diamond principles and applications ent://SD_ILS/0/SD_ILS:355783 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Prawer, Steven.&#160;Aharonovich, Igor.<br/>Preferred Shelf Number&#160;ONLINE(355783.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780857096562">http://www.sciencedirect.com/science/book/9780857096562</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel science and engineering applications : the Charm++ approach ent://SD_ILS/0/SD_ILS:363562 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kale, Laxmikant V., editor.&#160;Bhatele, Abhinav, editor.<br/>Preferred Shelf Number&#160;TA345.5 P37 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Principles of operating systems ent://SD_ILS/0/SD_ILS:364436 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Chauhan, Naresh.<br/>Preferred Shelf Number&#160;QA76.77 C43 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Positive computing : technology for wellbeing and human potential ent://SD_ILS/0/SD_ILS:364984 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Calvo, Rafael A., author.&#160;Peters, Dorian, 1977-&#160;IEEE Xplore (Online Service), distributor.&#160;MIT Press, publisher.<br/>Preferred Shelf Number&#160;ONLINE(364984.1)<br/>Electronic Access&#160;Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981846">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981846</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using MPI : portable parallel programming with the Message-Passing-Interface ent://SD_ILS/0/SD_ILS:364985 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gropp, William, author.&#160;Lusk, Ewing, author.&#160;Skjellum, Anthony, author.&#160;IEEE Xplore (Online Service), distributor.&#160;MIT Press, publisher.<br/>Preferred Shelf Number&#160;ONLINE(364985.1)<br/>Electronic Access&#160;Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using advanced MPI : modern features of the Message-Passing-Interface ent://SD_ILS/0/SD_ILS:364986 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gropp, William, author.&#160;Hoefler, Torsten.&#160;Thakur, Rajeev.&#160;Lusk, Ewing.&#160;IEEE Xplore (Online Service), distributor.<br/>Preferred Shelf Number&#160;ONLINE(364986.1)<br/>Electronic Access&#160;Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum algorithms via linear algebra : a primer ent://SD_ILS/0/SD_ILS:364988 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Lipton, Richard J, author.&#160;Regan, Kenneth W, author.&#160;IEEE Xplore (Online Service), distributor.&#160;MIT Press, publisher.<br/>Preferred Shelf Number&#160;ONLINE(364988.1)<br/>Electronic Access&#160;Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008157">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008157</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Parallel and distributed simulation systems : Analysis and applications ent://SD_ILS/0/SD_ILS:355184 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Takahashi N. W.<br/>Preferred Shelf Number&#160;QA76.9.C65 F84 2014 V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Relevance ranking for vertical search engines ent://SD_ILS/0/SD_ILS:356033 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Long, Bo, editor.&#160;Chang, Yi (Computer expert), editor.<br/>Preferred Shelf Number&#160;ONLINE(356033.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124071711">http://www.sciencedirect.com/science/book/9780124071711</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The basics of digital privacy simple tools to protect your personal information and your identity online ent://SD_ILS/0/SD_ILS:356123 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cherry, Denny.&#160;LaRock, Thomas.<br/>Preferred Shelf Number&#160;ONLINE(356123.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128000113">http://www.sciencedirect.com/science/book/9780128000113</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Say&#305;sal tasar&#305;m ent://SD_ILS/0/SD_ILS:370964 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Mano, M. Morris.&#160;Bo&#287;osyan, Seta, &ccedil;ev.&#160;G&ouml;ka&#351;an, Metin, &ccedil;ev.&#160;Kurtulan, Salman, &ccedil;ev.<br/>Preferred Shelf Number&#160;TK7888.3 M35 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers ent://SD_ILS/0/SD_ILS:482643 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Paprotny, Igor. editor.&#160;Bergbreiter, Sarah. 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-55134-5">https://doi.org/10.1007/978-3-642-55134-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Information Technology FutureTech 2013 ent://SD_ILS/0/SD_ILS:482650 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Stojmenovic, Ivan. editor.&#160;Choi, Min. editor.&#160;Xhafa, Fatos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-40861-8">https://doi.org/10.1007/978-3-642-40861-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Services and Information Intelligence 13th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2014, Sanya, China, November 28-30, 2014, Proceedings ent://SD_ILS/0/SD_ILS:486723 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Li, Hongxiu. editor.&#160;M&auml;ntym&auml;ki, Matti. editor. (orcid)0000-0002-1981-566X&#160;Zhang, Xianfeng. 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-45526-5">https://doi.org/10.1007/978-3-662-45526-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486893 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cao, Zhenfu. editor.&#160;Zhang, Fangguo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04873-4">https://doi.org/10.1007/978-3-319-04873-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to OSI and TCP/IP Models ent://SD_ILS/0/SD_ILS:486902 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Cognitive Radio Networks Dynamic Resource Allocation Schemes ent://SD_ILS/0/SD_ILS:487417 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487419 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cohen, Ernie. editor.&#160;Rybalchenko, 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-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Advances in Autonomous Robotics Systems 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487531 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Mistry, Michael. editor.&#160;Leonardis, Ale&scaron;. editor.&#160;Witkowski, Mark. editor.&#160;Melhuish, Chris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10401-0">https://doi.org/10.1007/978-3-319-10401-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government and the Information Systems Perspective Third International Conference, EGOVIS 2014, Munich, Germany, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487538 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;K&#337;, Andrea. editor.&#160;Francesconi, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10178-1">https://doi.org/10.1007/978-3-319-10178-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB &amp; DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487540 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Fischbach, Kai. editor.&#160;Krieger, Udo 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-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings ent://SD_ILS/0/SD_ILS:487545 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Schaefer, Ina. editor.&#160;Stamelos, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487556 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07173-2">https://doi.org/10.1007/978-3-319-07173-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks and Communications (NetCom2013) Proceedings of the Fifth International Conference on Networks &amp; Communications ent://SD_ILS/0/SD_ILS:487756 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Meghanathan, Natarajan. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;Rajasekaran, Sanguthevar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-03692-2">https://doi.org/10.1007/978-3-319-03692-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Coordinated Multicell Systems Architectures and Precoding Designs ent://SD_ILS/0/SD_ILS:487575 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Socio-technical Design of Ubiquitous Computing Systems ent://SD_ILS/0/SD_ILS:487761 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;David, Klaus. editor.&#160;Geihs, Kurt. editor.&#160;Leimeister, Jan Marco. editor.&#160;Ro&szlig;nagel, Alexander. editor.&#160;Schmidt, Ludger. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05044-7">https://doi.org/10.1007/978-3-319-05044-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Computations with GPUs ent://SD_ILS/0/SD_ILS:487579 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kindratenko, Volodymyr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Design Science Methodology for Information Systems and Software Engineering ent://SD_ILS/0/SD_ILS:487890 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Wieringa, Roel J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Computing on the Intel&reg; Xeon Phi&trade; How to Fully Exploit MIC Architectures ent://SD_ILS/0/SD_ILS:487673 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Wang, Endong. author.&#160;Zhang, Qing. author.&#160;Shen, Bo. author.&#160;Zhang, Guangyong. author.&#160;Lu, Xiaowei. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06486-4">https://doi.org/10.1007/978-3-319-06486-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Computing, Applications, and Services 5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487675 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Memmi, Gerard. editor.&#160;Blanke, Ulf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05452-0">https://doi.org/10.1007/978-3-319-05452-0</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Cloud Computing for Data-Intensive Applications ent://SD_ILS/0/SD_ILS:489234 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Li, Xiaolin. editor.&#160;Qiu, Judy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4939-1905-5">https://doi.org/10.1007/978-1-4939-1905-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489172 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Beetz, Michael. editor.&#160;Johnston, Benjamin. editor.&#160;Williams, Mary-Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11973-1">https://doi.org/10.1007/978-3-319-11973-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489173 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bazzan, Ana L.C. editor.&#160;Pichara, Karim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12027-0">https://doi.org/10.1007/978-3-319-12027-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXIII Special Issue on Cyberworlds ent://SD_ILS/0/SD_ILS:489252 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;Mao, Xiaoyang. editor.&#160;Hong, Lichan. 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-43790-2">https://doi.org/10.1007/978-3-662-43790-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489284 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Sauer, Stefan. editor.&#160;Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797&#160;Forbrig, Peter. editor.&#160;Bernhaupt, Regina. editor.&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44811-3">https://doi.org/10.1007/978-3-662-44811-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:489383 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07176-3">https://doi.org/10.1007/978-3-319-07176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489400 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;Ouyang, Chun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489402 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Merayo, Mercedes G. editor.&#160;Montes de Oca, Edgardo. 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-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: User Experience Design for Everyday Life Applications and Services Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III ent://SD_ILS/0/SD_ILS:489404 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Marcus, Aaron. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07635-5">https://doi.org/10.1007/978-3-319-07635-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:489416 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Agha, Gul. editor.&#160;Igarashi, Atsushi. editor.&#160;Kobayashi, Naoki. editor.&#160;Masuhara, Hidehiko. editor.&#160;Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Information Theoretic Security 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings ent://SD_ILS/0/SD_ILS:489420 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Padr&oacute;, Carles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04268-8">https://doi.org/10.1007/978-3-319-04268-8</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Channel Estimation for Physical Layer Network Coding Systems ent://SD_ILS/0/SD_ILS:489552 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Interactive Storytelling 7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489465 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Mitchell, Alex. editor.&#160;Fern&aacute;ndez-Vara, Clara. editor.&#160;Thue, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12337-0">https://doi.org/10.1007/978-3-319-12337-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cybersecurity in Switzerland ent://SD_ILS/0/SD_ILS:489573 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Dunn Cavelty, Myriam. 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-10620-5">https://doi.org/10.1007/978-3-319-10620-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Information System Development Improving Enterprise Communication ent://SD_ILS/0/SD_ILS:483351 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Jos&eacute; Escalona, Mar&iacute;a. editor.&#160;Arag&oacute;n, Gustavo. editor.&#160;Linger, Henry. editor.&#160;Lang, Michael. editor. (orcid)0000-0001-7961-2285&#160;Barry, Chris. editor. (orcid)0000-0002-3664-8429<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07215-9">https://doi.org/10.1007/978-3-319-07215-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems 8th International Conference, AC 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:483352 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Schmorrow, Dylan D. editor.&#160;Fidopiastis, Cali 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-07527-3">https://doi.org/10.1007/978-3-319-07527-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games and Learning Alliance Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483532 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;De Gloria, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12157-4">https://doi.org/10.1007/978-3-319-12157-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Proceedings of the Second International Conference on Communications, Signal Processing, and Systems ent://SD_ILS/0/SD_ILS:483552 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zhang, Baoju. editor.&#160;Mu, Jiasong. editor.&#160;Wang, Wei. editor.&#160;Liang, Qilian. editor.&#160;Pi, Yiming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-00536-2">https://doi.org/10.1007/978-3-319-00536-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hacking Europe From Computer Cultures to Demoscenes ent://SD_ILS/0/SD_ILS:484344 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Alberts, Gerard. editor.&#160;Oldenziel, Ruth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-5493-8">https://doi.org/10.1007/978-1-4471-5493-8</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Electronic Identity ent://SD_ILS/0/SD_ILS:484375 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;de Andrade, Norberto Nuno Gomes. author.&#160;Chen-Wilson, Lisha. author.&#160;Argles, David. author.&#160;Wills, Gary. author.&#160;Schiano di Zenise, Michele. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6449-4">https://doi.org/10.1007/978-1-4471-6449-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entertaining the Whole World ent://SD_ILS/0/SD_ILS:484386 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cheok, Adrian David. editor.&#160;Nijholt, Anton. editor.&#160;Rom&atilde;o, Teresa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6446-3">https://doi.org/10.1007/978-1-4471-6446-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Health State-of-the-art and Beyond ent://SD_ILS/0/SD_ILS:484387 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Holzinger, Andreas. editor.&#160;Ziefle, Martina. editor.&#160;R&ouml;cker, Carsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6413-5">https://doi.org/10.1007/978-1-4471-6413-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Body Sensor Networks ent://SD_ILS/0/SD_ILS:484389 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Yang, Guang-Zhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6374-9">https://doi.org/10.1007/978-1-4471-6374-9</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings ent://SD_ILS/0/SD_ILS:484631 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Tambouris, Efthimios. editor.&#160;Macintosh, Ann. editor.&#160;Bannister, Frank Edward. 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-44914-1">https://doi.org/10.1007/978-3-662-44914-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Cyber-Physical Systems ent://SD_ILS/0/SD_ILS:484731 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Suh, Sang C. editor.&#160;Tanik, U. John. editor.&#160;Carbone, John N. editor.&#160;Eroglu, Abdullah. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-7336-7">https://doi.org/10.1007/978-1-4614-7336-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Human Centric Visualization ent://SD_ILS/0/SD_ILS:484741 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Huang, Weidong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-7485-2">https://doi.org/10.1007/978-1-4614-7485-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Embedded Smart Cameras Architectures, Design and Applications ent://SD_ILS/0/SD_ILS:484744 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bobda, Christophe. editor.&#160;Velipasalar, Senem. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-7705-1">https://doi.org/10.1007/978-1-4614-7705-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Allocation and MIMO for 4G and Beyond ent://SD_ILS/0/SD_ILS:484754 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cavalcanti, Francisco Rodrigo Porto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8057-0">https://doi.org/10.1007/978-1-4614-8057-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> REST: Advanced Research Topics and Practical Applications ent://SD_ILS/0/SD_ILS:484814 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665&#160;Wilde, Erik. editor.&#160;Alarcon, Rosa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-9299-3">https://doi.org/10.1007/978-1-4614-9299-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013 ent://SD_ILS/0/SD_ILS:485061 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589&#160;Thoai, Nam. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45947-8">https://doi.org/10.1007/978-3-662-45947-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485492 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485664 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Awan, Irfan. editor.&#160;Younas, Muhammad. editor.&#160;Franch, Xavier. editor.&#160;Quer, Carme. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10359-4">https://doi.org/10.1007/978-3-319-10359-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concrete Semantics With Isabelle/HOL ent://SD_ILS/0/SD_ILS:485672 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Nipkow, Tobias. author.&#160;Klein, Gerwin. 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-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Automated Learning -- IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485682 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Corchado, Emilio. editor.&#160;Lozano, Jos&eacute; A. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.&#160;Yin, Hujun. editor. (orcid)0000-0002-9198-5401&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10840-7">https://doi.org/10.1007/978-3-319-10840-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> e-Infrastructure and e-Services for Developing Countries 5th International Conference, AFRICOMM 2013, Blantyre, Malawi, November 25-27, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486191 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bissyand&eacute;, Tegawend&eacute; F. editor.&#160;van Stam, Gertjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08368-1">https://doi.org/10.1007/978-3-319-08368-1</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487011 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Sherif, Mostafa Hashem. editor.&#160;Mellouk, Abdelhamid. editor.&#160;Li, Jun. editor.&#160;Bellavista, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04105-6">https://doi.org/10.1007/978-3-319-04105-6</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Privacy vs. Security ent://SD_ILS/0/SD_ILS:487072 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Stalla-Bourdillon, Sophie. author.&#160;Phillips, Joshua. author.&#160;Ryan, Mark 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-6530-9">https://doi.org/10.1007/978-1-4471-6530-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Device to Smart Device Communication ent://SD_ILS/0/SD_ILS:487196 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Mumtaz, Shahid. editor.&#160;Rodriguez, Jonathan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04963-2">https://doi.org/10.1007/978-3-319-04963-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference on Cybernetics and Informatics ent://SD_ILS/0/SD_ILS:487206 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zhong, Shaobo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-3872-4">https://doi.org/10.1007/978-1-4614-3872-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Technologies and Policy First Annual Privacy Forum, APF 2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487210 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Preneel, Bart. editor.&#160;Ikonomou, Demosthenes. 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-54069-1">https://doi.org/10.1007/978-3-642-54069-1</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Open Problems in Mathematics and Computational Science ent://SD_ILS/0/SD_ILS:487303 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Ko&ccedil;, &Ccedil;etin Kaya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10683-0">https://doi.org/10.1007/978-3-319-10683-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. ent://SD_ILS/0/SD_ILS:487305 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Altmann, J&ouml;rn. editor.&#160;Vanmechelen, Kurt. editor.&#160;Rana, Omer F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14609-6">https://doi.org/10.1007/978-3-319-14609-6</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities ent://SD_ILS/0/SD_ILS:487356 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Kacsuk, P&eacute;ter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11268-8">https://doi.org/10.1007/978-3-319-11268-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Python Workbook A Brief Introduction with Exercises and Solutions ent://SD_ILS/0/SD_ILS:487357 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Stephenson, Ben. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14240-1">https://doi.org/10.1007/978-3-319-14240-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Media Fundamentals, Models, and Ranking of User-Generated Content ent://SD_ILS/0/SD_ILS:487683 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Wyrwoll, Claudia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-06984-1">https://doi.org/10.1007/978-3-658-06984-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487612 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zhang, Xianmin. editor.&#160;Liu, Honghai. editor.&#160;Chen, Zhong. editor.&#160;Wang, Nianfeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13966-1">https://doi.org/10.1007/978-3-319-13966-1</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Ibarra, Oscar H. editor.&#160;Kari, Lila. editor.&#160;Kopecki, Steffen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08123-6">https://doi.org/10.1007/978-3-319-08123-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487787 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487725 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Parametric Packet-based Audiovisual Quality Model for IPTV services ent://SD_ILS/0/SD_ILS:487574 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Garcia, Marie-Neige. 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-04855-0">https://doi.org/10.1007/978-3-319-04855-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications ent://SD_ILS/0/SD_ILS:487577 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Fehling, Christoph. author.&#160;Leymann, Frank. author.&#160;Retter, Ralph. author.&#160;Schupeck, Walter. author.&#160;Arbitter, Peter. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-7091-1568-8">https://doi.org/10.1007/978-3-7091-1568-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487763 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Counsell, Steve. editor.&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction: Design for All and Accessibility Practice 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:487774 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Stephanidis, Constantine. editor.&#160;Antona, Margherita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07509-9">https://doi.org/10.1007/978-3-319-07509-9</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Authentication in Insecure Environments Using Visual Cryptography and Non-Transferable Credentials in Practise ent://SD_ILS/0/SD_ILS:488308 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Pape, Sebastian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-07116-5">https://doi.org/10.1007/978-3-658-07116-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Citation-based Plagiarism Detection Detecting Disguised and Cross-language Plagiarism using Citation Pattern Analysis ent://SD_ILS/0/SD_ILS:488317 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Gipp, Bela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-06394-8">https://doi.org/10.1007/978-3-658-06394-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Digital Forensics X 10th IFIP WG 11.9 International Conference, Vienna, Austria, January 8-10, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488324 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Peterson, Gilbert. editor.&#160;Shenoi, Sujeet. 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-44952-3">https://doi.org/10.1007/978-3-662-44952-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems ent://SD_ILS/0/SD_ILS:488331 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Wagner, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-05270-6">https://doi.org/10.1007/978-3-658-05270-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mastering Data-Intensive Collaboration and Decision Making Research and practical applications in the Dicode project ent://SD_ILS/0/SD_ILS:488339 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Karacapilidis, Nikos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-02612-1">https://doi.org/10.1007/978-3-319-02612-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Memristor Networks ent://SD_ILS/0/SD_ILS:488354 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Adamatzky, Andrew. editor.&#160;Chua, Leon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-02630-5">https://doi.org/10.1007/978-3-319-02630-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Socioinformatics - The Social Impact of Interactions between Humans and IT ent://SD_ILS/0/SD_ILS:488448 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zweig, Katharina. editor.&#160;Neuser, Wolfgang. editor.&#160;Pipek, Volkmar. editor.&#160;Rohde, Markus. editor.&#160;Scholtes, Ingo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09378-9">https://doi.org/10.1007/978-3-319-09378-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488632 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Commisso, Trine Hald. editor.&#160;N&oslash;rbjerg, Jacob. editor.&#160;Pries-Heje, 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-09546-2">https://doi.org/10.1007/978-3-319-09546-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Pervasive Information and Communication Technologies (PICT) Ethical Challenges, Opportunities and Safeguards ent://SD_ILS/0/SD_ILS:488678 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Pimple, Kenneth D. 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-6833-8">https://doi.org/10.1007/978-94-007-6833-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: User Experience Design Practice Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:488913 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Marcus, Aaron. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07638-6">https://doi.org/10.1007/978-3-319-07638-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 23rd International Conference, CC 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:488914 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cohen, Albert. 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-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provable Security 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488918 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Chow, Sherman S.M. editor.&#160;Liu, Joseph K. editor.&#160;Hui, Lucas C.K. editor.&#160;Yiu, Siu Ming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12475-9">https://doi.org/10.1007/978-3-319-12475-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488920 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Prouff, Emmanuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10175-0">https://doi.org/10.1007/978-3-319-10175-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488949 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Muscholl, Anca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Enhancing Technologies 14th International Symposium, PETS 2014, Amsterdam, The Netherlands, July 16-18, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488954 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;De Cristofaro, Emiliano. editor.&#160;Murdoch, Steven J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08506-7">https://doi.org/10.1007/978-3-319-08506-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San Jos&eacute;, Costa Rica, May 6-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488881 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Corral, Luis. editor.&#160;Sillitti, Alberto. editor.&#160;Succi, Giancarlo. editor.&#160;Vlasenko, Jelena. editor.&#160;Wasserman, Anthony I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning and Collaboration Technologies: Designing and Developing Novel Learning Experiences First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:488964 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Zaphiris, Panayiotis. editor.&#160;Ioannou, Andri. editor. (orcid)0000-0002-3570-6578&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07482-5">https://doi.org/10.1007/978-3-319-07482-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488993 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Auer, Peter. editor.&#160;Clark, Alexander. editor.&#160;Zeugmann, Thomas. editor.&#160;Zilles, Sandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11662-4">https://doi.org/10.1007/978-3-319-11662-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488995 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Lavi, Ron. 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-44803-8">https://doi.org/10.1007/978-3-662-44803-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction: Universal Access to Information and Knowledge 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488968 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Stephanidis, Constantine. editor.&#160;Antona, Margherita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07440-5">https://doi.org/10.1007/978-3-319-07440-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488975 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Lindell, Yehuda. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54242-8">https://doi.org/10.1007/978-3-642-54242-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488976 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Quintao Pereira, Fernando Magno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:489016 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Sarkar, Palash. editor.&#160;Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45611-8">https://doi.org/10.1007/978-3-662-45611-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:489017 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489019 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Hodicky, 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-13823-7">https://doi.org/10.1007/978-3-319-13823-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489021 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cheng, Shin-Ming. editor.&#160;Day, Min-Yuh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13987-6">https://doi.org/10.1007/978-3-319-13987-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Informatics SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489024 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Nadamoto, Akiyo. editor.&#160;Jatowt, Adam. editor. (orcid)0000-0001-7235-0665&#160;Wierzbicki, Adam. editor.&#160;Leidner, Jochen 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-642-55285-4">https://doi.org/10.1007/978-3-642-55285-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2014, Ibiza, Spain, September 17-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489025 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Domingo-Ferrer, Josep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11257-2">https://doi.org/10.1007/978-3-319-11257-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489028 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bonakdarpour, Borzoo. editor.&#160;Smolka, Scott 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-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures ent://SD_ILS/0/SD_ILS:489035 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Bernardo, Marco. editor.&#160;Damiani, Ferruccio. editor.&#160;Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489038 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cuellar, Jorge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10329-7">https://doi.org/10.1007/978-3-319-10329-7</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management 5th International Conference, DHM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489047 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Duffy, Vincent G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07725-3">https://doi.org/10.1007/978-3-319-07725-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Psychology and Cognitive Ergonomics 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489083 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Harris, Don. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07515-0">https://doi.org/10.1007/978-3-319-07515-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. ent://SD_ILS/0/SD_ILS:489085 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Yoshida, Hiroyuki. editor.&#160;N&auml;ppi, Janne J. editor.&#160;Saini, Sanjay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13692-9">https://doi.org/10.1007/978-3-319-13692-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489096 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;El Gayar, Neamat. editor.&#160;Schwenker, Friedhelm. editor.&#160;Suen, Cheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11656-3">https://doi.org/10.1007/978-3-319-11656-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489102 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Huang, De-Shuang. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Premaratne, Prashan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09333-8">https://doi.org/10.1007/978-3-319-09333-8</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 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z 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/> Public Key Infrastructures, Services and Applications 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489121 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Katsikas, Sokratis. editor.&#160;Agudo, Isaac. 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-53997-8">https://doi.org/10.1007/978-3-642-53997-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:489241 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Auvray, Malika. editor.&#160;Duriez, Christian. 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-44196-1">https://doi.org/10.1007/978-3-662-44196-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489135 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Shi, Xiaodong. editor.&#160;Chen, Yidong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45701-6">https://doi.org/10.1007/978-3-662-45701-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489137 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Jones, 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-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489141 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374&#160;Winands, Mark H.M. editor.&#160;Iida, Hiroyuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05428-5">https://doi.org/10.1007/978-3-319-05428-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) ent://SD_ILS/0/SD_ILS:489143 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Wong, W. Eric. editor.&#160;Zhu, Tingshao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-01766-2">https://doi.org/10.1007/978-3-319-01766-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489154 2026-01-13T11:14:41Z 2026-01-13T11:14:41Z Author&#160;Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374&#160;Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824&#160;Bj&ouml;rnsson, Yngvi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14923-3">https://doi.org/10.1007/978-3-319-14923-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>