Search Results for - Narrowed by: Computer science.

Futureshock : happenings in computer science

2026-01-13T16:48:16Z

Author Sequoiah-Grayson, Sebastian, 1975- editor.
Preferred Shelf Number Q335
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032702797 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

EMERGING TRENDS IN COMPUTER SCIENCE AND ITS APPLICATION

2026-01-13T16:48:16Z

Author Tiwari, Anurag. Darbari, Manuj.
Preferred Shelf Number QA76
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003606635 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Intelligent systems of computing and informatics

2026-01-13T16:48:16Z

Author Karim, Samsul Ariffin Abdul, editor.
Preferred Shelf Number Q335
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003400387 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

FOUNDATIONS OF DATA SCIENCE WITH PYTHON

2026-01-13T16:48:16Z

Author Shea, John M.
Preferred Shelf Number QA76
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003324997 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

2026-01-13T16:48:16Z

Author Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4815-2
Format: Electronic Resources
Availability Online Library~1

Learning in the Age of Digital and Green Transition Proceedings of the 25th International Conference on Interactive Collaborative Learning (ICL2022), Volume 1

2026-01-13T16:48:16Z

Author Auer, Michael E. editor. Pachatz, Wolfgang. editor. Rüütmann, Tiia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26876-2
Format: Electronic Resources
Availability Online Library~1

Fourier Optics and Computational Imaging

2026-01-13T16:48:16Z

Author Khare, Kedar. author. Butola, Mansi. author. Rajora, Sunaina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-18353-9
Format: Electronic Resources
Availability Online Library~1

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2026-01-13T16:48:16Z

Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6990-4
Format: Electronic Resources
Availability Online Library~1

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2026-01-13T16:48:16Z

Author Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42034-4
Format: Electronic Resources
Availability Online Library~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-01-13T16:48:16Z

Author Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35755-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Defect Prediction

2026-01-13T16:48:16Z

Author Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2842-2
Format: Electronic Resources
Availability Online Library~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2026-01-13T16:48:16Z

Author Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28859-3
Format: Electronic Resources
Availability Online Library~1

Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits

2026-01-13T16:48:16Z

Author Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4017-0
Format: Electronic Resources
Availability Online Library~1

Handbook of Model-Based Systems Engineering

2026-01-13T16:48:16Z

Author Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-93582-5
Format: Electronic Resources
Availability Online Library~1

Information is Energy Definition of a physically based concept of information

2026-01-13T16:48:16Z

Author Pagel, Lienhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-40862-6
Format: Electronic Resources
Availability Online Library~1

A gentle introduction to scientific computing

2026-01-13T16:48:16Z

Author Stanescu, Dan, 1982- author.
Preferred Shelf Number QA297
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429262876 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to bioinformatics and clinical scientific computing

2026-01-13T16:48:16Z

Author Ganney, Paul, author.
Preferred Shelf Number QA76
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003316244 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Programlama dillerinin prensipleri : mantığı kavra, işleyişi öğren, kodu yaz

2026-01-13T16:48:16Z

Author Yumuşak, Nejat. Adak, M. Fatih.
Preferred Shelf Number QA76.73.Y86 P76 2021
Format: Books
Availability Beytepe Library~2

Data Science Without Makeup : A Guidebook for End-Users, Analysts, and Managers.

2026-01-13T16:48:16Z

Author Zhilkin, Mikhail.
Preferred Shelf Number QA76.9 .D32 Z455 2021
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003057420 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Electromagnetism for signal processing, spectroscopy and contemporary computing : fundamentals and applications

2026-01-13T16:48:16Z

Author Shah, Khurshed Ahmad. Kumbhani, Brijesh. Garcia-Sanchez, Raul F. Misra, Prabhakar, 1955-
Preferred Shelf Number QC760
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003213468 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

R uygulamalı yeniden örnekleme teknikleri

2026-01-13T16:48:16Z

Author Cebeci, Zeynel.
Preferred Shelf Number QA75.5 C43 2020
Format: Books
Availability Beytepe Library~1

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

2026-01-13T16:48:16Z

Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05767-1
Format: Electronic Resources
Availability Online Library~1

Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Tonin, Graziela Simone. editor. Estácio, Bernardo. editor. Goldman, Alfredo. editor. Guerra, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14310-7
Format: Electronic Resources
Availability Online Library~1

Big Scientific Data Management First International Conference, BigSDM 2018, Beijing, China, November 30 – December 1, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Li, Jianhui. editor. Meng, Xiaofeng. editor. Zhang, Ying. editor. Cui, Wenjuan. editor. Du, Zhihui. editor. (orcid)0000-0002-8435-1611
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28061-1
Format: Electronic Resources
Availability Online Library~1

Becoming a data-driven Organisation Unlock the value of data

2026-01-13T16:48:16Z

Author Treder, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60304-8
Format: Electronic Resources
Availability Online Library~1

Managed Software Evolution

2026-01-13T16:48:16Z

Author Reussner, Ralf. editor. Goedicke, Michael. editor. Hasselbring, Wilhelm. editor. Vogel-Heuser, Birgit. editor. Keim, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources
Availability Online Library~1

New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9190-3
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2026-01-13T16:48:16Z

Author Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34500-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II

2026-01-13T16:48:16Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34621-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence versus Human Intelligence Are Humans Going to Be Hacked?

2026-01-13T16:48:16Z

