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 Murugan, S. Ananda.<br/>Preferred Shelf Number QA76.5 M87 2014<br/>Format: Books<br/>Availability 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 Alt, Franz L., ed.<br/>Preferred Shelf Number QA 76 A3 V.7<br/>Format: Books<br/>Availability 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 Ralston, Anthony, ed. Wilf, Herbert S., ed.<br/>Preferred Shelf Number QA 76.5 R3 1960- V.1<br/>Format: Books<br/>Availability 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 Lee, Newton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Fels, Deborah. editor. Archambault, Dominique. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Fels, Deborah. editor. Archambault, Dominique. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Lee, Newton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Laberta, Catherine.<br/>Preferred Shelf Number QA76.5 L33 2014<br/>Format: Books<br/>Availability 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 Kimppa, Kai. editor. Whitehouse, Diane. editor. Kuusela, Tiina. editor. Phahlamohlaka, Jackie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
PC net.
ent://SD_ILS/0/SD_ILS:228793
2026-01-13T11:14:41Z
2026-01-13T11:14:41Z
Format: Continuing Resources Other<br/>Availability ~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 ALFABETİK V.35-39 PART.1 1994<br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~8 ~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 Dumortier, Jos, 1950-<br/>Preferred Shelf Number REF K564.C6 C93 2004<br/>Format: Books<br/>Availability 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 Leondes, Cornelius T.<br/>Preferred Shelf Number TS155.6 .C6455 2001<br/>Electronic Access 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: Electronic Resources<br/>Availability 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 Ray, Kumar S., author. Apple Academic Press.<br/>Preferred Shelf Number QA76.9 .S63 R395 2018<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482257915">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Yeni dijital çağ : insanların, ulusların ve iş dünyasının geleceğini yeni baştan şekillendirmek
ent://SD_ILS/0/SD_ILS:378562
2026-01-13T11:14:41Z
2026-01-13T11:14:41Z
Author Schmidt, Eric, 1955- Cohen, Jared, 1981- Şensoy, Ümit.<br/>Preferred Shelf Number HM851 S2631 2014<br/>Format: Books<br/>Availability 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 Wang, Xue. editor. Cui, Li. editor. Guo, Zhongwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Becker, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Chen, Qingfeng. author. Chen, Baoshan. author. Zhang, Chengqi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Liu, Yongkang. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cheung, King Sing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Chau, Michael. editor. Chen, Hsinchun. editor. Wang, G. Alan. editor. Wang, Jau-Hwang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Sikora, Axel. editor. Berbineau, Marion. editor. (orcid)0000-0003-3807-9669 Vinel, Alexey. editor. Jonsson, Magnus. editor. Pirovano, Alain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Jonker, Willem. editor. Petković, Milan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – 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 Pointcheval, David. editor. Vergnaud, Damien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kozielski, Stanislaw. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Pawel. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Spence, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Spagnolli, Anna. editor. Chittaro, Luca. editor. Gamberini, Luciano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Yang, Tingting. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zu, Qiaohong. editor. Vargas-Vera, Maria. editor. Hu, Bo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Ioannidis, Sotiris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – 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 George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cheung, Simon K.S. editor. Fong, Joseph. editor. Zhang, Jiping. editor. Kwan, Reggie. editor. Kwok, Lam For. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Huang, De-Shuang. editor. Han, Kyungsook. editor. Gromiha, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Auer, Sören. editor. Bryl, Volha. editor. Tramp, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Saranto, Kaija. editor. Castrén, Maaret. editor. Kuusela, Tiina. editor. Hyrynsalmi, Sami. editor. Ojala, Stina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bouchachia, Abdelhamid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Chow, Sherman S.M. editor. Camenisch, Jan. editor. Hui, Lucas C.K. editor. Yiu, Siu Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bolikowski, Łukasz. editor. Casarosa, Vittore. editor. Goodale, Paula. editor. Houssos, Nikos. editor. Manghi, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Doermann, David. editor. Tombre, Karl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cleary, Frances. editor. Felici, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gkoulalas-Divanis, Aris. editor. Labbi, Abderrahim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Abu el Ata, Nabil. author. Perks, Maurice J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bartling, Sönke. editor. Friesike, Sascha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Qin, Zheng. author. Chang, Yang. author. Li, Shundong. author. Li, Fengxiang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gathegi, John N. editor. Tonta, Yasar. editor. Kurbanoglu, Serap. editor. Al, Umut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Ashbourn, Julian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Qin, Zengchang. author. Tang, Yongchuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Donovan, Peter. author. Mack, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Chen, Thomas M. editor. Jarvis, Lee. editor. Macdonald, Stuart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Ramkumar, Mahalingam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bergvall-Kåreborn, Birgitta. editor. Nielsen, Peter Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Addis, Tom. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Geroimenko, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Mochimaru, Masaaki. editor. Ueda, Kanji. editor. Takenaka, Takeshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gladyshev, Pavel. editor. Marrington, Andrew. editor. Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zhou, Jianying. editor. Gal-Oz, Nurit. editor. Zhang, Jie. editor. Gudes, Ehud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Heinrich, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Boureanu, Ioana. editor. Owesarski, Philippe. editor. Vaudenay, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Tryfonas, Theo. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Linawati. editor. Mahendra, Made Sudiana. editor. Neuhold, Erich J. editor. Tjoa, A Min. editor. You, Ilsun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Pisan, Yusuf. editor. Sgouros, Nikitas Marinos. editor. Marsh, Tim. editor. (orcid)0000-0003-1829-8370 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Preneel, Bart. editor. Ikonomou, Demosthenes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Lee, Manho. editor. Pak, Jun So. editor. Kim, Joungho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Janssen, Marijn. editor. Scholl, Hans Jochen. editor. Wimmer, Maria A. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gavrilova, Marina. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kowalczyk, Ryszard. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Aldini, Alessandro. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Göbel, Stefan. editor. Wiemeyer, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Batina, Lejla. editor. (orcid)0000-0003-0727-3573 Robshaw, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Jonoska, Nataša. editor. Saito, Masahico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Jia, Limin. editor. Liu, Zhigang. editor. Qin, Yong. editor. Zhao, Minghua. editor. Diao, Lijun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bjørn, Pernille. author. Østerlund, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm & 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 Kim, Jaeseok. editor. Shin, Hyunchul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 McCarthy, Jay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Yang, Lixiang, author.<br/>Preferred Shelf Number QA76.76.O63 Y36 2014<br/>Format: Books<br/>Availability 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 Tanenbaum, Andrew S.<br/>Preferred Shelf Number QA76.76.O63 T359 2014<br/>Format: Books<br/>Availability 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 Sazonov, Edward. Neuman, Michael R.<br/>Preferred Shelf Number ONLINE(355589.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124186620">http://www.sciencedirect.com/science/book/9780124186620</a><br/>Format: Electronic Resources<br/>Availability 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 Prawer, Steven. Aharonovich, Igor.<br/>Preferred Shelf Number ONLINE(355783.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780857096562">http://www.sciencedirect.com/science/book/9780857096562</a><br/>Format: Electronic Resources<br/>Availability 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 Kale, Laxmikant V., editor. Bhatele, Abhinav, editor.<br/>Preferred Shelf Number TA345.5 P37 2014<br/>Format: Books<br/>Availability 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 Chauhan, Naresh.<br/>Preferred Shelf Number QA76.77 C43 2014<br/>Format: Books<br/>Availability 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 Calvo, Rafael A., author. Peters, Dorian, 1977- IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Preferred Shelf Number ONLINE(364984.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability 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 Gropp, William, author. Lusk, Ewing, author. Skjellum, Anthony, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Preferred Shelf Number ONLINE(364985.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability 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 Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.<br/>Preferred Shelf Number ONLINE(364986.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability 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 Lipton, Richard J, author. Regan, Kenneth W, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Preferred Shelf Number ONLINE(364988.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability 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 Takahashi N. W.<br/>Preferred Shelf Number QA76.9.C65 F84 2014 V.1<br/>Format: Books<br/>Availability 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 Long, Bo, editor. Chang, Yi (Computer expert), editor.<br/>Preferred Shelf Number ONLINE(356033.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124071711">http://www.sciencedirect.com/science/book/9780124071711</a><br/>Format: Electronic Resources<br/>Availability 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 Cherry, Denny. LaRock, Thomas.<br/>Preferred Shelf Number ONLINE(356123.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128000113">http://www.sciencedirect.com/science/book/9780128000113</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sayısal tasarım
ent://SD_ILS/0/SD_ILS:370964
2026-01-13T11:14:41Z
2026-01-13T11:14:41Z
Author Mano, M. Morris. Boğosyan, Seta, çev. Gökaşan, Metin, çev. Kurtulan, Salman, çev.<br/>Preferred Shelf Number TK7888.3 M35 2014<br/>Format: Books<br/>Availability 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 Paprotny, Igor. editor. Bergbreiter, Sarah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Park, James J. (Jong Hyuk). editor. Stojmenovic, Ivan. editor. Choi, Min. editor. Xhafa, Fatos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Li, Hongxiu. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X Zhang, Xianfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Wang, Lingyu. author. Albanese, Massimiliano. author. Jajodia, Sushil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cao, Zhenfu. editor. Zhang, Fangguo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Alani, Mohammed M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Wang, Shaowei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Mistry, Michael. editor. Leonardis, Aleš. editor. Witkowski, Mark. editor. Melhuish, Chris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kő, Andrea. editor. Francesconi, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & 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 Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Networks and Communications (NetCom2013) Proceedings of the Fifth International Conference on Networks & Communications
ent://SD_ILS/0/SD_ILS:487756
2026-01-13T11:14:41Z
2026-01-13T11:14:41Z
Author Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor. Rajasekaran, Sanguthevar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Nguyen, Duy H. N. author. Le-Ngoc, Tho. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 David, Klaus. editor. Geihs, Kurt. editor. Leimeister, Jan Marco. editor. Roßnagel, Alexander. editor. Schmidt, Ludger. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures
ent://SD_ILS/0/SD_ILS:487673
2026-01-13T11:14:41Z
2026-01-13T11:14:41Z
Author Wang, Endong. author. Zhang, Qing. author. Shen, Bo. author. Zhang, Guangyong. author. Lu, Xiaowei. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Memmi, Gerard. editor. Blanke, Ulf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Li, Xiaolin. editor. Qiu, Judy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Beetz, Michael. editor. Johnston, Benjamin. editor. Williams, Mary-Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Mao, Xiaoyang. editor. Hong, Lichan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kurbanoglu, Serap. editor. Spiranec, Sonja. editor. Grassian, Esther. editor. Mizrachi, Diane. editor. Catts, Ralph. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Padró, Carles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gao, Feifei. author. Xing, Chengwen. author. Wang, Gongpu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Mitchell, Alex. editor. Fernández-Vara, Clara. editor. Thue, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Dunn Cavelty, Myriam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Sun, Limin. editor. Ma, Huadong. editor. Hong, Feng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 José Escalona, María. editor. Aragón, Gustavo. editor. Linger, Henry. editor. Lang, Michael. editor. (orcid)0000-0001-7961-2285 Barry, Chris. editor. (orcid)0000-0002-3664-8429<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 De Gloria, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zhang, Baoju. editor. Mu, Jiasong. editor. Wang, Wei. editor. Liang, Qilian. editor. Pi, Yiming. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Alberts, Gerard. editor. Oldenziel, Ruth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Identity
ent://SD_ILS/0/SD_ILS:484375
2026-01-13T11:14:41Z
2026-01-13T11:14:41Z
Author de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cheok, Adrian David. editor. Nijholt, Anton. editor. Romão, Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Holzinger, Andreas. editor. Ziefle, Martina. editor. Röcker, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Yang, Guang-Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Suh, Sang C. editor. Tanik, U. John. editor. Carbone, John N. editor. Eroglu, Abdullah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Huang, Weidong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bobda, Christophe. editor. Velipasalar, Senem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cavalcanti, Francisco Rodrigo Porto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665 Wilde, Erik. editor. Alarcon, Rosa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Awan, Irfan. editor. Younas, Muhammad. editor. Franch, Xavier. editor. Quer, Carme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Corchado, Emilio. editor. Lozano, José A. editor. Quintián, Héctor. editor. Yin, Hujun. editor. (orcid)0000-0002-9198-5401 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bissyandé, Tegawendé F. editor. van Stam, Gertjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Ho, Quang-Dung. author. Gao, Yue. author. Rajalingham, Gowdemy. author. Le-Ngoc, Tho. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Chen, Min. author. Mao, Shiwen. author. Zhang, Yin. author. Leung, Victor C.M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Sherif, Mostafa Hashem. editor. Mellouk, Abdelhamid. editor. Li, Jun. editor. Bellavista, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Stalla-Bourdillon, Sophie. author. Phillips, Joshua. author. Ryan, Mark D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Mumtaz, Shahid. editor. Rodriguez, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zhong, Shaobo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Preneel, Bart. editor. Ikonomou, Demosthenes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Koç, Çetin Kaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Kacsuk, Péter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Wyrwoll, Claudia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zhang, Xianmin. editor. Liu, Honghai. editor. Chen, Zhong. editor. Wang, Nianfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Garcia, Marie-Neige. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Fehling, Christoph. author. Leymann, Frank. author. Retter, Ralph. author. Schupeck, Walter. author. Arbitter, Peter. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Dziech, Andrzej. editor. Czyzewski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Pape, Sebastian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gipp, Bela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Peterson, Gilbert. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Wagner, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Karacapilidis, Nikos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Memristor Networks
ent://SD_ILS/0/SD_ILS:488354
2026-01-13T11:14:41Z
2026-01-13T11:14:41Z
Author Adamatzky, Andrew. editor. Chua, Leon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Yang, Jie. author. Chen, Yingying. author. Trappe, Wade. author. Cheng, Jerry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zweig, Katharina. editor. Neuser, Wolfgang. editor. Pipek, Volkmar. editor. Rohde, Markus. editor. Scholtes, Ingo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Commisso, Trine Hald. editor. Nørbjerg, Jacob. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Pimple, Kenneth D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Chow, Sherman S.M. editor. Liu, Joseph K. editor. Hui, Lucas C.K. editor. Yiu, Siu Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Prouff, Emmanuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 De Cristofaro, Emiliano. editor. Murdoch, Steven J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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é, 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 Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Auer, Peter. editor. Clark, Alexander. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Lavi, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Hodicky, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cheng, Shin-Ming. editor. Day, Min-Yuh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Nadamoto, Akiyo. editor. Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Wierzbicki, Adam. editor. Leidner, Jochen L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Domingo-Ferrer, Josep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cuellar, Jorge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Yoshida, Hiroyuki. editor. Näppi, Janne J. editor. Saini, Sanjay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 El Gayar, Neamat. editor. Schwenker, Friedhelm. editor. Suen, Cheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Katsikas, Sokratis. editor. Agudo, Isaac. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Jones, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Wong, W. Eric. editor. Zhu, Tingshao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Björnsson, Yngvi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>