Search Results for Computer science - Narrowed by: 2016
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$0026qf$003dPUBDATE$002509Publication$002bDate$0025092016$0025092016$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2026-05-12T08:43:24Z
Applied Computer Science
ent://SD_ILS/0/SD_ILS:618498
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Torbert, Shane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30866-1">https://doi.org/10.1007/978-3-319-30866-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Science
ent://SD_ILS/0/SD_ILS:612378
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40171-3">https://doi.org/10.1007/978-3-319-40171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Science 2015
ent://SD_ILS/0/SD_ILS:615828
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23467-0">https://doi.org/10.1007/978-3-319-23467-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610895
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28678-5">https://doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616237
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hasuo, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:617182
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613118
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Heggernes, Pinar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53536-3">https://doi.org/10.1007/978-3-662-53536-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616284
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49192-8">https://doi.org/10.1007/978-3-662-49192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612310
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kulikov, Alexander S. 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-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers
ent://SD_ILS/0/SD_ILS:617080
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Mayr, Ernst W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53174-7">https://doi.org/10.1007/978-3-662-53174-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems Analysis and Synthesis : Bridging Computer Science and Information Technology
ent://SD_ILS/0/SD_ILS:458816
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dwyer, Barry, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128053041">https://www.sciencedirect.com/science/book/9780128053041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supply chain management and its applications in computer science
ent://SD_ILS/0/SD_ILS:387077
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Krichen, Saoussen, author. Ben Jouida, Sihem, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1002/9781119261469">Wiley Online Library</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
ent://SD_ILS/0/SD_ILS:610850
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33622-0">https://doi.org/10.1007/978-3-319-33622-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technology for Management Federated Conference on Computer Science and Information Systems, ISM 2015 and AITM 2015, Lodz, Poland, September 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614508
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30528-8">https://doi.org/10.1007/978-3-319-30528-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Language Technology. Challenges for Computer Science and Linguistics 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616145
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Vetulani, Zygmunt. editor. Uszkoreit, Hans. editor. Kubis, Marek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43808-5">https://doi.org/10.1007/978-3-319-43808-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3
ent://SD_ILS/0/SD_ILS:617986
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33389-2">https://doi.org/10.1007/978-3-319-33389-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Computer Science and Engineering Proceedings of the Third ICICSE, 2015
ent://SD_ILS/0/SD_ILS:615285
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Saini, H. S. editor. Sayal, Rishi. editor. Rawat, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0419-3">https://doi.org/10.1007/978-981-10-0419-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616006
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29817-7">https://doi.org/10.1007/978-3-319-29817-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)
ent://SD_ILS/0/SD_ILS:611774
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chung, Paul. editor. Soltoggio, Andrea. editor. Dawson, Christian W. editor. Meng, Qinggang. editor. Pain, Matthew. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24560-7">https://doi.org/10.1007/978-3-319-24560-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods for Knowledge Engineering Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria
ent://SD_ILS/0/SD_ILS:616845
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Nguyen, Thanh Binh. editor. van Do, Tien. editor. An Le Thi, Hoai. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38884-7">https://doi.org/10.1007/978-3-319-38884-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1
ent://SD_ILS/0/SD_ILS:610682
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33625-1">https://doi.org/10.1007/978-3-319-33625-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Image Processing An Algorithmic Introduction Using Java
ent://SD_ILS/0/SD_ILS:611041
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6684-9">https://doi.org/10.1007/978-1-4471-6684-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Target Detection and Tracking by Bionanosensor Networks
ent://SD_ILS/0/SD_ILS:611820
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Okaie, Yutaka. author. Nakano, Tadashi. author. Hara, Takahiro. author. Nishio, Shojiro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2468-9">https://doi.org/10.1007/978-981-10-2468-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Monitoring Technologies for Older Patients
ent://SD_ILS/0/SD_ILS:611968
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Klonovs, Juris. author. Ahsanul Haque, Mohammad. author. Krüger, Volker. author. Nasrollahi, Kamal. author. Andersen-Ranberg, Karen. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27024-1">https://doi.org/10.1007/978-3-319-27024-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cross-Cultural Multimedia Computing Semantic and Aesthetic Modeling
ent://SD_ILS/0/SD_ILS:613384
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dubnov, Shlomo. author. Burns, Kevin. author. Kiyoki, Yasushi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42873-4">https://doi.org/10.1007/978-3-319-42873-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Based 5G Wireless Networks
ent://SD_ILS/0/SD_ILS:615018
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Yin. author. Chen, Min. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47343-7">https://doi.org/10.1007/978-3-319-47343-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Link Prediction in Social Networks Role of Power Law Distribution
ent://SD_ILS/0/SD_ILS:615055
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Virinchi, Srinivas. author. Mitra, Pabitra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28922-9">https://doi.org/10.1007/978-3-319-28922-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data 2.0 Processing Systems A Survey
ent://SD_ILS/0/SD_ILS:615216
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Sakr, Sherif. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38776-5">https://doi.org/10.1007/978-3-319-38776-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Web Applications for Analyzing Traffic Operations
ent://SD_ILS/0/SD_ILS:615321
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Petrovska, Natasha. author. Stevanovic, Aleksandar. author. Furht, Borko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33319-9">https://doi.org/10.1007/978-3-319-33319-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Application Security A Semantics and Context-Aware Approach
ent://SD_ILS/0/SD_ILS:615865
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47812-8">https://doi.org/10.1007/978-3-319-47812-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence A Methodological Introduction
ent://SD_ILS/0/SD_ILS:617425
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kruse, Rudolf. author. Borgelt, Christian. author. Braune, Christian. author. Mostaghim, Sanaz. author. Steinbrecher, Matthias. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-7296-3">https://doi.org/10.1007/978-1-4471-7296-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments
ent://SD_ILS/0/SD_ILS:617790
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Biswas, Pradipta. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40709-8">https://doi.org/10.1007/978-3-319-40709-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Elements of Cloud Computing Security A Survey of Key Practicalities
ent://SD_ILS/0/SD_ILS:617823
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Alani, Mohammed M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41411-9">https://doi.org/10.1007/978-3-319-41411-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes
ent://SD_ILS/0/SD_ILS:617837
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Adão, Telmo. author. Magalhães, Luís. author. (orcid)0000-0002-4426-0002 Peres, Emanuel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42372-2">https://doi.org/10.1007/978-3-319-42372-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Health
ent://SD_ILS/0/SD_ILS:617839
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Wang, Honggang. author. Mahmud, Md Shaad. author. Fang, Hua. author. Wang, Chonggang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47946-0">https://doi.org/10.1007/978-3-319-47946-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks
ent://SD_ILS/0/SD_ILS:617842
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Murty, M.N. author. Raghava, Rashmi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41063-0">https://doi.org/10.1007/978-3-319-41063-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physical Play and Children's Digital Games
ent://SD_ILS/0/SD_ILS:614224
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Madej, Krystina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42875-8">https://doi.org/10.1007/978-3-319-42875-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physical Layer Security in Random Cellular Networks
ent://SD_ILS/0/SD_ILS:615306
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Wang, Hui-Ming. author. Zheng, Tong-Xing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1575-5">https://doi.org/10.1007/978-981-10-1575-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research and Development in Art, Design and Creativity
ent://SD_ILS/0/SD_ILS:615252
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-33005-1">https://doi.org/10.1007/978-3-319-33005-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Matrix and Tensor Factorization Techniques for Recommender Systems
ent://SD_ILS/0/SD_ILS:615696
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Symeonidis, Panagiotis. author. Zioupos, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41357-0">https://doi.org/10.1007/978-3-319-41357-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Software and Service Composition A Survey and Evaluating Review
ent://SD_ILS/0/SD_ILS:616990
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Mohr, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34168-2">https://doi.org/10.1007/978-3-319-34168-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial Network Data Concepts and Techniques for Summarization
ent://SD_ILS/0/SD_ILS:616991
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Oliver, Dev. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39621-7">https://doi.org/10.1007/978-3-319-39621-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatio-Temporal Recommendation in Social Media
ent://SD_ILS/0/SD_ILS:617000
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Yin, Hongzhi. author. Cui, Bin. author. (orcid)0000-0003-1681-4677 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0748-4">https://doi.org/10.1007/978-981-10-0748-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optical Flow and Trajectory Estimation Methods
ent://SD_ILS/0/SD_ILS:611445
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gibson, Joel. author. Marques, Oge. author. (orcid)0000-0003-4321-2719 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44941-8">https://doi.org/10.1007/978-3-319-44941-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Elements of Cloud Storage Security Concepts, Designs and Optimized Practices
ent://SD_ILS/0/SD_ILS:611448
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Galibus, Tatiana. author. Krasnoproshin, Viktor V. author. (orcid)0000-0002-9463-4869 de Oliveira Albuquerque, Robson. author. Pignaton de Freitas, Edison. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44962-3">https://doi.org/10.1007/978-3-319-44962-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Watermarking Techniques in Curvelet and Ridgelet Domain
ent://SD_ILS/0/SD_ILS:617663
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Rao, Channapragada Rama Seshagiri. author. Prasad, Munaga V.N.K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32951-2">https://doi.org/10.1007/978-3-319-32951-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Technologies in Everyday Life
ent://SD_ILS/0/SD_ILS:617870
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Marques, Oge. author. (orcid)0000-0003-4321-2719 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45699-7">https://doi.org/10.1007/978-3-319-45699-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Homomorphic Signature Schemes A Survey
ent://SD_ILS/0/SD_ILS:617709
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Traverso, Giulia. author. Demirel, Denise. 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-32115-8">https://doi.org/10.1007/978-3-319-32115-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatio-Temporal Data Streams
ent://SD_ILS/0/SD_ILS:617676
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Galić, Zdravko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-6575-5">https://doi.org/10.1007/978-1-4939-6575-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:610933
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611702
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611704
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48959-9">https://doi.org/10.1007/978-3-319-48959-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612741
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613033
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39441-1">https://doi.org/10.1007/978-3-319-39441-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613038
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613633
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44543-4">https://doi.org/10.1007/978-3-319-44543-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611828
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lipták, Zsuzsanna. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29516-9">https://doi.org/10.1007/978-3-319-29516-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611885
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Rossi, Federico. editor. Mavelli, Fabio. editor. Stano, Pasquale. editor. Caivano, Danilo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32695-5">https://doi.org/10.1007/978-3-319-32695-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612022
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Translation 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612602
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Yang, Muyun. editor. Liu, Shujie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3635-4">https://doi.org/10.1007/978-981-10-3635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612612
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612674
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612823
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Atmanspacher, Harald. editor. Filk, Thomas. 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-28675-4">https://doi.org/10.1007/978-3-319-28675-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612842
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617935
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:618122
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618134
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:610744
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44615-8">https://doi.org/10.1007/978-3-319-44615-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611087
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32859-1">https://doi.org/10.1007/978-3-319-32859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:615987
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44365-2">https://doi.org/10.1007/978-3-319-44365-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616008
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616026
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616053
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616055
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616153
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects in Information and Management 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616263
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dondi, Riccardo. editor. Fertin, Guillaume. editor. Mauri, Giancarlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41168-2">https://doi.org/10.1007/978-3-319-41168-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616291
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802 Fujishige, Satoru. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45587-7">https://doi.org/10.1007/978-3-319-45587-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616303
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40970-2">https://doi.org/10.1007/978-3-319-40970-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616329
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617134
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611442
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40361-8">https://doi.org/10.1007/978-3-319-40361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:611644
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43994-5">https://doi.org/10.1007/978-3-319-43994-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611744
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612125
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Duquesne, Sylvain. editor. Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55227-9">https://doi.org/10.1007/978-3-319-55227-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616889
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616919
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616953
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
ent://SD_ILS/0/SD_ILS:617743
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security in Computing and Communications 4th International Symposium, SSCC 2016, Jaipur, India, September 21-24, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610801
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Mueller, Peter. editor. Thampi, Sabu M. editor. Alam Bhuiyan, Md Zakirul. editor. Ko, Ryan. editor. Doss, Robin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2738-3">https://doi.org/10.1007/978-981-10-2738-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610812
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30668-1">https://doi.org/10.1007/978-3-319-30668-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Social Computing and Digital Education 7th International Workshop on Collaborative Agents Research and Development, CARE 2016, Singapore, May 9, 2016 and Second International Workshop on Social Computing in Digital Education, SocialEdu 2016, Zagreb, Croatia, June 6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610839
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Koch, Fernando. editor. Koster, Andrew. editor. Primo, Tiago. editor. Guttmann, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52039-1">https://doi.org/10.1007/978-3-319-52039-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing and Network Visualization 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610840
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hu, Yifan. editor. Nöllenburg, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50106-2">https://doi.org/10.1007/978-3-319-50106-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610845
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610878
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author 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-32243-8">https://doi.org/10.1007/978-3-319-32243-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition 7th Chinese Conference, CCPR 2016, Chengdu, China, November 5-7, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610884
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Tan, Tieniu. editor. Li, Xuelong. editor. Chen, Xilin. editor. (orcid)0000-0003-3024-4404 Zhou, Jie. editor. Yang, Jian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3005-5">https://doi.org/10.1007/978-981-10-3005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610897
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:610898
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32149-3">https://doi.org/10.1007/978-3-319-32149-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Applications Third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610899
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Xie, Jiang. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Zhang, Wu. editor. Chen, Yan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32557-6">https://doi.org/10.1007/978-3-319-32557-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing Systems First International Symposium, ISICS 2016, Mérida, México, March 16-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611289
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Martin-Gonzalez, Anabel. editor. (orcid)0000-0002-6512-1060 Uc-Cetina, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30447-2">https://doi.org/10.1007/978-3-319-30447-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings
ent://SD_ILS/0/SD_ILS:611347
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bonato, Vanderlei. editor. Bouganis, Christos. editor. Gorgon, Marek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30481-6">https://doi.org/10.1007/978-3-319-30481-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611612
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Louveaux, Quentin. editor. Skutella, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33461-5">https://doi.org/10.1007/978-3-319-33461-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611808
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42085-1">https://doi.org/10.1007/978-3-319-42085-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611813
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kochetov, Yury. editor. Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Beresnev, Vladimir. editor. Nurminski, Evgeni. editor. Pardalos, Panos. editor. (orcid)0000-0001-9623-8053<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44914-2">https://doi.org/10.1007/978-3-319-44914-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611948
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44778-0">https://doi.org/10.1007/978-3-319-44778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Databases and Information Systems ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613019
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384 Thalheim, Bernhard. editor. Catania, Barbara. editor. Schewe, Klaus-Dieter. editor. Kirikova, Mārīte. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44066-8">https://doi.org/10.1007/978-3-319-44066-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Technology for Education in Cloud - The Changing Face of Education 5th International Workshop, LTEC 2016, Hagen, Germany, July 25-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613187
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Uden, Lorna. editor. Liberona, Dario. editor. Feldmann, Birgit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42147-6">https://doi.org/10.1007/978-3-319-42147-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613374
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49529-2">https://doi.org/10.1007/978-3-662-49529-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Network Systems and Security Second International Conference, FNSS 2016, Paris, France, November 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613387
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-48021-3">https://doi.org/10.1007/978-3-319-48021-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613470
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Challenges Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613629
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Sack, Harald. editor. Dietze, Stefan. editor. Tordai, Anna. 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-46565-4">https://doi.org/10.1007/978-3-319-46565-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:613726
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42092-9">https://doi.org/10.1007/978-3-319-42092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613860
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Quimper, Claude-Guy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33954-2">https://doi.org/10.1007/978-3-319-33954-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge and Systems Sciences 17th International Symposium, KSS 2016, Kobe, Japan, November 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:614540
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chen, Jian. editor. Nakamori, Yoshiteru. editor. Yue, Wuyi. 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-2857-1">https://doi.org/10.1007/978-981-10-2857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614556
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2158-9">https://doi.org/10.1007/978-981-10-2158-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:614682
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2663-8">https://doi.org/10.1007/978-981-10-2663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Education 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615004
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gruner, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47680-3">https://doi.org/10.1007/978-3-319-47680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering Toward Sustainable World Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615011
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lee, Seok-Won. editor. (orcid)0000-0002-8569-0236 Nakatani, Takako. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3256-1">https://doi.org/10.1007/978-981-10-3256-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technologies and Innovation Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615160
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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, Nestor. editor. (orcid)0000-0002-1006-1566<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48024-4">https://doi.org/10.1007/978-3-319-48024-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616569
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Paias, Ana. editor. Ruthmair, Mario. 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-44896-1">https://doi.org/10.1007/978-3-319-44896-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616803
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3159-5">https://doi.org/10.1007/978-981-10-3159-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management Technologies and Applications 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611282
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Helfert, Markus. editor. Holzinger, Andreas. editor. Belo, Orlando. editor. Francalanci, Chiara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30162-4">https://doi.org/10.1007/978-3-319-30162-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Data Mining
ent://SD_ILS/0/SD_ILS:611185
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-7307-6">https://doi.org/10.1007/978-1-4471-7307-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:611882
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39387-2">https://doi.org/10.1007/978-3-319-39387-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advancements in Automation, Robotics and Sensing First International Conference, ICAARS 2016, Coimbatore, India, June 23 - 24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611886
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Vinod, B. editor. Voyles, Richard. editor. Vadakkepat, Prahlad. editor. Sundaram, M. editor. Sujatha, K S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2845-8">https://doi.org/10.1007/978-981-10-2845-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611889
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Daniel, Florian. editor. Pautasso, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28727-0">https://doi.org/10.1007/978-3-319-28727-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision, Imaging and Computer Graphics Theory and Applications 10th International Joint Conference, VISIGRAPP 2015, Berlin, Germany, March 11-14, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611982
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Braz, José. editor. Pettré, Julien. editor. Richard, Paul. editor. Kerren, Andreas. editor. Linsen, Lars. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29971-6">https://doi.org/10.1007/978-3-319-29971-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611984
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42108-7">https://doi.org/10.1007/978-3-319-42108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611985
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Squillero, Giovanni. editor. Burelli, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31204-0">https://doi.org/10.1007/978-3-319-31204-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI International 2016 - Posters' Extended Abstracts 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016 Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612069
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-40542-1">https://doi.org/10.1007/978-3-319-40542-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Security, Safety and Sustainability: The Security Challenges of the Connected World 11th International Conference, ICGS3 2017, London, UK, January 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612070
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Jahankhani, Hamid. editor. Carlile, Alex. editor. Emm, David. editor. Hosseinian-Far, Amin. editor. Brown, Guy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51064-4">https://doi.org/10.1007/978-3-319-51064-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Transformation and Global Society First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:612074
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chugunov, Andrei V. editor. Bolgov, Radomir. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Kampis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49700-6">https://doi.org/10.1007/978-3-319-49700-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Paradigms for Mental Health 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612077
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Serino, Silvia. editor. Matic, Aleksandar. editor. Giakoumis, Dimitris. editor. Lopez, Guillaume. editor. Cipresso, Pietro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32270-4">https://doi.org/10.1007/978-3-319-32270-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration Technologies and Social Computing 8th International Conference, CollabTech 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612579
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Yoshino, Takashi. editor. Chen, Gwo-Dong. editor. Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247 Yuizono, Takaya. editor. Inoue, Tomoo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2618-8">https://doi.org/10.1007/978-981-10-2618-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Discrete Applied Mathematics Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612606
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Govindarajan, Sathish. editor. Maheshwari, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29221-2">https://doi.org/10.1007/978-3-319-29221-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611901
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40596-4">https://doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613585
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chicano, Francisco. editor. Hu, Bin. editor. García-Sánchez, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30698-8">https://doi.org/10.1007/978-3-319-30698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition 7th Chinese Conference, CCPR 2016, Chengdu, China, November 5-7, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:613465
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Tan, Tieniu. editor. Li, Xuelong. editor. Chen, Xilin. editor. (orcid)0000-0003-3024-4404 Zhou, Jie. editor. Yang, Jian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3002-4">https://doi.org/10.1007/978-981-10-3002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613915
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30243-0">https://doi.org/10.1007/978-3-319-30243-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:614717
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2666-9">https://doi.org/10.1007/978-981-10-2666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615588
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kreiner, Christian. editor. O'Connor, Rory V. editor. Poth, Alexander. 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-44817-6">https://doi.org/10.1007/978-3-319-44817-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green, Pervasive, and Cloud Computing 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:615931
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Huang, Xinyi. editor. Xiang, Yang. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39077-2">https://doi.org/10.1007/978-3-319-39077-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Social Networks 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616081
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Nguyen, Hien T. editor. Snasel, Vaclav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42345-6">https://doi.org/10.1007/978-3-319-42345-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616148
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Models for the Web Graph 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616184
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bonato, Anthony. editor. Graham, Fan Chung. 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-49787-7">https://doi.org/10.1007/978-3-319-49787-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616188
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41009-8">https://doi.org/10.1007/978-3-319-41009-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616212
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bonnevay, Stéphane. editor. Legrand, Pierrick. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31471-6">https://doi.org/10.1007/978-3-319-31471-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616218
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616385
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616425
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kordon, Fabrice. editor. Moldt, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39086-4">https://doi.org/10.1007/978-3-319-39086-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616647
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616678
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2098-8">https://doi.org/10.1007/978-981-10-2098-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Techniques in Information Security 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616731
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Batten, Lynn. 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-2741-3">https://doi.org/10.1007/978-981-10-2741-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robotics 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616757
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Santos Osório, Fernando. editor. Sales Gonçalves, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47247-8">https://doi.org/10.1007/978-3-319-47247-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to HPC with MPI for Data Science
ent://SD_ILS/0/SD_ILS:617392
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Nielsen, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21903-5">https://doi.org/10.1007/978-3-319-21903-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm Engineering Selected Results and Surveys
ent://SD_ILS/0/SD_ILS:617840
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kliemann, Lasse. editor. Sanders, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49487-6">https://doi.org/10.1007/978-3-319-49487-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617862
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2053-7">https://doi.org/10.1007/978-981-10-2053-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Applications of Neural Networks 17th International Conference, EANN 2016, Aberdeen, UK, September 2-5, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617864
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Jayne, Chrisina. editor. Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44188-7">https://doi.org/10.1007/978-3-319-44188-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617916
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Celesti, Antonio. editor. Leitner, Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33313-7">https://doi.org/10.1007/978-3-319-33313-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Media Processing 5th National Conference, SMP 2016, Nanchang, China, October 29-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617918
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Li, Yuming. editor. Xiang, Guoxiong. editor. Lin, Hongfei. editor. (orcid)0000-0003-0872-7688 Wang, Mingwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2993-6">https://doi.org/10.1007/978-981-10-2993-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617920
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56390-9">https://doi.org/10.1007/978-3-319-56390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantics Research 10th International Conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617921
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Garoufallou, Emmanouel. editor. Subirats Coll, Imma. editor. Stellato, Armando. editor. Greenberg, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49157-8">https://doi.org/10.1007/978-3-319-49157-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Technology and Applications First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:617925
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chen, Wenguang. editor. Yin, Guisheng. editor. Zhao, Gansen. editor. Han, Qilong. editor. Jing, Weipeng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0457-5">https://doi.org/10.1007/978-981-10-0457-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:617926
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2672-0">https://doi.org/10.1007/978-981-10-2672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Processing of Natural-Language Electronic Texts with NooJ 9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617928
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Okrut, Tatsiana. editor. Hetsevich, Yuras. editor. Silberztein, Max. editor. Stanislavenka, Hanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42471-2">https://doi.org/10.1007/978-3-319-42471-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617931
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30142-6">https://doi.org/10.1007/978-3-319-30142-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Business and Telecommunications 12th International Joint Conference, ICETE 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617933
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Obaidat, Mohammad S. editor. Lorenz, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30222-5">https://doi.org/10.1007/978-3-319-30222-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data First China Conference, CCKS 2016, Beijing, China, September 19-22, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617936
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chen, Huajun. editor. Ji, Heng. editor. Sun, Le. editor. Wang, Haixun. editor. Qian, Tieyun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3168-7">https://doi.org/10.1007/978-981-10-3168-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Linguistics 14th International Conference of the Pacific Association for Computational Linguistics, PACLING 2015, Bali, Indonesia, May 19-21, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617938
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hasida, Koiti. editor. Purwarianti, Ayu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0515-2">https://doi.org/10.1007/978-981-10-0515-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Search, Integration and Personalization 9th International Workshop, ISIP 2014, Kuala Lumpur, Malaysia, October 9-10, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617945
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kotzinos, Dimitrios. editor. Choong, Yeow Wei. editor. Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38901-1">https://doi.org/10.1007/978-3-319-38901-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618117
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44781-0">https://doi.org/10.1007/978-3-319-44781-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Media: The Good, the Bad, and the Ugly 15th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2016, Swansea, UK, September 13-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618127
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dwivedi, Yogesh K. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X Ravishankar, M.N. editor. Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Clement, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45234-0">https://doi.org/10.1007/978-3-319-45234-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:618138
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42111-7">https://doi.org/10.1007/978-3-319-42111-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618140
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cai, Yang. editor. Vetta, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54110-4">https://doi.org/10.1007/978-3-662-54110-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618141
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. Li, Xiaodong. editor. López-Ibáñez, Manuel. editor. Ohkura, Kazuhiro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44427-7">https://doi.org/10.1007/978-3-319-44427-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blended Learning: Aligning Theory with Practices 9th International Conference, ICBL 2016, Beijing, China, July 19-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618152
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Shang, Junjie. editor. Wang, Aihua. editor. Kwan, Reggie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41165-1">https://doi.org/10.1007/978-3-319-41165-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618165
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-51917-3">https://doi.org/10.1007/978-3-319-51917-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618193
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49283-3">https://doi.org/10.1007/978-3-662-49283-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Processing of Natural-Language Electronic Texts with NooJ 10th International Conference, NooJ 2016, České Budějovice, Czech Republic, June 9-11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618283
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Barone, Linda. editor. Monteleone, Mario. editor. Silberztein, Max. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55002-2">https://doi.org/10.1007/978-3-319-55002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 10th International Conference, COCOA 2016, Hong Kong, China, December 16-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611012
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Chan, T-H. Hubert. editor. Li, Minming. editor. (orcid)0000-0002-7370-6237 Wang, Lusheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48749-6">https://doi.org/10.1007/978-3-319-48749-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary and Biologically Inspired Music, Sound, Art and Design 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611029
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Johnson, Colin. editor. Ciesielski, Vic. editor. Correia, João. editor. Machado, Penousal. editor. (orcid)0000-0002-6308-6484 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31008-4">https://doi.org/10.1007/978-3-319-31008-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610970
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Clarke, Paul M. editor. (orcid)0000-0002-4487-627X O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38980-6">https://doi.org/10.1007/978-3-319-38980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611088
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611111
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611112
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611115
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Retrieval 9th Russian Summer School, RuSSIR 2015, Saint Petersburg, Russia, August 24-28, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611243
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Braslavski, Pavel. editor. Markov, Ilya. editor. Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 Volkovich, Yana. editor. Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41718-9">https://doi.org/10.1007/978-3-319-41718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI International 2016 - Posters' Extended Abstracts 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611413
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-40548-3">https://doi.org/10.1007/978-3-319-40548-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611418
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46254-7">https://doi.org/10.1007/978-3-319-46254-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Semantic Web 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611420
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Ngonga Ngomo, Axel-Cyrille. editor. Křemen, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45880-9">https://doi.org/10.1007/978-3-319-45880-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611426
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kunkel, Julian M. editor. Balaji, Pavan. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41321-1">https://doi.org/10.1007/978-3-319-41321-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks - ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611428
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cheng, Long. editor. Liu, Qingshan. editor. Ronzhin, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40663-3">https://doi.org/10.1007/978-3-319-40663-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613096
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-55669-7">https://doi.org/10.1007/978-3-319-55669-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers
ent://SD_ILS/0/SD_ILS:613482
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-49646-7">https://doi.org/10.1007/978-3-319-49646-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613488
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Amunts, Katrin. editor. Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50862-7">https://doi.org/10.1007/978-3-319-50862-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613702
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30843-2">https://doi.org/10.1007/978-3-319-30843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Search, Integration, and Personalization 10th International Workshop, ISIP 2015, Grand Forks, ND, USA, October 1-2, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613999
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Grant, Emanuel. editor. Kotzinos, Dimitris. editor. Laurent, Dominique. 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-43862-7">https://doi.org/10.1007/978-3-319-43862-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614005
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Helfert, Markus. editor. Méndez Muñoz, Víctor. editor. Ferguson, Donald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29582-4">https://doi.org/10.1007/978-3-319-29582-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geographical Information Systems Theory, Applications and Management First International Conference, GISTAM 2015, Barcelona, Spain, April 28-30, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614011
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Grueau, Cédric. editor. Gustavo, Jorge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29589-3">https://doi.org/10.1007/978-3-319-29589-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Computing in Digital Education First International Workshop, SOCIALEDU 2015, Stanford, CA, USA, August 19, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614037
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Koch, Fernando. editor. Koster, Andrew. editor. Primo, Tiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39672-9">https://doi.org/10.1007/978-3-319-39672-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovating with Concept Mapping 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:614096
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cañas, Alberto. editor. Reiska, Priit. editor. Novak, Joseph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45501-3">https://doi.org/10.1007/978-3-319-45501-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:614126
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Grochla, Krzysztof. editor. Lent, Ricardo. editor. (orcid)0000-0003-4884-3456 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47217-1">https://doi.org/10.1007/978-3-319-47217-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Visual Surveillance 4th Chinese Conference, IVS 2016, Beijing, China, October 19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:614394
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Zhang. editor. Huang, Kaiqi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3476-3">https://doi.org/10.1007/978-981-10-3476-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building Sustainable Health Ecosystems 6th International Conference on Well-Being in the Information Society, WIS 2016, Tampere, Finland, September 16-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615249
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Li, Hongxiu. editor. Nykänen, Pirkko. editor. Suomi, Reima. editor. Wickramasinghe, Nilmini. editor. Widén, Gunilla. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44672-1">https://doi.org/10.1007/978-3-319-44672-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615723
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Lu. editor. Xu, Chang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3482-4">https://doi.org/10.1007/978-981-10-3482-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing in Data Science Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615787
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Berry, Michael W. editor. Hj. Mohamed, Azlinah. 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-2777-2">https://doi.org/10.1007/978-981-10-2777-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber Security Second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615811
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Haltinner, Kristin. editor. Sarathchandra, Dilshani. editor. Alves-Foss, Jim. editor. Chang, Kevin. editor. Conte de Leon, Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28313-5">https://doi.org/10.1007/978-3-319-28313-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615922
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Squillero, Giovanni. editor. Burelli, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31153-1">https://doi.org/10.1007/978-3-319-31153-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615935
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39636-1">https://doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete and Computational Geometry and Graphs 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615942
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Akiyama, Jin. editor. (orcid)0000-0001-5795-5930 Ito, Hiro. editor. Sakai, Toshinori. editor. Uno, Yushi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48532-4">https://doi.org/10.1007/978-3-319-48532-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615968
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Plaat, Aske. editor. Kosters, Walter. editor. van den Herik, Jaap. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50935-8">https://doi.org/10.1007/978-3-319-50935-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:615985
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46681-1">https://doi.org/10.1007/978-3-319-46681-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615994
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Martín-Vide, Carlos. editor. Mizuki, Takaaki. 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-49001-4">https://doi.org/10.1007/978-3-319-49001-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615998
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
String Processing and Information Retrieval 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616002
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Inenaga, Shunsuke. editor. Sadakane, Kunihiko. editor. Sakai, Tetsuya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46049-9">https://doi.org/10.1007/978-3-319-46049-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616004
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. 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-45641-6">https://doi.org/10.1007/978-3-319-45641-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616034
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gavoille, Cyril. editor. Ilcinkas, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53426-7">https://doi.org/10.1007/978-3-662-53426-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616196
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kaykobad, Mohammad. editor. Petreschi, Rossella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30139-6">https://doi.org/10.1007/978-3-319-30139-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616203
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Siarry, Patrick. editor. (orcid)0000-0002-5722-4115 Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50307-3">https://doi.org/10.1007/978-3-319-50307-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616171
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50349-3">https://doi.org/10.1007/978-3-319-50349-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616246
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616247
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49583-5">https://doi.org/10.1007/978-3-319-49583-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:616249
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46675-0">https://doi.org/10.1007/978-3-319-46675-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616264
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bonakdarpour, Borzoo. editor. Petit, Franck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49259-9">https://doi.org/10.1007/978-3-319-49259-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structural Information and Communication Complexity 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616271
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Suomela, Jukka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48314-6">https://doi.org/10.1007/978-3-319-48314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616277
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 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-41000-5">https://doi.org/10.1007/978-3-319-41000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616285
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Goldberg, Andrew V. editor. Kulikov, Alexander S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38851-9">https://doi.org/10.1007/978-3-319-38851-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616292
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41114-9">https://doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616296
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45823-6">https://doi.org/10.1007/978-3-319-45823-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616357
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616992
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gao, Guang R. editor. Qian, Depei. editor. Gao, Xinbo. editor. Chapman, Barbara. editor. Chen, Wenguang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47099-3">https://doi.org/10.1007/978-3-319-47099-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617013
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40180-5">https://doi.org/10.1007/978-3-319-40180-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethics in Computing A Concise Module
ent://SD_ILS/0/SD_ILS:617386
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-29106-2">https://doi.org/10.1007/978-3-319-29106-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sports Science Research and Technology Support Third International Congress, icSPORTS 2015, Lisbon, Portugal, November 15-17, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617125
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cabri, Jan. editor. Pezarat Correia, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52770-3">https://doi.org/10.1007/978-3-319-52770-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Limits of Computation From a Programming Perspective
ent://SD_ILS/0/SD_ILS:617415
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Reus, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27889-6">https://doi.org/10.1007/978-3-319-27889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617139
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linguistic Linked Open Data 12th EUROLAN 2015 Summer School and RUMOUR 2015 Workshop, Sibiu, Romania, July 13-25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611456
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Trandabăţ, Diana. editor. Gîfu, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32942-0">https://doi.org/10.1007/978-3-319-32942-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611564
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612081
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Gergel, Victor. editor. Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Meyerov, Iosif. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49956-7">https://doi.org/10.1007/978-3-319-49956-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:612085
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42089-9">https://doi.org/10.1007/978-3-319-42089-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612086
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46672-9">https://doi.org/10.1007/978-3-319-46672-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management 7th International Joint Conference, IC3K 2015, Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612087
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Fred, Ana. editor. (orcid)0000-0003-1320-5024 Dietz, Jan L.G. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Liu, Kecheng. editor. Filipe, Joaquim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52758-1">https://doi.org/10.1007/978-3-319-52758-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Literacy: Key to an Inclusive Society 4th European Conference, ECIL 2016, Prague, Czech Republic, October 10-13, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612102
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kurbanoğlu, Serap. editor. (orcid)0000-0002-9561-9978 Boustany, Joumana. editor. (orcid)0000-0001-7015-4089 Špiranec, Sonja. editor. Grassian, Esther. editor. Mizrachi, Diane. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52162-6">https://doi.org/10.1007/978-3-319-52162-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612103
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. 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-39402-2">https://doi.org/10.1007/978-3-319-39402-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Trends in Information Technology and Computer Communications First International Conference, SmartCom 2016, Jaipur, India, August 6-7, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612105
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Unal, Aynur. editor. Nayak, Malaya. editor. Mishra, Durgesh Kumar. editor. Singh, Dharm. editor. Joshi, Amit. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3433-6">https://doi.org/10.1007/978-981-10-3433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Image and Graphics Technologies 11th Chinese Conference, IGTA 2016, Beijing, China, July 8-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612139
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Tan, Tieniu. editor. Wang, Guoping. editor. Wang, Shengjin. editor. Liu, Yue. editor. Yuan, Xiaoru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2260-9">https://doi.org/10.1007/978-981-10-2260-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Usability of Interactive TV 4th Iberoamerican Conference, jAUTI 2015, and 6th Congress on Interactive Digital TV, CTVDI 2015, Palma de Mallorca, Spain, October 15-16, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612172
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Abásolo, María José. editor. Perales, Francisco J. editor. Bibiloni, Antoni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38907-3">https://doi.org/10.1007/978-3-319-38907-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612288
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Libraries on the Move 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612485
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Calvanese, Diego. editor. De Nart, Dario. editor. Tasso, Carlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41938-1">https://doi.org/10.1007/978-3-319-41938-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612464
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30695-7">https://doi.org/10.1007/978-3-319-30695-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612663
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhu, Daming. editor. Bereg, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39817-4">https://doi.org/10.1007/978-3-319-39817-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611917
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Dediu, Adrian-Horia. editor. Janoušek, Jan. 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-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617035
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46079-6">https://doi.org/10.1007/978-3-319-46079-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617162
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46687-3">https://doi.org/10.1007/978-3-319-46687-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
ent://SD_ILS/0/SD_ILS:617519
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Oquendo, Flavio. author. Leite, Jair. author. Batista, Thaís. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44339-3">https://doi.org/10.1007/978-3-319-44339-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617882
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gaj, Piotr. editor. Kwiecień, Andrzej. editor. Stera, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39207-3">https://doi.org/10.1007/978-3-319-39207-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617884
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Bian, Fuling. editor. Xie, Yichun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49155-3">https://doi.org/10.1007/978-3-662-49155-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Immersive Learning Research Network Second International Conference, iLRN 2016 Santa Barbara, CA, USA, June 27 - July 1, 2016 Proceedings
ent://SD_ILS/0/SD_ILS:617891
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Allison, Colin. editor. Morgado, Leonel. editor. (orcid)0000-0001-5517-644X Pirker, Johanna. editor. Beck, Dennis. editor. (orcid)0000-0003-1771-3237 Richter, Jonathon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41769-1">https://doi.org/10.1007/978-3-319-41769-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:617892
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3611-8">https://doi.org/10.1007/978-981-10-3611-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:617898
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3614-9">https://doi.org/10.1007/978-981-10-3614-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617899
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Li, Lian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2209-8">https://doi.org/10.1007/978-981-10-2209-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617903
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. 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-50880-1">https://doi.org/10.1007/978-3-319-50880-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617904
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1019-4">https://doi.org/10.1007/978-981-10-1019-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:617909
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2669-0">https://doi.org/10.1007/978-981-10-2669-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery 12th International Conference, BDAS 2016, Ustroń, Poland, May 31 - June 3, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617912
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-34099-9">https://doi.org/10.1007/978-3-319-34099-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations for Community Services 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617874
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 Eichler, Gerald. editor. Erfurth, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49466-1">https://doi.org/10.1007/978-3-319-49466-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Connectivity - Social Impact 51st Annual Convention of the Computer Society of India, CSI 2016, Coimbatore, India, December 8-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617968
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Subramanian, S. editor. Nadarajan, R. editor. Rao, Shrisha. editor. Sheen, Shina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3274-5">https://doi.org/10.1007/978-981-10-3274-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618101
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Nehmeier, Marco. editor. Wolff von Gudenberg, Jürgen. editor. Tucker, Warwick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31769-4">https://doi.org/10.1007/978-3-319-31769-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618382
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40581-0">https://doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618347
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Sack, Harald. editor. Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 d'Aquin, Mathieu. editor. Ghidini, Chiara. editor. Ponzetto, Simone Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34129-3">https://doi.org/10.1007/978-3-319-34129-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:618411
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32152-3">https://doi.org/10.1007/978-3-319-32152-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in Schools: Improvement of Informatics Knowledge and Perception 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616834
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Brodnik, Andrej. editor. Tort, Françoise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46747-4">https://doi.org/10.1007/978-3-319-46747-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
ent://SD_ILS/0/SD_ILS:610688
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:617100
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Yang, Qing. editor. Yu, Wei. editor. Challal, Yacine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42836-9">https://doi.org/10.1007/978-3-319-42836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617070
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0356-1">https://doi.org/10.1007/978-981-10-0356-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to the History of Computing A Computing History Primer
ent://SD_ILS/0/SD_ILS:617462
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
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-33138-6">https://doi.org/10.1007/978-3-319-33138-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Supported Education 7th International Conference, CSEDU 2015, Lisbon, Portugal, May 23-25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617476
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zvacek, Susan. editor. Restivo, Maria Teresa. editor. Uhomoibhi, James. 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-29585-5">https://doi.org/10.1007/978-3-319-29585-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging trends in applications and infrastructures for computational biology, bioinformatics, and systems biology : systems and applications
ent://SD_ILS/0/SD_ILS:458812
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Tran, Quoc-Nam, editor. Arabnia, Hamid, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128042038">http://www.sciencedirect.com/science/book/9780128042038</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:615175
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Online Computation Determinism, Randomization, Advice
ent://SD_ILS/0/SD_ILS:617854
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Komm, Dennis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42749-2">https://doi.org/10.1007/978-3-319-42749-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Boolean Functions and Their Applications in Cryptography
ent://SD_ILS/0/SD_ILS:617119
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Wu, Chuan-Kun. author. Feng, Dengguo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48865-2">https://doi.org/10.1007/978-3-662-48865-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hidden Semi-Markov models : theory, algorithms and applications
ent://SD_ILS/0/SD_ILS:458642
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Yu, Shun-Zheng, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128027677">http://www.sciencedirect.com/science/book/9780128027677</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimizing the display and interpretation of data
ent://SD_ILS/0/SD_ILS:458645
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Warner, Robert A. (Robert Andrew), 1951- author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128045138">https://www.sciencedirect.com/science/book/9780128045138</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Dimensional Summarization in Cyber-Physical Society
ent://SD_ILS/0/SD_ILS:459234
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Zhuge, Hai.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128034552">https://www.sciencedirect.com/science/book/9780128034552</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Literacy : key to an Inclusive Society : 4th European Conference, ECIL 2016, Prague, Czech Republic, October 10-13, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:392808
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author European conference (4th : 2016 : Prague, Czech Republic) Kurbanoğlu, Serap.<br/>Preferred Shelf Number ZA3075 E99 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Directory of library automation software, systems, and services.
ent://SD_ILS/0/SD_ILS:79391
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Cibbarelli, Pamela R., ed. Information Today, Inc.<br/>Preferred Shelf Number Z678.9.A3 D6<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
ACM Communications.
ent://SD_ILS/0/SD_ILS:226216
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Association for Computing Machinery.<br/>Preferred Shelf Number ALFABETİK V.35 PART.2 1992<br/>Electronic Access <a href="http://dl.acm.org/citation.cfm?id=J79&picked=prox">Elektronik eri?im</a><br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~36 ~0<br/>
ACM Transactions on database systems.
ent://SD_ILS/0/SD_ILS:226217
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Association for Computing Machinery.<br/>Preferred Shelf Number ALFABETİK V.4 1979<br/>Electronic Access <a href="http://dl.acm.org/citation.cfm?id=J777&picked=prox">Elektronik eri?im</a><br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~12 ~0<br/>
Acta informatica.
ent://SD_ILS/0/SD_ILS:226235
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Preferred Shelf Number ALFABETİK V.12 1979<br/>Electronic Access <a href="http://www.springerlink.com/content/100460/?MUD=MP">Elektronik eri?im</a><br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~10 ~0<br/>
Data hiding techniques in Windows OS : a practical approach to investigation and defense
ent://SD_ILS/0/SD_ILS:459083
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hassan, Nihad Ahmad. Hijazi, Rami. Salminen, Helvi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128044490">http://www.sciencedirect.com/science/book/9780128044490</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear circuit theory : matrices in computer applications
ent://SD_ILS/0/SD_ILS:542161
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Vlach, Jiri, 1922- author.<br/>Preferred Shelf Number TK454<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429173660">https://www.taylorfrancis.com/books/9780429173660</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process-Driven SOA
ent://SD_ILS/0/SD_ILS:542614
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hentrich, Carsten, author. Zdun, Uwe, author. Safari, an O'Reilly Media Company.<br/>Preferred Shelf Number TK5105.5828<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429067105">https://www.taylorfrancis.com/books/9780429067105</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bilgisayar bilimine giriş
ent://SD_ILS/0/SD_ILS:380041
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Brookshear, J. Glenn Brylow, Dennis. Demirci, Birim Balcı.<br/>Preferred Shelf Number QA76 B744 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Algoritma geliştirme ve veri yapıları
ent://SD_ILS/0/SD_ILS:423083
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Çölkesen, Toros Rifat.<br/>Preferred Shelf Number QA76.9.D35 C64 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Artificial neural network for drug design, delivery and disposition
ent://SD_ILS/0/SD_ILS:458636
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Puri, Munish. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128015599">http://www.sciencedirect.com/science/book/9780128015599</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Shared memory application programming : concepts and strategies in multicore application programming
ent://SD_ILS/0/SD_ILS:458648
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Alessandrini, Victor, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128037614">http://www.sciencedirect.com/science/book/9780128037614</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Heterogeneous system architecture
ent://SD_ILS/0/SD_ILS:458653
2026-05-12T08:43:24Z
2026-05-12T08:43:24Z
Author Hwu, Wen-mei, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128003862">http://www.sciencedirect.com/science/book/9780128003862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>