Author Lexcellent, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21445-6
Format: Electronic Resources
Availability Online Library~1

Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21–24, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Kotlarsky, Julia. editor. (orcid)0000-0002-1478-549X Oshri, Ilan. editor. (orcid)0000-0001-6577-1795 Willcocks, Leslie. editor. (orcid)0000-0003-2572-9554 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15850-7
Format: Electronic Resources
Availability Online Library~1

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5910-1
Format: Electronic Resources
Availability Online Library~1

Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers

2026-01-13T16:48:16Z

Author Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362 Rocha, Carla. editor. (orcid)0000-0003-3102-5166 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36701-5
Format: Electronic Resources
Availability Online Library~1

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

2026-01-13T16:48:16Z

Author Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93488-4
Format: Electronic Resources
Availability Online Library~1

Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1718-1
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2026-01-13T16:48:16Z

Author Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19034-7
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2026-01-13T16:48:16Z

Author England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Software Engineering

2026-01-13T16:48:16Z

Author Cha, Sungdeok. editor. Taylor, Richard N. editor. Kang, Kyochul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00262-6
Format: Electronic Resources
Availability Online Library~1

Role Competency Matrix A Step-By-Step Guide to an Objective Competency Management System

2026-01-13T16:48:16Z

Author Kuruba, Mahesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7972-7
Format: Electronic Resources
Availability Online Library~1

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2026-01-13T16:48:16Z

Author Liu, Hu-Chen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6366-5
Format: Electronic Resources
Availability Online Library~1

Historical Studies in Computing, Information, and Society Insights from the Flatiron Lectures

2026-01-13T16:48:16Z

Author Aspray, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18955-6
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management in the Digital Twin Era 16th IFIP WG 5.1 International Conference, PLM 2019, Moscow, Russia, July 8–12, 2019, Revised Selected Papers

2026-01-13T16:48:16Z

Author Fortin, Clement. editor. Rivest, Louis. editor. Bernard, Alain. editor. (orcid)0000-0002-7037-2980 Bouras, Abdelaziz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-42250-9
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2026-01-13T16:48:16Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

Bits on Chips

2026-01-13T16:48:16Z

Author Veendrick, Harry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76096-4
Format: Electronic Resources
Availability Online Library~1

Advances in Information Systems Development Designing Digitalization

2026-01-13T16:48:16Z

Author Andersson, Bo. editor. Johansson, Björn. editor. Barry, Chris. editor. (orcid)0000-0002-3664-8429 Lang, Michael. editor. (orcid)0000-0001-7961-2285 Linger, Henry. editor. (orcid)0000-0002-0400-1786
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22993-1
Format: Electronic Resources
Availability Online Library~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2026-01-13T16:48:16Z

Author Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources
Availability Online Library~1

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2026-01-13T16:48:16Z

Author Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33742-1
Format: Electronic Resources
Availability Online Library~1

Information Literacy in Everyday Life 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Kurbanoğlu, Serap. editor. Špiranec, Sonja. editor. Ünal, Yurdagül. editor. Boustany, Joumana. editor. Huotari, Maija Leena. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13472-3
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2026-01-13T16:48:16Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2026-01-13T16:48:16Z

Author Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30126-2
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Beyah, Raheem. editor. Chang, Bing. editor. Li, Yingjiu. editor. Zhu, Sencun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01701-9
Format: Electronic Resources
Availability Online Library~1

Entity-Oriented Search

2026-01-13T16:48:16Z

Author Balog, Krisztian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93935-3
Format: Electronic Resources
Availability Online Library~1

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

2026-01-13T16:48:16Z

Author Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99136-8
Format: Electronic Resources
Availability Online Library~1

Mechatronics for Cultural Heritage and Civil Engineering

2026-01-13T16:48:16Z

Author Ottaviano, Erika. editor. Pelliccio, Assunta. editor. Gattulli, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68646-2
Format: Electronic Resources
Availability Online Library~1

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93399-3
Format: Electronic Resources
Availability Online Library~1

Applied Scientific Computing With Python

2026-01-13T16:48:16Z

Author Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89575-8
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2026-01-13T16:48:16Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

Interrupt Handling Schemes in Operating Systems

2026-01-13T16:48:16Z

Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources
Availability Online Library~1

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

2026-01-13T16:48:16Z

Author Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01141-3
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2026-01-13T16:48:16Z

Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Beyah, Raheem. editor. Chang, Bing. editor. Li, Yingjiu. editor. Zhu, Sencun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01704-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXXI

2026-01-13T16:48:16Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Richard. editor. Mercik, Jacek. editor. Motylska-Kuźma, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58464-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-01-13T16:48:16Z

Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources
Availability Online Library~1

Algorithms for Functional Programming

2026-01-13T16:48:16Z

Author Stone, John David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57970-1
Format: Electronic Resources
Availability Online Library~1

Towards Extensible and Adaptable Methods in Computing

2026-01-13T16:48:16Z

Author Chakraverty, Shampa. editor. Goel, Anil. editor. Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2348-5
Format: Electronic Resources
Availability Online Library~1

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

2026-01-13T16:48:16Z

Author Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05171-6
Format: Electronic Resources
Availability Online Library~1

Guide to Programming for the Digital Humanities Lessons for Introductory Python

2026-01-13T16:48:16Z

Author Kokensparger, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99115-3
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2026-01-13T16:48:16Z

Author Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources
Availability Online Library~1

Internet Science 5th International Conference, INSCI 2018, St. Petersburg, Russia, October 24–26, 2018, Proceedings

2026-01-13T16:48:16Z

