Search Results for Computer Science. - Narrowed by: 2017
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bScience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092017$0025092017$0026ps$003d300?dt=list
2026-04-14T06:06:07Z
Dictionary of Computer Science, Engineering and Technology
ent://SD_ILS/0/SD_ILS:545439
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Laplante, Philip A., editor., author.<br/>Preferred Shelf Number QA76.15 L375 2017<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315214740">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611305
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Zou, Beiji. editor. Li, Min. editor. Wang, Hongzhi. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559 Xie, Wei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6385-5">https://doi.org/10.1007/978-981-10-6385-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612145
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68705-6">https://doi.org/10.1007/978-3-319-68705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613073
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613742
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613439
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6893-5">https://doi.org/10.1007/978-981-10-6893-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615980
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science and Discrete Mathematics First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616066
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Arumugam, S. editor. Bagga, Jay. editor. Beineke, Lowell W. editor. Panda, B.S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64419-6">https://doi.org/10.1007/978-3-319-64419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616143
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617908
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Zou, Beiji. editor. Han, Qilong. editor. Sun, Guanglu. editor. (orcid)0000-0003-2589-1164 Jing, Weipeng. editor. Peng, Xiaoning. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6388-6">https://doi.org/10.1007/978-981-10-6388-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent Systems and Computing Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2016, September 6-10 Lviv, Ukraine
ent://SD_ILS/0/SD_ILS:611567
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Shakhovska, Natalya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45991-2">https://doi.org/10.1007/978-3-319-45991-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3
ent://SD_ILS/0/SD_ILS:611865
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57141-6">https://doi.org/10.1007/978-3-319-57141-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
ent://SD_ILS/0/SD_ILS:612435
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Werthner, Hannes. editor. van Harmelen, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55735-9">https://doi.org/10.1007/978-3-319-55735-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
ent://SD_ILS/0/SD_ILS:614156
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2717-8">https://doi.org/10.1007/978-981-10-2717-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2
ent://SD_ILS/0/SD_ILS:614169
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57264-2">https://doi.org/10.1007/978-3-319-57264-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Ubiquitous Computing CSA-CUTE2016
ent://SD_ILS/0/SD_ILS:610818
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Yi, Gangman. editor. Loia, Vincenzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3023-9">https://doi.org/10.1007/978-981-10-3023-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612061
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89935-0">https://doi.org/10.1007/978-3-319-89935-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Computer Science and Engineering Proceedings of the Fourth ICICSE 2016
ent://SD_ILS/0/SD_ILS:615847
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Saini, H. S. editor. Sayal, Rishi. editor. Rawat, Sandeep Singh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3818-1">https://doi.org/10.1007/978-981-10-3818-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617574
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Derksen, Christian. editor. Weber, Christoph. editor. (orcid)0000-0003-0197-7991 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66553-5">https://doi.org/10.1007/978-3-319-66553-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adventures in Computer Science From Classical Bits to Quantum Bits
ent://SD_ILS/0/SD_ILS:617858
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Moret-Bonillo, Vicente. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64807-1">https://doi.org/10.1007/978-3-319-64807-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures
ent://SD_ILS/0/SD_ILS:618041
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Neidhardt, Alexander N.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40139-3">https://doi.org/10.1007/978-3-319-40139-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1
ent://SD_ILS/0/SD_ILS:618334
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57261-1">https://doi.org/10.1007/978-3-319-57261-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privately and Publicly Verifiable Computing Techniques A Survey
ent://SD_ILS/0/SD_ILS:614683
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53798-6">https://doi.org/10.1007/978-3-319-53798-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
ent://SD_ILS/0/SD_ILS:613437
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems for Big Graph Analytics
ent://SD_ILS/0/SD_ILS:611459
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yan, Da. author. Tian, Yuanyuan. author. Cheng, James. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58217-7">https://doi.org/10.1007/978-3-319-58217-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource Management for Internet of Things
ent://SD_ILS/0/SD_ILS:611467
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54247-8">https://doi.org/10.1007/978-3-319-54247-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Computational Social Science Principles and Applications
ent://SD_ILS/0/SD_ILS:611540
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cioffi-Revilla, Claudio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50131-4">https://doi.org/10.1007/978-3-319-50131-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Information Retrieval
ent://SD_ILS/0/SD_ILS:611635
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Crestani, Fabio. author. Mizzaro, Stefano. author. Scagnetto, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60777-1">https://doi.org/10.1007/978-3-319-60777-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Social Issues in the Information Age
ent://SD_ILS/0/SD_ILS:611657
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70712-9">https://doi.org/10.1007/978-3-319-70712-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Testing in Cloud Computing
ent://SD_ILS/0/SD_ILS:611844
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4481-6">https://doi.org/10.1007/978-981-10-4481-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Preference Query Analysis and Optimization
ent://SD_ILS/0/SD_ILS:611849
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gao, Yunjun. author. Liu, Qing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6635-1">https://doi.org/10.1007/978-981-10-6635-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
State of the Art in Digital Media and Applications
ent://SD_ILS/0/SD_ILS:612191
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61409-0">https://doi.org/10.1007/978-3-319-61409-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology-Based Data Access Leveraging Subjective Reports
ent://SD_ILS/0/SD_ILS:613642
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Simari, Gerardo I. author. Molinaro, Cristian. author. Vanina Martinez, Maria. author. Lukasiewicz, Thomas. author. Predoiu, Livia. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65229-0">https://doi.org/10.1007/978-3-319-65229-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facial Kinship Verification A Machine Learning Approach
ent://SD_ILS/0/SD_ILS:613792
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yan, Haibin. author. Lu, Jiwen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4484-7">https://doi.org/10.1007/978-981-10-4484-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Pattern Discovery and Recognition
ent://SD_ILS/0/SD_ILS:612274
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Wang, Hongxing. author. Weng, Chaoqun. author. Yuan, Junsong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4840-1">https://doi.org/10.1007/978-981-10-4840-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Context-Aware Collaborative Prediction
ent://SD_ILS/0/SD_ILS:612661
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Wu, Shu. author. Liu, Qiang. author. Wang, Liang. author. Tan, Tieniu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5373-3">https://doi.org/10.1007/978-981-10-5373-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security of Highly Critical Wireless Networks
ent://SD_ILS/0/SD_ILS:612666
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Martellini, Maurizio. author. Abaimov, Stanislav. author. Gaycken, Sandro. author. Wilson, Clay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52905-9">https://doi.org/10.1007/978-3-319-52905-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Secure and Trustworthy Transportation Cyber-Physical Systems
ent://SD_ILS/0/SD_ILS:612754
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Sun, Yunchuan. editor. Song, Houbing. editor. (orcid)0000-0003-2631-9223 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3892-1">https://doi.org/10.1007/978-981-10-3892-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compilation for Secure Multi-party Computation
ent://SD_ILS/0/SD_ILS:613253
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67522-0">https://doi.org/10.1007/978-3-319-67522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Redescription Mining
ent://SD_ILS/0/SD_ILS:613358
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Galbrun, Esther. author. Miettinen, Pauli. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72889-6">https://doi.org/10.1007/978-3-319-72889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discriminative Pattern Discovery on Biological Networks
ent://SD_ILS/0/SD_ILS:614816
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Fassetti, Fabio. author. Rombo, Simona E. author. Serrao, Cristina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63477-7">https://doi.org/10.1007/978-3-319-63477-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods for Processing and Analysis of Biological Pathways
ent://SD_ILS/0/SD_ILS:615646
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bezerianos, Anastasios. author. Dragomir, Andrei. author. Balomenos, Panos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53868-6">https://doi.org/10.1007/978-3-319-53868-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
QoS Prediction in Cloud and Service Computing Approaches and Applications
ent://SD_ILS/0/SD_ILS:616781
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Zhang, Yilei. author. Lyu, Michael R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5278-1">https://doi.org/10.1007/978-981-10-5278-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Data Science Design Manual
ent://SD_ILS/0/SD_ILS:617501
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Skiena, Steven S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55444-0">https://doi.org/10.1007/978-3-319-55444-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Distance Geometry applied to Molecular Geometry
ent://SD_ILS/0/SD_ILS:617774
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Lavor, Carlile. author. Liberti, Leo. author. A. Lodwick, Weldon. author. Mendonça da Costa, Tiago. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57183-6">https://doi.org/10.1007/978-3-319-57183-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Efficient Biometric Indexing and Retrieval Techniques for Large-Scale Systems
ent://SD_ILS/0/SD_ILS:617781
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kavati, Ilaiah. author. Prasad, Munaga V.N.K. author. Bhagvati, Chakravarthy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57660-2">https://doi.org/10.1007/978-3-319-57660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Crowd-Powered Mobile Computing and Smart Things
ent://SD_ILS/0/SD_ILS:617800
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Loke, Seng W. author. (orcid)0000-0002-5339-9305 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54436-6">https://doi.org/10.1007/978-3-319-54436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Art, Design and Technology: Collaboration and Implementation
ent://SD_ILS/0/SD_ILS:617831
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58121-7">https://doi.org/10.1007/978-3-319-58121-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Digital Forensics A Concise and Practical Introduction
ent://SD_ILS/0/SD_ILS:617855
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kävrestad, Joakim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67450-6">https://doi.org/10.1007/978-3-319-67450-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis
ent://SD_ILS/0/SD_ILS:617857
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bianchi, Filippo Maria. author. Maiorino, Enrico. author. Kampffmeyer, Michael C. author. Rizzi, Antonello. author. Jenssen, Robert. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70338-1">https://doi.org/10.1007/978-3-319-70338-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research and Development in the Academy, Creative Industries and Applications
ent://SD_ILS/0/SD_ILS:617900
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54081-8">https://doi.org/10.1007/978-3-319-54081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Failure-Modes-Based Software Reading
ent://SD_ILS/0/SD_ILS:617952
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Zhu, Yang-Ming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65103-3">https://doi.org/10.1007/978-3-319-65103-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet Video Data Streaming Energy-saving and Cost-aware Methods
ent://SD_ILS/0/SD_ILS:617957
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Tian, Ye. author. Zhao, Min. author. Zhang, Xinming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6523-1">https://doi.org/10.1007/978-981-10-6523-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fraud Prevention in Online Digital Advertising
ent://SD_ILS/0/SD_ILS:618267
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Zhu, Xingquan. author. (orcid)0000-0003-4129-9611 Tao, Haicheng. author. Wu, Zhiang. author. Cao, Jie. author. Kalish, Kristopher. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56793-8">https://doi.org/10.1007/978-3-319-56793-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611748
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence, Communications, and Business Analytics First International Conference, CICBA 2017, Kolkata, India, March 24 - 25, 2017, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:611848
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mandal, J. K. editor. (orcid)0000-0001-9447-647X Dutta, Paramartha. editor. Mukhopadhyay, Somnath. editor. (orcid)0000-0002-4532-6245 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6427-2">https://doi.org/10.1007/978-981-10-6427-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612174
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57711-1">https://doi.org/10.1007/978-3-319-57711-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613759
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72453-9">https://doi.org/10.1007/978-3-319-72453-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence, Communications, and Business Analytics First International Conference, CICBA 2017, Kolkata, India, March 24 - 25, 2017, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:611150
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mandal, J. K. editor. (orcid)0000-0001-9447-647X Dutta, Paramartha. editor. Mukhopadhyay, Somnath. editor. (orcid)0000-0002-4532-6245 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6430-2">https://doi.org/10.1007/978-981-10-6430-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612064
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Vitoriano, Begoña. editor. Parlier, Greg H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53982-9">https://doi.org/10.1007/978-3-319-53982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612404
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612796
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613240
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613258
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68069-9">https://doi.org/10.1007/978-3-319-68069-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613346
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71504-9">https://doi.org/10.1007/978-3-319-71504-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615166
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615872
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61061-0">https://doi.org/10.1007/978-3-319-61061-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615930
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615937
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615970
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616013
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616020
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author de Barros, Jose Acacio. editor. Coecke, Bob. editor. Pothos, Emmanuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52289-0">https://doi.org/10.1007/978-3-319-52289-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616137
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66799-7">https://doi.org/10.1007/978-3-319-66799-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616154
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616187
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54072-6">https://doi.org/10.1007/978-3-319-54072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616215
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616234
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616309
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616316
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616320
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Drewes, Frank. editor. Martín-Vide, Carlos. 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-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
ent://SD_ILS/0/SD_ILS:616321
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Zeume, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616448
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616714
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617027
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617240
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Basic Graph Theory
ent://SD_ILS/0/SD_ILS:617515
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Rahman, Md. Saidur. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49475-3">https://doi.org/10.1007/978-3-319-49475-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618059
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68759-9">https://doi.org/10.1007/978-3-319-68759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618097
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59773-7">https://doi.org/10.1007/978-3-319-59773-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618098
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59740-9">https://doi.org/10.1007/978-3-319-59740-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618149
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58187-3">https://doi.org/10.1007/978-3-319-58187-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618150
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:617465
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611236
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66320-3">https://doi.org/10.1007/978-3-319-66320-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Challenges 4th SemWebEval Challenge at ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611253
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Solanki, Monika. editor. Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69146-6">https://doi.org/10.1007/978-3-319-69146-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimedia Communications, Services and Security 9th International Conference, MCSS 2017, Kraków, Poland, November 16-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611254
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dziech, Andrzej. editor. Czyżewski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69911-0">https://doi.org/10.1007/978-3-319-69911-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611523
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611526
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Poon, Sheung-Hung. editor. Rahman, Md. Saidur. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53925-6">https://doi.org/10.1007/978-3-319-53925-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Cities, Green Technologies, and Intelligent Transport Systems 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611572
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Helfert, Markus. editor. Klein, Cornel. editor. Donnellan, Brian. editor. Gusikhin, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63712-9">https://doi.org/10.1007/978-3-319-63712-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Network Systems and Security Third International Conference, FNSS 2017, Gainesville, FL, USA, August 31 - September 2, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611578
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Doss, Robin. editor. Piramuthu, Selwyn. editor. (orcid)0000-0002-1355-9554 Zhou, Wei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65548-2">https://doi.org/10.1007/978-3-319-65548-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Usability of Interactive TV 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611580
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Abásolo, María José. editor. Almeida, Pedro. editor. Pina Amargós, Joaquín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63321-3">https://doi.org/10.1007/978-3-319-63321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI International 2017 - Posters' Extended Abstracts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611581
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58753-0">https://doi.org/10.1007/978-3-319-58753-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Security and Privacy Second International Conference, ICISSP 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611584
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Camp, Olivier. editor. (orcid)0000-0003-0905-2432 Furnell, Steven. editor. (orcid)0000-0003-0984-7542 Mori, Paolo. editor. (orcid)0000-0002-6618-0388 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54433-5">https://doi.org/10.1007/978-3-319-54433-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611599
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611610
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Salvagnin, Domenico. editor. Lombardi, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59776-8">https://doi.org/10.1007/978-3-319-59776-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611651
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66278-7">https://doi.org/10.1007/978-3-319-66278-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics and Management in Data Intensive Domains XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611714
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kalinichenko, Leonid. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57135-5">https://doi.org/10.1007/978-3-319-57135-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611746
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64218-5">https://doi.org/10.1007/978-3-319-64218-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trusted Computing and Information Security 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611756
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Xu, Ming. editor. Qin, Zheng. editor. Yan, Fei. editor. Fu, Shaojing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7080-8">https://doi.org/10.1007/978-981-10-7080-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611790
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6373-2">https://doi.org/10.1007/978-981-10-6373-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
String Processing and Information Retrieval 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611804
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Fici, Gabriele. editor. Sciortino, Marinella. editor. Venturini, Rossano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67428-5">https://doi.org/10.1007/978-3-319-67428-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Participation 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611810
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Charalabidis, Yannis. editor. Chugunov, Andrei V. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Pardo, Theresa A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64322-9">https://doi.org/10.1007/978-3-319-64322-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Architectural Design. Future Trajectories 17th International Conference, CAAD Futures 2017, Istanbul, Turkey, July 12-14, 2017, Selected Papers
ent://SD_ILS/0/SD_ILS:611829
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Çağdaş, Gülen. editor. Özkar, Mine. editor. Gül, Leman Figen. editor. Gürer, Ethem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5197-5">https://doi.org/10.1007/978-981-10-5197-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612144
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Damaševičius, Robertas. editor. (orcid)0000-0001-9990-1084 Mikašytė, Vilma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67642-5">https://doi.org/10.1007/978-3-319-67642-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security in Computing and Communications 5th International Symposium, SSCC 2017, Manipal, India, September 13-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612149
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Thampi, Sabu M. editor. Martínez Pérez, Gregorio. editor. (orcid)0000-0001-5532-6604 Westphall, Carlos Becker. editor. Hu, Jiankun. editor. Fan, Chun I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6898-0">https://doi.org/10.1007/978-981-10-6898-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612152
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dagienė, Valentina. editor. Hellas, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71483-7">https://doi.org/10.1007/978-3-319-71483-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Artificial Intelligence
ent://SD_ILS/0/SD_ILS:612160
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ertel, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58487-4">https://doi.org/10.1007/978-3-319-58487-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Services Science 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612162
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Helfert, Markus. editor. Ferguson, Donald. editor. Méndez Muñoz, Victor. editor. Cardoso, Jorge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62594-2">https://doi.org/10.1007/978-3-319-62594-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation 13th International Conference, BDAS 2017, Ustroń, Poland, May 30 - June 2, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612463
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. Kasprowski, Paweł. 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-58274-0">https://doi.org/10.1007/978-3-319-58274-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision, Imaging and Computer Graphics Theory and Applications 11th International Joint Conference, VISIGRAPP 2016, Rome, Italy, February 27 - 29, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612465
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Braz, José. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Richard, Paul. editor. Linsen, Lars. editor. Telea, Alexandru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64870-5">https://doi.org/10.1007/978-3-319-64870-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management in Organizations 12th International Conference, KMO 2017, Beijing, China, August 21-24, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612489
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Uden, Lorna. editor. Lu, Wei. editor. Ting, I-Hsien. editor. (orcid)0000-0002-6587-2438 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62698-7">https://doi.org/10.1007/978-3-319-62698-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Media Processing 6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613653
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cheng, Xueqi. editor. Ma, Weiying. editor. Liu, Huan. editor. Shen, Huawei. editor. Feng, Shizheng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6805-8">https://doi.org/10.1007/978-981-10-6805-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing in Data Science Third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613655
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mohamed, Azlinah. editor. Berry, Michael W. editor. Yap, Bee Wah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7242-0">https://doi.org/10.1007/978-981-10-7242-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers
ent://SD_ILS/0/SD_ILS:613721
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66251-0">https://doi.org/10.1007/978-3-319-66251-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration Technologies and Social Computing 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613724
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yoshino, Takashi. editor. Yuizono, Takaya. editor. Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247 Vassileva, Julita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63088-5">https://doi.org/10.1007/978-3-319-63088-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613725
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Desprez, Frédéric. editor. Dutot, Pierre-François. editor. Kaklamanis, Christos. editor. Marchal, Loris. editor. Molitorisz, Korbinian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58943-5">https://doi.org/10.1007/978-3-319-58943-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613733
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613740
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Ming. editor. Chen, Haoyao. editor. Vincze, Markus. editor. (orcid)0000-0002-2799-491X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68345-4">https://doi.org/10.1007/978-3-319-68345-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:613748
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70136-3">https://doi.org/10.1007/978-3-319-70136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613752
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68520-5">https://doi.org/10.1007/978-3-319-68520-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613760
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management Technologies and Applications 5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614210
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Francalanci, Chiara. editor. Helfert, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62911-7">https://doi.org/10.1007/978-3-319-62911-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Applications of Neural Networks 18th International Conference, EANN 2017, Athens, Greece, August 25-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:614286
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Boracchi, Giacomo. editor. Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Jayne, Chrisina. editor. Likas, Aristidis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65172-9">https://doi.org/10.1007/978-3-319-65172-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Management and Big Data Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614458
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Lossio-Ventura, Juan Antonio. editor. Alatrista-Salas, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55209-5">https://doi.org/10.1007/978-3-319-55209-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614757
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66302-9">https://doi.org/10.1007/978-3-319-66302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Space Information Networks First International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614784
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yu, Quan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4403-8">https://doi.org/10.1007/978-981-10-4403-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Systems and Signal Processing Third International Conference, ICCSIP 2016, Beijing, China, November 19-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610670
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Sun, Fuchun. editor. Liu, Huaping. editor. Hu, Dewen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5230-9">https://doi.org/10.1007/978-981-10-5230-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis of Images, Social Networks and Texts 5th International Conference, AIST 2016, Yekaterinburg, Russia, April 7-9, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610811
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534 Khachay, Mikhail Yu. editor. Labunets, Valeri G. editor. Loukachevitch, Natalia. editor. (orcid)0000-0002-1883-4121 Nikolenko, Sergey I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52920-2">https://doi.org/10.1007/978-3-319-52920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610955
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7302-1">https://doi.org/10.1007/978-981-10-7302-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:610956
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7299-4">https://doi.org/10.1007/978-981-10-7299-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics for Computer Graphics
ent://SD_ILS/0/SD_ILS:610983
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-7336-6">https://doi.org/10.1007/978-1-4471-7336-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611015
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ma, Liran. editor. Khreishah, Abdallah. editor. Zhang, Yan. editor. Yan, Mingyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60033-8">https://doi.org/10.1007/978-3-319-60033-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming in HTML and PHP Coding for Scientists and Engineers
ent://SD_ILS/0/SD_ILS:611023
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Brooks, David R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56973-4">https://doi.org/10.1007/978-3-319-56973-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611025
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Sellis, Timos. editor. Oikonomou, Konstantinos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57045-7">https://doi.org/10.1007/978-3-319-57045-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technology Enhanced Assessment 19th International Conference, TEA 2016, Tallinn, Estonia, October 5-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611044
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Joosten-ten Brinke, Desirée. editor. Laanpere, Mart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57744-9">https://doi.org/10.1007/978-3-319-57744-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Compiler Design
ent://SD_ILS/0/SD_ILS:611051
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66966-3">https://doi.org/10.1007/978-3-319-66966-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611054
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68612-7">https://doi.org/10.1007/978-3-319-68612-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611140
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ellen, Faith. editor. Kolokolova, Antonina. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62127-2">https://doi.org/10.1007/978-3-319-62127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611156
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Das, Shantanu. editor. Tixeuil, Sebastien. editor. (orcid)0000-0002-0948-7172 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72050-0">https://doi.org/10.1007/978-3-319-72050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611217
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66836-9">https://doi.org/10.1007/978-3-319-66836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611910
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62395-5">https://doi.org/10.1007/978-3-319-62395-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:611911
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62404-4">https://doi.org/10.1007/978-3-319-62404-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:611913
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62407-5">https://doi.org/10.1007/978-3-319-62407-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:611916
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62401-3">https://doi.org/10.1007/978-3-319-62401-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611952
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68600-4">https://doi.org/10.1007/978-3-319-68600-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611953
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Translation 13th China Workshop, CWMT 2017, Dalian, China, September 27-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611954
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Wong, Derek F. editor. Xiong, Deyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7134-8">https://doi.org/10.1007/978-981-10-7134-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611955
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7179-9">https://doi.org/10.1007/978-981-10-7179-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:611966
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3966-9">https://doi.org/10.1007/978-981-10-3966-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Retrieval 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612045
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Wen, Jirong. editor. Nie, Jianyun. editor. Ruan, Tong. editor. Liu, Yiqun. editor. Qian, Tieyun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68699-8">https://doi.org/10.1007/978-3-319-68699-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612047
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70087-8">https://doi.org/10.1007/978-3-319-70087-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612054
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71150-8">https://doi.org/10.1007/978-3-319-71150-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612072
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6463-0">https://doi.org/10.1007/978-981-10-6463-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612242
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612292
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:612357
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70139-4">https://doi.org/10.1007/978-3-319-70139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Models for the Web Graph 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612826
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bonato, Anthony. editor. Chung Graham, Fan. editor. Prałat, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67810-8">https://doi.org/10.1007/978-3-319-67810-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612856
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612860
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71147-8">https://doi.org/10.1007/978-3-319-71147-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Libraries and Archives 13th Italian Research Conference on Digital Libraries, IRCDL 2017, Modena, Italy, January 26-27, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613141
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Grana, Costantino. editor. Baraldi, Lorenzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68130-6">https://doi.org/10.1007/978-3-319-68130-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Education 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613148
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liebenberg, Janet. editor. Gruner, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69670-6">https://doi.org/10.1007/978-3-319-69670-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613241
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67885-6">https://doi.org/10.1007/978-3-319-67885-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Transformation and Global Society Second International Conference, DTGS 2017, St. Petersburg, Russia, June 21-23, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613245
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Alexandrov, Daniel A. editor. Boukhanovsky, Alexander V. editor. Chugunov, Andrei V. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Koltsova, Olessia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69784-0">https://doi.org/10.1007/978-3-319-69784-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613250
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613265
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61833-3">https://doi.org/10.1007/978-3-319-61833-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613266
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:613270
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62392-4">https://doi.org/10.1007/978-3-319-62392-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication in Critical Embedded Systems First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613272
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Branco, Kalinka. editor. Pinto, Alex. editor. Pigatto, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61403-8">https://doi.org/10.1007/978-3-319-61403-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Business and Telecommunications 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613293
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Obaidat, Mohammad S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67876-4">https://doi.org/10.1007/978-3-319-67876-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613295
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68210-5">https://doi.org/10.1007/978-3-319-68210-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Scala Language Exploration
ent://SD_ILS/0/SD_ILS:613298
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613299
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69404-7">https://doi.org/10.1007/978-3-319-69404-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613300
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Różewski, Przemysław. editor. Lange, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69548-8">https://doi.org/10.1007/978-3-319-69548-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:613301
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70090-8">https://doi.org/10.1007/978-3-319-70090-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613302
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70096-0">https://doi.org/10.1007/978-3-319-70096-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:613303
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70093-9">https://doi.org/10.1007/978-3-319-70093-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613326
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kaushik, Saroj. editor. Gupta, Daya. editor. Kharb, Latika. editor. (orcid)0000-0002-8549-0920 Chahal, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6544-6">https://doi.org/10.1007/978-981-10-6544-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI Design and Test 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613347
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kaushik, Brajesh Kumar. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. (orcid)0000-0002-9113-5167 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7470-7">https://doi.org/10.1007/978-981-10-7470-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game Theory and Applications 3rd Joint China-Dutch Workshop and 7th China Meeting, GTA 2016, Fuzhou, China, November 20-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613438
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Li, Deng-Feng. editor. (orcid)0000-0002-4344-8089 Yang, Xiao-Guang. editor. Uetz, Marc. editor. Xu, Gen-Jiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6753-2">https://doi.org/10.1007/978-981-10-6753-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:613450
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7305-2">https://doi.org/10.1007/978-981-10-7305-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Search, Integration, and Personlization 11th International Workshop, ISIP 2016, Lyon, France, November 1-4, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613451
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kotzinos, Dimitris. editor. Laurent, Dominique. editor. Petit, Jean-Marc. editor. Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68282-2">https://doi.org/10.1007/978-3-319-68282-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:613452
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Laaksonen, Antti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72547-5">https://doi.org/10.1007/978-3-319-72547-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graph and Semantic Computing. Language, Knowledge, and Intelligence Second China Conference, CCKS 2017, Chengdu, China, August 26-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613454
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Li, Juanzi. editor. Zhou, Ming. editor. Qi, Guilin. editor. Lao, Ni. editor. Ruan, Tong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7359-5">https://doi.org/10.1007/978-981-10-7359-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613472
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65551-2">https://doi.org/10.1007/978-3-319-65551-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geographical Information Systems Theory, Applications and Management Second International Conference, GISTAM 2016, Rome, Italy, April 26-27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613489
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Grueau, Cédric. editor. Laurini, Robert. editor. Rocha, Jorge Gustavo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62618-5">https://doi.org/10.1007/978-3-319-62618-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613501
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613536
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68496-3">https://doi.org/10.1007/978-3-319-68496-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615566
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57969-6">https://doi.org/10.1007/978-3-319-57969-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615614
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6502-6">https://doi.org/10.1007/978-981-10-6502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Mashup Development Tools Second International Rapid Mashup Challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615776
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Daniel, Florian. editor. Gaedke, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53174-8">https://doi.org/10.1007/978-3-319-53174-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Immersive Learning Research Network Third International Conference, iLRN 2017, Coimbra, Portugal, June 26-29, 2017. Proceedings
ent://SD_ILS/0/SD_ILS:615880
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Beck, Dennis. editor. (orcid)0000-0003-1771-3237 Allison, Colin. editor. Morgado, Leonel. editor. (orcid)0000-0001-5517-644X Pirker, Johanna. editor. Khosmood, Foaad. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60633-0">https://doi.org/10.1007/978-3-319-60633-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615891
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Solano, Andrés. editor. Ordoñez, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66562-7">https://doi.org/10.1007/978-3-319-66562-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615906
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615938
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
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-319-61756-5">https://doi.org/10.1007/978-3-319-61756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:615974
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615993
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616012
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616016
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616048
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Xiao, Mingyu. editor. Rosamond, Frances. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59605-1">https://doi.org/10.1007/978-3-319-59605-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616068
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dimov, Ivan. editor. (orcid)0000-0003-4198-5830 Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57099-0">https://doi.org/10.1007/978-3-319-57099-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616071
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616078
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616114
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65482-9">https://doi.org/10.1007/978-3-319-65482-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616152
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66396-8">https://doi.org/10.1007/978-3-319-66396-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blended Learning. New Challenges and Innovative Practices 10th International Conference, ICBL 2017, Hong Kong, China, June 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616158
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Ma, Will W.K. editor. Lee, Lap-Kei. editor. Yang, Harrison. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59360-9">https://doi.org/10.1007/978-3-319-59360-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616176
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55453-2">https://doi.org/10.1007/978-3-319-55453-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation and Online Algorithms 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616178
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Jansen, Klaus. editor. Mastrolilli, Monaldo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51741-4">https://doi.org/10.1007/978-3-319-51741-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616191
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cao, Yixin. editor. Chen, Jianer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62389-4">https://doi.org/10.1007/978-3-319-62389-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:616201
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616217
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616227
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gaur, Daya. editor. Narayanaswamy, N.S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53007-9">https://doi.org/10.1007/978-3-319-53007-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616241
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54332-0">https://doi.org/10.1007/978-3-662-54332-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616254
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616259
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616270
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616297
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61824-1">https://doi.org/10.1007/978-3-319-61824-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616323
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616326
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53547-0">https://doi.org/10.1007/978-3-319-53547-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616359
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57708-1">https://doi.org/10.1007/978-3-319-57708-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616611
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616686
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56258-2">https://doi.org/10.1007/978-3-319-56258-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616785
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Eisenbrand, Friedrich. editor. Koenemann, Jochen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59250-3">https://doi.org/10.1007/978-3-319-59250-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Music, Sound, Art and Design 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616929
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Correia, João. editor. Ciesielski, Vic. editor. Liapis, Antonios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55750-2">https://doi.org/10.1007/978-3-319-55750-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Technology for Education Challenges 6th International Workshop, LTEC 2017, Beijing, China, August 21-24, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616999
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Uden, Lorna. editor. Liberona, Dario. editor. Liu, Yun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62743-4">https://doi.org/10.1007/978-3-319-62743-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617024
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57186-7">https://doi.org/10.1007/978-3-319-57186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617071
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59081-3">https://doi.org/10.1007/978-3-319-59081-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Informatics for Computing Research First International Conference, ICAICR 2017, Jalandhar, India, March 17-18, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617090
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Singh, Dharm. editor. Raman, Balasubramanian. editor. Luhach, Ashish Kumar. editor. Lingras, Pawan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5780-9">https://doi.org/10.1007/978-981-10-5780-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Medical Image Understanding and Analysis 21st Annual Conference, MIUA 2017, Edinburgh, UK, July 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617103
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Valdés Hernández, María. editor. González-Castro, Víctor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60964-5">https://doi.org/10.1007/978-3-319-60964-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617149
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55386-2">https://doi.org/10.1007/978-3-662-55386-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Methods 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617225
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Silva da Silva, Tiago. editor. Estácio, Bernardo. editor. Kroll, Josiane. editor. Mantovani Fontana, Rafaela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55907-0">https://doi.org/10.1007/978-3-319-55907-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Engineering Smart Systems
ent://SD_ILS/0/SD_ILS:617371
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617405
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Image Processing and Pattern Recognition First International Conference, RTIP2R 2016, Bidar, India, December 16-17, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617423
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Santosh, K.C. editor. (orcid)0000-0003-4176-0236 Hangarge, Mallikarjun. editor. Bevilacqua, Vitoantonio. editor. (orcid)0000-0002-3088-0788 Negi, Atul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4859-3">https://doi.org/10.1007/978-981-10-4859-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617433
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Data Science A Python Approach to Concepts, Techniques and Applications
ent://SD_ILS/0/SD_ILS:617539
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Igual, Laura. author. Seguí, Santi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50017-1">https://doi.org/10.1007/978-3-319-50017-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Programming Languages
ent://SD_ILS/0/SD_ILS:617555
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
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-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Data Structures A Concise Introduction Using Java
ent://SD_ILS/0/SD_ILS:617557
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
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-3-319-70085-4">https://doi.org/10.1007/978-3-319-70085-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617759
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Neruda, Roman. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71069-3">https://doi.org/10.1007/978-3-319-71069-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617783
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60285-1">https://doi.org/10.1007/978-3-319-60285-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Engineering From Fundamentals to Application Methods
ent://SD_ILS/0/SD_ILS:617836
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations for Community Services 17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617863
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Eichler, Gerald. editor. Erfurth, Christian. editor. Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60447-3">https://doi.org/10.1007/978-3-319-60447-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computing and Data Sciences First International Conference, ICACDS 2016, Ghaziabad, India, November 11-12, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617865
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Singh, Mayank. editor. Gupta, P.K. editor. Tyagi, Vipin. editor. (orcid)0000-0003-4994-3686 Sharma, Arun. editor. Ören, Tuncer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5427-3">https://doi.org/10.1007/978-981-10-5427-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital TV and Wireless Multimedia Communication 13th International Forum, IFTC 2016, Shanghai, China, November 9-10, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617868
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yang, Xiaokang. editor. (orcid)0000-0003-4029-3322 Zhai, Guangtao. editor. (orcid)0000-0001-8165-9322 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4211-9">https://doi.org/10.1007/978-981-10-4211-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomedical Engineering Systems and Technologies 9th International Joint Conference, BIOSTEC 2016, Rome, Italy, February 21-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617871
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Fred, Ana. editor. (orcid)0000-0003-1320-5024 Gamboa, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54717-6">https://doi.org/10.1007/978-3-319-54717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI International 2017 - Posters' Extended Abstracts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617872
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58750-9">https://doi.org/10.1007/978-3-319-58750-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Representations, Analysis and Recognition of Shape and Motion from Imaging Data 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617873
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ben Amor, Boulbaba. editor. Chaieb, Faten. editor. Ghorbel, Faouzi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60654-5">https://doi.org/10.1007/978-3-319-60654-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Techniques in Information Security 8th International Conference, ATIS 2017, Auckland, New Zealand, July 6-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617875
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Batten, Lynn. editor. Kim, Dong Seong. editor. Zhang, Xuyun. editor. Li, Gang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5421-1">https://doi.org/10.1007/978-981-10-5421-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
BNAIC 2016: Artificial Intelligence 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617880
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Bosse, Tibor. editor. Bredeweg, Bert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67468-1">https://doi.org/10.1007/978-3-319-67468-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Innovations 2017 Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617883
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Trajanov, Dimitar. editor. Bakeva, Verica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67597-8">https://doi.org/10.1007/978-3-319-67597-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617885
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Barrios Hernández, Carlos Jaime. editor. Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57972-6">https://doi.org/10.1007/978-3-319-57972-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:617886
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3969-0">https://doi.org/10.1007/978-981-10-3969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617888
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66963-2">https://doi.org/10.1007/978-3-319-66963-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Information Processing 13th International Conference, PRIP 2016, Minsk, Belarus, October 3-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617890
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Krasnoproshin, Viktor V. editor. Ablameyko, Sergey V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54220-1">https://doi.org/10.1007/978-3-319-54220-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617902
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56300-8">https://doi.org/10.1007/978-3-319-56300-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Databases and Information Systems ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617906
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kirikova, Mārīte. editor. Nørvåg, Kjetil. editor. (orcid)0000-0002-4250-9329 Papadopoulos, George A. editor. Gamper, Johann. editor. (orcid)0000-0002-2162-4918 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67162-8">https://doi.org/10.1007/978-3-319-67162-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:617913
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6364-0">https://doi.org/10.1007/978-981-10-6364-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617914
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Giri, Debasis. editor. Mohapatra, Ram N. editor. Begehr, Heinrich. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4642-1">https://doi.org/10.1007/978-981-10-4642-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Communication. Towards a Smart and Secure Future Internet 28th International Tyrrhenian Workshop, TIWDC 2017, Palermo, Italy, September 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617924
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Piva, Alessandro. editor. Tinnirello, Ilenia. editor. Morosi, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67639-5">https://doi.org/10.1007/978-3-319-67639-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617939
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67383-7">https://doi.org/10.1007/978-3-319-67383-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies for Ageing Well and e-Health Second International Conference, ICT4AWE 2016, Rome, Italy, April 21-22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617940
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Röcker, Carsten. editor. O'Donoghue, John. editor. Ziefle, Martina. editor. (orcid)0000-0002-6105-4729 Helfert, Markus. editor. Molloy, William. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62704-5">https://doi.org/10.1007/978-3-319-62704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617941
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cao, Jian. editor. Liu, Jianxun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3996-6">https://doi.org/10.1007/978-981-10-3996-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 24th International Conference, CN 2017, Lądek Zdrój, Poland, June 20-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617950
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gaj, Piotr. editor. Kwiecień, Andrzej. editor. Sawicki, Michał. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59767-6">https://doi.org/10.1007/978-3-319-59767-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technologies and Innovation Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617953
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Lagos-Ortiz, Katty. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo, Javier. editor. Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67283-0">https://doi.org/10.1007/978-3-319-67283-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICTs for Improving Patients Rehabilitation Research Techniques Third International Workshop, REHAB 2015, Lisbon, Portugal, October 1-2, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617954
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Fardoun, Habib M. editor. R. Penichet, Victor M. editor. Alghazzawi, Daniyal M. editor. De la Guia, M. Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69694-2">https://doi.org/10.1007/978-3-319-69694-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Neuroscience First Latin American Workshop, LAWCN 2017, Porto Alegre, Brazil, November 22-24, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617955
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Barone, Dante Augusto Couto. editor. Teles, Eduardo Oliveira. editor. Brackmann, Christian Puhlmann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71011-2">https://doi.org/10.1007/978-3-319-71011-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617956
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6442-5">https://doi.org/10.1007/978-981-10-6442-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge and Systems Sciences 18th International Symposium, KSS 2017, Bangkok, Thailand, November 17-19, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617958
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Chen, Jian. editor. Theeramunkong, Thanaruk. editor. Supnithi, Thepachai. editor. Tang, Xijin. editor. (orcid)0000-0002-2315-1755 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6989-5">https://doi.org/10.1007/978-981-10-6989-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Democracy - Privacy-Preserving, Secure, Intelligent E-Government Services 7th International Conference, E-Democracy 2017, Athens, Greece, December 14-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617959
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Zorkadis, Vasilios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71117-1">https://doi.org/10.1007/978-3-319-71117-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617960
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Garoufallou, Emmanouel. editor. Virkus, Sirje. editor. Siatri, Rania. editor. Koutsomiha, Damiana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70863-8">https://doi.org/10.1007/978-3-319-70863-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Nations - Smart Cities, Innovation, and Sustainability 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618058
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Kar, Arpan Kumar. editor. Ilavarasan, P. Vigneswara. editor. Gupta, M.P. editor. Dwivedi, Yogesh K. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68557-1">https://doi.org/10.1007/978-3-319-68557-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:618106
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62398-6">https://doi.org/10.1007/978-3-319-62398-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618118
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59072-1">https://doi.org/10.1007/978-3-319-59072-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618241
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Fotakis, Dimitris. editor. Pagourtzis, Aris. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57586-5">https://doi.org/10.1007/978-3-319-57586-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618264
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6370-1">https://doi.org/10.1007/978-981-10-6370-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618443
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54157-0">https://doi.org/10.1007/978-3-319-54157-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618458
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ginige, Athula. editor. Mayr, Heinrich C. editor. Plexousakis, Dimitris. editor. (orcid)0000-0002-0863-8266 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Nikitchenko, Mykola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69965-3">https://doi.org/10.1007/978-3-319-69965-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers Supported Education 8th International Conference, CSEDU 2016, Rome, Italy, April 21-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617481
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Costagliola, Gennaro. editor. Uhomoibhi, James. editor. Zvacek, Susan. editor. McLaren, Bruce M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63184-4">https://doi.org/10.1007/978-3-319-63184-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Approach to Compiler Construction
ent://SD_ILS/0/SD_ILS:617486
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Watson, Des. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality Assurance Consistency in the Face of Complexity and Change
ent://SD_ILS/0/SD_ILS:617489
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Walkinshaw, Neil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64822-4">https://doi.org/10.1007/978-3-319-64822-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Language Concepts
ent://SD_ILS/0/SD_ILS:617492
2026-04-14T06:06:07Z
2026-04-14T06:06:07Z
Author Sestoft, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60789-4">https://doi.org/10.1007/978-3-319-60789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>