Author Bodrunova, Svetlana S. editor. (orcid)0000-0003-0740-561X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01437-7
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2026-01-13T16:48:16Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources
Availability Online Library~1

Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Münster, Sander. editor. (orcid)0000-0001-9344-912X Friedrichs, Kristina. editor. Niebling, Florian. editor. Seidel-Grzesińska, Agnieszka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76992-9
Format: Electronic Resources
Availability Online Library~1

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

2026-01-13T16:48:16Z

Author Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04612-5
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2026-01-13T16:48:16Z

Author Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources
Availability Online Library~1

Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings

2026-01-13T16:48:16Z

Author Younas, Muhammad. editor. Awan, Irfan. editor. Ghinea, George. editor. Catalan Cid, Marisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97163-6
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2026-01-13T16:48:16Z

Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources
Availability Online Library~1

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2026-01-13T16:48:16Z

Author Mehta, Ashok B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59418-7
Format: Electronic Resources
Availability Online Library~1

Digital Marketplaces Unleashed

2026-01-13T16:48:16Z

Author Linnhoff-Popien, Claudia. editor. Schneider, Ralf. editor. Zaddach, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49275-8
Format: Electronic Resources
Availability Online Library~1

Advanced Topics in Nonsmooth Dynamics Transactions of the European Network for Nonsmooth Dynamics

2026-01-13T16:48:16Z

Author Leine, Remco. editor. Acary, Vincent. editor. Brüls, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75972-2
Format: Electronic Resources
Availability Online Library~1

Human and Machine Learning Visible, Explainable, Trustworthy and Transparent

2026-01-13T16:48:16Z

Author Zhou, Jianlong. editor. Chen, Fang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90403-0
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings

2026-01-13T16:48:16Z

Author Preneel, Bart. editor. (orcid)0000-0003-2005-9651 Vercauteren, Frederik. editor. (orcid)0000-0002-7208-9599 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93387-0
Format: Electronic Resources
Availability Online Library~1

Privacy and Identity Management. The Smart Revolution 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Hansen, Marit. editor. Kosta, Eleni. editor. Nai-Fovino, Igor. editor. Fischer-Hübner, Simone. editor. (orcid)0000-0002-6938-4466 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92925-5
Format: Electronic Resources
Availability Online Library~1

Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I

2026-01-13T16:48:16Z

Author Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8657-1
Format: Electronic Resources
Availability Online Library~1

Interactivity, Game Creation, Design, Learning, and Innovation 6th International Conference, ArtsIT 2017, and Second International Conference, DLI 2017, Heraklion, Crete, Greece, October 30–31, 2017, Proceedings

2026-01-13T16:48:16Z

Author Brooks, Anthony L. editor. Brooks, Eva. editor. (orcid)0000-0001-7286-0876 Vidakis, Nikolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76908-0
Format: Electronic Resources
Availability Online Library~1

Mobile Computing, Applications, and Services 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 – March 2, 2018, Proceedings

2026-01-13T16:48:16Z

Author Murao, Kazuya. editor. Ohmura, Ren. editor. Inoue, Sozo. editor. Gotoh, Yusuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90740-6
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2026-01-13T16:48:16Z

Author Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92675-9
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93815-8
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Hammoudi, Slimane. editor. Śmiałek, Michał. editor. Camp, Olivier. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93375-7
Format: Electronic Resources
Availability Online Library~1

Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers

2026-01-13T16:48:16Z

Author Vetulani, Zygmunt. editor. Mariani, Joseph. editor. Kubis, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93782-3
Format: Electronic Resources
Availability Online Library~1

Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings

2026-01-13T16:48:16Z

Author Guidi, Barbara. editor. Ricci, Laura. editor. Calafate, Carlos. editor. Gaggi, Ombretta. editor. Marquez-Barja, Johann. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76111-4
Format: Electronic Resources
Availability Online Library~1

Integrated Uncertainty in Knowledge Modelling and Decision Making 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings

2026-01-13T16:48:16Z

Author Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Inuiguchi, Masahiro. editor. Tran, Dang Hung. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75429-1
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings

2026-01-13T16:48:16Z

Author Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89743-1
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 18th International Conference, WISA 2017, Jeju Island, Korea, August 24-26, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Kang, Brent ByungHoon. editor. (orcid)0000-0001-8984-1006 Kim, Taesoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93563-8
Format: Electronic Resources
Availability Online Library~1

CABology: Value of Cloud, Analytics and Big Data Trio Wave

2026-01-13T16:48:16Z

Author Upadhyay, Nitin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8675-5
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

2026-01-13T16:48:16Z

Author Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93411-2
Format: Electronic Resources
Availability Online Library~1

Project Management at the Edge of Chaos Social Techniques for Complex Systems

2026-01-13T16:48:16Z

Author Oswald, Alfred. author. Köhler, Jens. author. Schmitt, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48261-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Entertainment Technology 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings

2026-01-13T16:48:16Z

Author Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339 Inami, Masahiko. editor. Romão, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76270-8
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78133-4
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

2026-01-13T16:48:16Z

Author Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77583-8
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2026-01-13T16:48:16Z

Author Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77243-1
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77398-8
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2026-01-13T16:48:16Z

Author Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 23rd Australasian Conference, ACISP 2018, Wollongong, NSW, Australia, July 11-13, 2018, Proceedings

2026-01-13T16:48:16Z

Author Susilo, Willy. editor. (orcid)0000-0002-1562-5105 Yang, Guomin. editor. (orcid)0000-0002-4949-7738 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93638-3
Format: Electronic Resources
Availability Online Library~1

e-Learning, e-Education, and Online Training 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings

2026-01-13T16:48:16Z

Author Liu, Shuai. editor. (orcid)0000-0001-9909-0664 Glowatz, Matt. editor. Zappatore, Marco. editor. Gao, Honghao. editor. Jia, Bing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93719-9
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Arai, Sachiyo. editor. Kojima, Kazuhiro. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. Satoh, Ken. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93794-6
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94277-3
Format: Electronic Resources
Availability Online Library~1

Trust Management XII 12th IFIP WG 11.11 International Conference, IFIPTM 2018, Toronto, ON, Canada, July 10–13, 2018, Proceedings

2026-01-13T16:48:16Z

Author Gal-Oz, Nurit. editor. Lewis, Peter R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95276-5
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Imine, Abdessamad. editor. Fernandez, José M. editor. (orcid)0000-0001-9836-3595 Marion, Jean-Yves. editor. Logrippo, Luigi. editor. (orcid)0000-0001-8804-0450 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75650-9
Format: Electronic Resources
Availability Online Library~1

Breaking Down Barriers Usability, Accessibility and Inclusive Design

2026-01-13T16:48:16Z

Author Langdon, Pat. editor. Lazar, Jonathan. editor. Heylighen, Ann. editor. Dong, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75028-6
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient Smart Temperature Sensors in CMOS Technology

2026-01-13T16:48:16Z

Author Souri, Kamran. author. Makinwa, Kofi A.A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62307-8
Format: Electronic Resources
Availability Online Library~1

Low-Power Design and Power-Aware Verification

2026-01-13T16:48:16Z

Author Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources
Availability Online Library~1

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Filipe, Joaquim. editor. Bernardino, Jorge. editor. Quix, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2026-01-13T16:48:16Z

Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources
Availability Online Library~1

Innovation and Interdisciplinary Solutions for Underserved Areas First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11–12, 2017, Proceedings

2026-01-13T16:48:16Z

Author M. F. Kebe, Cheikh. editor. Gueye, Assane. editor. Ndiaye, Ababacar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72965-7
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance

2026-01-13T16:48:16Z

Author Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69224-1
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2026-01-13T16:48:16Z

Author Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources
Availability Online Library~1

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2026-01-13T16:48:16Z

Author Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97136-0
Format: Electronic Resources
Availability Online Library~1

e-Infrastructure and e-Services for Developing Countries 9th International Conference, AFRICOMM 2017, Lagos, Nigeria, December 11-12, 2017, Proceedings

2026-01-13T16:48:16Z

Author Odumuyiwa, Victor. editor. Adegboyega, Ojo. editor. Uwadia, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98827-6
Format: Electronic Resources
Availability Online Library~1

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

2026-01-13T16:48:16Z

Author Louis, Pierre-Yves. editor. Nardi, Francesca R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65558-1
Format: Electronic Resources
Availability Online Library~1

Online Harassment

2026-01-13T16:48:16Z

Author Golbeck, Jennifer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78583-7
Format: Electronic Resources
Availability Online Library~1

Concept Invention Foundations, Implementation, Social Aspects and Applications

2026-01-13T16:48:16Z

Author Confalonieri, Roberto. editor. Pease, Alison. editor. Schorlemmer, Marco. editor. Besold, Tarek R. editor. Kutz, Oliver. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65602-1
Format: Electronic Resources
Availability Online Library~1

Nonsymmetric Operads in Combinatorics

2026-01-13T16:48:16Z

Author Giraudo, Samuele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02074-3
Format: Electronic Resources
Availability Online Library~1

Innovations in Wave Processes Modelling and Decision Making Grid-Characteristic Method and Applications

2026-01-13T16:48:16Z

Author Favorskaya, Alena V. editor. Petrov, Igor B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76201-2
Format: Electronic Resources
Availability Online Library~1

IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings

2026-01-13T16:48:16Z

Author Lin, Yi-Bing. editor. Deng, Der-Jiunn. editor. You, Ilsun. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00410-1
Format: Electronic Resources
Availability Online Library~1

Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings

2026-01-13T16:48:16Z

Author Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01313-4
Format: Electronic Resources
Availability Online Library~1

Serious Games 4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings

2026-01-13T16:48:16Z

Author Göbel, Stefan. editor. Garcia-Agundez, Augusto. editor. Tregel, Thomas. editor. Ma, Minhua. editor. (orcid)0000-0001-7451-546X Baalsrud Hauge, Jannicke. editor. (orcid)0000-0002-3747-0845
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02762-9
Format: Electronic Resources
Availability Online Library~1

Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

2026-01-13T16:48:16Z

Author Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99734-6
Format: Electronic Resources
Availability Online Library~1

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

2026-01-13T16:48:16Z

Author Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05764-0
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Approaches to Neural Computing

2026-01-13T16:48:16Z

Author Esposito, Anna. editor. Faudez-Zanuy, Marcos. editor. Morabito, Francesco Carlo. editor. Pasero, Eros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56904-8
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors in Cybersecurity Proceedings of the AHFE 2017 International Conference on Human Factors in Cybersecurity, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-01-13T16:48:16Z

Author Nicholson, Denise. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60585-2
Format: Electronic Resources
Availability Online Library~1

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

2026-01-13T16:48:16Z

Author Bender, Michael A. editor. Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788 Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77404-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2026-01-13T16:48:16Z

Author Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94812-6
Format: Electronic Resources
Availability Online Library~1

Electronic Government 17th IFIP WG 8.5 International Conference, EGOV 2018, Krems, Austria, September 3-5, 2018, Proceedings

2026-01-13T16:48:16Z

Author Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Glassey, Olivier. editor. (orcid)0000-0001-8795-0591 Janssen, Marijn. editor. Scholl, Hans Jochen. editor. Tambouris, Efthimios. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98690-6
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

2026-01-13T16:48:16Z

Author Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97676-1
Format: Electronic Resources
Availability Online Library~1

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

2026-01-13T16:48:16Z

Author de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98521-3
Format: Electronic Resources
Availability Online Library~1

Usability, Accessibility and Ambient Assisted Living

2026-01-13T16:48:16Z

Author Queirós, Alexandra. editor. Rocha, Nelson Pacheco da. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91226-4
Format: Electronic Resources
Availability Online Library~1

Emotional Engineering, Vol. 6 Understanding Motivation

2026-01-13T16:48:16Z

Author Fukuda, Shuichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70802-7
Format: Electronic Resources
Availability Online Library~1

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Smith, Ian F. C. editor. Domer, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2026-01-13T16:48:16Z

Author Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2026-01-13T16:48:16Z

Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99972-2
Format: Electronic Resources
Availability Online Library~1

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

2026-01-13T16:48:16Z

Author Usman, Muhammad. author. Muthukkumarasamy, Vallipuram. author. Wu, Xin-Wen. author. Khanum, Surraya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7467-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2026-01-13T16:48:16Z

Author Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources
Availability Online Library~1

Graph Data Management Fundamental Issues and Recent Developments

2026-01-13T16:48:16Z

Author Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96193-4
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

2026-01-13T16:48:16Z

Author d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00338-8
Format: Electronic Resources
Availability Online Library~1

Connectomics in NeuroImaging Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2026-01-13T16:48:16Z

Author Wu, Guorong. editor. Rekik, Islem. editor. Schirmer, Markus D. editor. Chung, Ai Wern. editor. (orcid)0000-0002-0905-6698 Munsell, Brent. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00755-3
Format: Electronic Resources
Availability Online Library~1

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2026-01-13T16:48:16Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Ferrante, Enzo. editor. (orcid)0000-0002-8500-788X Dalca, Adrian V. editor. (orcid)0000-0002-8422-0136 Martel, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00689-1
Format: Electronic Resources
Availability Online Library~1

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2026-01-13T16:48:16Z

Author Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources
Availability Online Library~1

Family History Digital Libraries

2026-01-13T16:48:16Z

Author Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01063-8
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2026-01-13T16:48:16Z

Author Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97628-0
Format: Electronic Resources
Availability Online Library~1

Applied Informatics First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings

2026-01-13T16:48:16Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Diaz, Cesar. editor. (orcid)0000-0002-9132-2747 Chavarriaga, Jaime. editor. (orcid)0000-0002-8372-667X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01535-0
Format: Electronic Resources
Availability Online Library~1

Museum Experience Design Crowds, Ecosystems and Novel Technologies

2026-01-13T16:48:16Z

Author Vermeeren, Arnold. editor. Calvi, Licia. editor. Sabiescu, Amalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58550-5
Format: Electronic Resources
Availability Online Library~1

Personal Multimedia Preservation Remembering or Forgetting Images and Video

2026-01-13T16:48:16Z

Author Mezaris, Vasileios. editor. Niederée, Claudia. editor. Logie, Robert H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73465-1
Format: Electronic Resources
Availability Online Library~1

The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered

2026-01-13T16:48:16Z

Author Aiello, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90008-7
Format: Electronic Resources
Availability Online Library~1

Developing Support Technologies Integrating Multiple Perspectives to Create Assistance that People Really Want

2026-01-13T16:48:16Z

Author Karafillidis, Athanasios. editor. Weidner, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01836-8
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2026-01-13T16:48:16Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources
Availability Online Library~1

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96271-9
Format: Electronic Resources
Availability Online Library~1

Maturity and Innovation in Digital Libraries 20th International Conference on Asia-Pacific Digital Libraries, ICADL 2018, Hamilton, New Zealand, November 19-22, 2018, Proceedings

2026-01-13T16:48:16Z

Author Dobreva, Milena. editor. (orcid)0000-0002-2579-7541 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Žumer, Maja. editor. (orcid)0000-0002-3756-7524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04257-8
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

2026-01-13T16:48:16Z

Author Kameas, Achilles. editor. (orcid)0000-0002-1004-7860 Stathis, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03062-9
Format: Electronic Resources
Availability Online Library~1

Learning Java with Games

2026-01-13T16:48:16Z

Author Xu, Chong-wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72886-5
Format: Electronic Resources
Availability Online Library~1

Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Wang, Yongtian. editor. Jiang, Zhiguo. editor. Peng, Yuxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1702-6
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2026-01-13T16:48:16Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2026-01-13T16:48:16Z

Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources
Availability Online Library~1

Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings

2026-01-13T16:48:16Z

Author Ichise, Ryutaro. editor. Lecue, Freddy. editor. Kawamura, Takahiro. editor. Zhao, Dongyan. editor. Muggleton, Stephen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04284-4
Format: Electronic Resources
Availability Online Library~1

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2026-01-13T16:48:16Z

Author Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94418-0
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources
Availability Online Library~1

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2026-01-13T16:48:16Z

Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources
Availability Online Library~1

Computer Simulations of Space Societies

2026-01-13T16:48:16Z

Author Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90560-0
Format: Electronic Resources
Availability Online Library~1

Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings

2026-01-13T16:48:16Z

Author Li, Hongxiu. editor. Pálsdóttir, Ágústa. editor. Trill, Roland. editor. Suomi, Reima. editor. Amelina, Yevgeniya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97931-1
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2026-01-13T16:48:16Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Science of Cyber Security First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Liu, Feng. editor. Xu, Shouhuai. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03026-1
Format: Electronic Resources
Availability Online Library~1

Secure IT Systems 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings

2026-01-13T16:48:16Z

Author Gruschka, Nils. editor. (orcid)0000-0001-7360-8314 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03638-6
Format: Electronic Resources
Availability Online Library~1

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

2026-01-13T16:48:16Z

Author Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91671-2
Format: Electronic Resources
Availability Online Library~1

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

2026-01-13T16:48:16Z

Author Cremers, Cas. editor. (orcid)0000-0003-0322-2293 Lehmann, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04762-7
Format: Electronic Resources
Availability Online Library~1

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2026-01-13T16:48:16Z

Author Dinur, Itai. editor. Dolev, Shlomi. editor. Lodha, Sachin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources
Availability Online Library~1

Narrating Complexity

2026-01-13T16:48:16Z

Author Walsh, Richard. editor. Stepney, Susan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64714-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources
Availability Online Library~1

Systems Programming in Unix/Linux

2026-01-13T16:48:16Z

Author Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources
Availability Online Library~1

Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

2026-01-13T16:48:16Z

Author Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98113-0
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

2026-01-13T16:48:16Z

Author Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00256-5
Format: Electronic Resources
Availability Online Library~1

Secure Networked Inference with Unreliable Data Sources

2026-01-13T16:48:16Z

Author Vempaty, Aditya. author. Kailkhura, Bhavya. author. Varshney, Pramod K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2312-6
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94274-2
Format: Electronic Resources
Availability Online Library~1

Computers Supported Education 9th International Conference, CSEDU 2017, Porto, Portugal, April 21-23, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Escudeiro, Paula. editor. Costagliola, Gennaro. editor. Zvacek, Susan. editor. Uhomoibhi, James. editor. McLaren, Bruce M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94640-5
Format: Electronic Resources
Availability Online Library~1

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

2026-01-13T16:48:16Z

Author Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63973-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education 19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Penstein Rosé, Carolyn. editor. Martínez-Maldonado, Roberto. editor. Hoppe, H. Ulrich. editor. Luckin, Rose. editor. Mavrikis, Manolis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93843-1
Format: Electronic Resources
Availability Online Library~1

Studies in Conversational UX Design

2026-01-13T16:48:16Z

Author Moore, Robert J. editor. Szymanski, Margaret H. editor. Arar, Raphael. editor. Ren, Guang-Jie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95579-7
Format: Electronic Resources
Availability Online Library~1

Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

2026-01-13T16:48:16Z

Author Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99426-0
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

2026-01-13T16:48:16Z

Author Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Herrera-Joancomartí, Jordi. editor. (orcid)0000-0002-4935-4681 Livraga, Giovanni. editor. (orcid)0000-0003-2661-8573 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00305-0
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings

2026-01-13T16:48:16Z

Author Bailey, Michael. editor. Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00470-5
Format: Electronic Resources
Availability Online Library~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2026-01-13T16:48:16Z

Author Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91155-7
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93644-4
Format: Electronic Resources
Availability Online Library~1

Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach

2026-01-13T16:48:16Z

Author Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98524-4
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings

2026-01-13T16:48:16Z

Author Negi, Atul. editor. (orcid)0000-0001-5707-130X Bhatnagar, Raj. editor. Parida, Laxmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72344-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources
Availability Online Library~1

Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings

2026-01-13T16:48:16Z

Author Beck, Dennis. editor. Allison, Colin. editor. Morgado, Leonel. editor. Pirker, Johanna. editor. Peña-Rios, Anasol. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93596-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings

2026-01-13T16:48:16Z

Author Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04191-5
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91238-7
Format: Electronic Resources
Availability Online Library~1

Trust, Privacy and Security in Digital Business 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5–6, 2018, Proceedings

2026-01-13T16:48:16Z

Author Furnell, Steven. editor. (orcid)0000-0003-0984-7542 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Pernul, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98385-1
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

2026-01-13T16:48:16Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97595-5
Format: Electronic Resources
Availability Online Library~1

This Changes Everything – ICT and Climate Change: What Can We Do? 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19–21, 2018, Proceedings

2026-01-13T16:48:16Z

Author Kreps, David. editor. Ess, Charles. editor. Leenen, Louise. editor. Kimppa, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99605-9
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73441-5
Format: Electronic Resources
Availability Online Library~1

Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers

2026-01-13T16:48:16Z

Author Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Wardaszko, Marcin. editor. (orcid)0000-0001-5411-7894 Leigh, Elyssebeth. editor. (orcid)0000-0001-6887-1388 Meijer, Sebastiaan. editor. (orcid)0000-0003-1126-3781 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78795-4
Format: Electronic Resources
Availability Online Library~1

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2026-01-13T16:48:16Z

Author Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95246-8
Format: Electronic Resources
Availability Online Library~1

Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks

2026-01-13T16:48:16Z

Author Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99492-5
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02671-4
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection XII 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04537-1
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-01-13T16:48:16Z

Author Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources
Availability Online Library~1

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2026-01-13T16:48:16Z

Author Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99253-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

2026-01-13T16:48:16Z

Author Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98833-7
Format: Electronic Resources
Availability Online Library~1

Models of Computation for Big Data

2026-01-13T16:48:16Z

Author Akerkar, Rajendra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91851-8
Format: Electronic Resources
Availability Online Library~1

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2026-01-13T16:48:16Z

Author Weichslgartner, Andreas. author. Wildermann, Stefan. author. Glaß, Michael. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7356-4
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

2026-01-13T16:48:16Z

Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Morita, Plinio P. editor. (orcid)0000-0001-9515-6478 Burns, Catherine M. editor. (orcid)0000-0002-6182-958X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78978-1
Format: Electronic Resources
Availability Online Library~1

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2026-01-13T16:48:16Z

Author Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

2026-01-13T16:48:16Z

Author Kováčiková, Tatiana. editor. Buzna, Ľuboš. editor. Pourhashem, Ghadir. editor. Lugano, Giuseppe. editor. Cornet, Yannick. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93710-6
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Applications of Computational and Fuzzy Mathematics

2026-01-13T16:48:16Z

Author Chakraverty, Snehashish. editor. Perera, Sanjeewa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1153-6
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92049-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2026-01-13T16:48:16Z

Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources
Availability Online Library~1

Advances in Affective and Pleasurable Design Proceedings of the AHFE 2017 International Conference on Affective and Pleasurable Design, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-01-13T16:48:16Z

Author Chung, WonJoon. editor. Shin, Cliff Sungsoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60495-4
Format: Electronic Resources
Availability Online Library~1

Biomechanical Biofeedback Systems and Applications

2026-01-13T16:48:16Z

Author Kos, Anton. author. Umek, Anton. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91349-0
Format: Electronic Resources
Availability Online Library~1

Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech

2026-01-13T16:48:16Z

Author Datta, Asoke Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7016-7
Format: Electronic Resources
Availability Online Library~1

Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56343-4
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2026-01-13T16:48:16Z

Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources
Availability Online Library~1

International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016

2026-01-13T16:48:16Z

Author Reddy, M. Sreenivasa. editor. Viswanath, K. editor. K.M., Shiva Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5272-9
Format: Electronic Resources
Availability Online Library~1

Reconfigurable Cryptographic Processor

2026-01-13T16:48:16Z

Author Liu, Leibo. author. Wang, Bo. author. Wei, Shaojun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8899-5
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors in Wearable Technologies and Game Design Proceedings of the AHFE 2017 International Conference on Advances in Human Factors and Wearable Technologies, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-01-13T16:48:16Z

Author Ahram, Tareq. editor. Falcão, Christianne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60639-2
Format: Electronic Resources
Availability Online Library~1

Theory of Elastic Oscillations Equations and Methods

2026-01-13T16:48:16Z

Author Fridman, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4786-2
Format: Electronic Resources
Availability Online Library~1

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries Third International Workshop, BrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Crimi, Alessandro. editor. Bakas, Spyridon. editor. (orcid)0000-0001-8734-6482 Kuijf, Hugo. editor. Menze, Bjoern. editor. Reyes, Mauricio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75238-9
Format: Electronic Resources
Availability Online Library~1

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2026-01-13T16:48:16Z

Author Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7656-5
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

2026-01-13T16:48:16Z

Author Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89500-0
Format: Electronic Resources
Availability Online Library~1

Computational Kinematics Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017

2026-01-13T16:48:16Z

Author Zeghloul, Saïd. editor. Romdhane, Lotfi. editor. Laribi, Med Amine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60867-9
Format: Electronic Resources
Availability Online Library~1

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

2026-01-13T16:48:16Z

Author Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72814-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2026-01-13T16:48:16Z

Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources
Availability Online Library~1

Predicting User Performance and Errors Automated Usability Evaluation Through Computational Introspection of Model-Based User Interfaces

2026-01-13T16:48:16Z

Author Halbrügge, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60369-8
Format: Electronic Resources
Availability Online Library~1

Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336 Rajamanickam, Venkatesh. editor. Dannenmann, Peter. editor. (orcid)0000-0002-9720-926X Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92081-8
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2026-01-13T16:48:16Z

Author Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

2026-01-13T16:48:16Z

Author Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91464-0
Format: Electronic Resources
Availability Online Library~1

Computational Approaches in the Transfer of Aesthetic Values from Paintings to Photographs Beyond Red, Green and Blue

2026-01-13T16:48:16Z

Author Zhang, Xiaoyan. author. Constable, Martin. author. Chan, Kap Luk. author. Yu, Jinze. author. Junyan, Wang. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3561-6
Format: Electronic Resources
Availability Online Library~1

The Electric Century How the Taming of Lightning Shaped the Modern World

2026-01-13T16:48:16Z

Author Williams, J.B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51155-9
Format: Electronic Resources
Availability Online Library~1

Fog Computing in the Internet of Things Intelligence at the Edge

2026-01-13T16:48:16Z

Author Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57639-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systems

2026-01-13T16:48:16Z

Author Mahmoud, Magdi S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54954-5
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76581-5
Format: Electronic Resources
Availability Online Library~1

Designing Usable and Secure Software with IRIS and CAIRIS

2026-01-13T16:48:16Z

Author Faily, Shamal. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75493-2
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

2026-01-13T16:48:16Z

Author Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78455-7
Format: Electronic Resources
Availability Online Library~1

Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-01-13T16:48:16Z

Author Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60825-9
Format: Electronic Resources
Availability Online Library~1

Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA

2026-01-13T16:48:16Z

Author Boring, Ronald Laurids. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60645-3
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2026-01-13T16:48:16Z

Author Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources
Availability Online Library~1

New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies

2026-01-13T16:48:16Z

Author Filimowicz, Michael. editor. Tzankova, Veronika. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73374-6
Format: Electronic Resources
Availability Online Library~1

Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93800-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Games

2026-01-13T16:48:16Z

Author Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450 Togelius, Julian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63519-4
Format: Electronic Resources
Availability Online Library~1

Advances in Usability and User Experience Proceedings of the AHFE 2017 International Conference on Usability and User Experience, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-01-13T16:48:16Z

Author Ahram, Tareq. editor. Falcão, Christianne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60492-3
Format: Electronic Resources
Availability Online Library~1

Mobility Analytics for Spatio-Temporal and Social Data First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Doulkeridis, Christos. editor. (orcid)0000-0002-3219-0510 Vouros, George A. editor. (orcid)0000-0001-5451-622X Qu, Qiang. editor. (orcid)0000-0001-5814-8460 Wang, Shuhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73521-4
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

2026-01-13T16:48:16Z

Author Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77553-1
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2026-01-13T16:48:16Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78199-0
Format: Electronic Resources
Availability Online Library~1

Online Engineering & Internet of Things Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USA

2026-01-13T16:48:16Z

Author Auer, Michael E. editor. Zutin, Danilo G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64352-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Advances in Computational Mechanics 2017 ACOME 2017, 2 to 4 August 2017, Phu Quoc Island, Vietnam

2026-01-13T16:48:16Z

Author Nguyen-Xuan, Hung. editor. Phung-Van, Phuc. editor. Rabczuk, Timon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7149-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2026-01-13T16:48:16Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2026-01-13T16:48:16Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2026-01-13T16:48:16Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2026-01-13T16:48:16Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58415-6
Format: Electronic Resources
Availability Online Library~1

Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Aramaki, Mitsuko. editor. Davies, Matthew E. P. editor. (orcid)0000-0002-1315-3992 Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920 Ystad, Sølvi. editor. (orcid)0000-0001-9022-9690 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01692-0
Format: Electronic Resources
Availability Online Library~1

Advances in Digital Forensics XIV 14th IFIP WG 11.9 International Conference, New Delhi, India, January 3-5, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Peterson, Gilbert. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99277-8
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2026-01-13T16:48:16Z

Author Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources
Availability Online Library~1

Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-01-13T16:48:16Z

Author Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91743-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91764-1
Format: Electronic Resources
Availability Online Library~1

Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings

2026-01-13T16:48:16Z

Author Saracino, Andrea. editor. Mori, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04372-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport System in Smart Cities Aspects and Challenges of Vehicular Networks and Cloud

2026-01-13T16:48:16Z

Author I. Meneguette, Rodolfo. author. E. De Grande, Robson. author. A. F. Loureiro, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93332-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-01-13T16:48:16Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

2026-01-13T16:48:16Z

Author Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68195-5
Format: Electronic Resources
Availability Online Library~1

Data Science and Predictive Analytics Biomedical and Health Applications using R

2026-01-13T16:48:16Z

Author Dinov, Ivo D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72347-1
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Computer Applications Best Studies from the 2017 International Conference on Computer and Applications, Dubai, UAE

2026-01-13T16:48:16Z

Author Alja’am, Jihad Mohamad. editor. El Saddik, Abdulmotaleb. editor. Sadka, Abdul Hamid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89914-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2026-01-13T16:48:16Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

Automated Invention for Smart Industries 18th International TRIZ Future Conference, TFC 2018, Strasbourg, France, October 29–31, 2018, Proceedings

2026-01-13T16:48:16Z

Author Cavallucci, Denis. editor. De Guio, Roland. editor. Koziołek, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02456-7
Format: Electronic Resources
Availability Online Library~1

Studies on Speech Production 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Fang, Qiang. editor. Dang, Jianwu. editor. Perrier, Pascal. editor. Wei, Jianguo. editor. Wang, Longbiao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00126-1
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2026-01-13T16:48:16Z

Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2026-01-13T16:48:16Z

Author Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources
Availability Online Library~1

Computer Security 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II

2026-01-13T16:48:16Z

Author Lopez, Javier. editor. Zhou, Jianying. editor. Soriano, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98989-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

2026-01-13T16:48:16Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96878-0
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2026-01-13T16:48:16Z

Author Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00250-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2026-01-13T16:48:16Z

Author Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXXIII

2026-01-13T16:48:16Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources
Availability Online Library~1

Technology Enhanced Assessment 20th International Conference, TEA 2017, Barcelona, Spain, October 5–6, 2017, Revised Selected Papers

2026-01-13T16:48:16Z

Author Ras, Eric. editor. Guerrero Roldán, Ana Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97807-9
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2026-01-13T16:48:16Z

Author Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources
Availability Online Library~1

The Consciousness’ Drive Information Need and the Search for Meaning

2026-01-13T16:48:16Z

Author Cole, Charles. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92457-1
Format: Electronic Resources
Availability Online Library~1

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2026-01-13T16:48:16Z

Author Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98047-8
Format: Electronic Resources
Availability Online Library~1

Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings

2026-01-13T16:48:16Z

Author Egi, Hironori. editor. Yuizono, Takaya. editor. Baloian, Nelson. editor. Yoshino, Takashi. editor. Ichimura, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98743-9
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

2026-01-13T16:48:16Z

Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00560-3
Format: Electronic Resources
Availability Online Library~1

Advances in Neuroergonomics and Cognitive Engineering Proceedings of the AHFE 2017 International Conference on Neuroergonomics and Cognitive Engineering, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-01-13T16:48:16Z

Author Baldwin, Carryl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60642-2
Format: Electronic Resources
Availability Online Library~1