Search Results for -- İSTATİSTİK. - Narrowed by: Computer science.

Futureshock : happenings in computer science

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Creative approaches towards development of computing and multidisciplinary IT solutions for society

2026-03-04T17:37:07Z

Author Bijalwan, Anchit, editor.
Preferred Shelf Number QA76 .C74 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Information is Energy Definition of a physically based concept of information

2026-03-04T17:37:07Z

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

Fourier Optics and Computational Imaging

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Handbook of Model-Based Systems Engineering

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

2026-03-04T17:37:07Z

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

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

A gentle introduction to scientific computing

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Computer science security : concepts and tools

2026-03-04T17:37:07Z

Author Zaidoun, Ameur Salem, author.
Preferred Shelf Number QA76.9 .A25 Z35 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: Electronic Resources
Availability Online Library~1

Informatics and machine learning : from Martingales to metaheuristics

2026-03-04T17:37:07Z

Author Winters-Hilt, Stephen, author.
Preferred Shelf Number Q325.5 .W558 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Inside the world of computing : technologies, uses, challenges

2026-03-04T17:37:07Z

Author Delhaye, J.-L. (Jean-Loïc)
Preferred Shelf Number QA76
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821748
Format: Electronic Resources
Availability Online Library~1

R uygulamalı yeniden örnekleme teknikleri

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Becoming a data-driven Organisation Unlock the value of data

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Managed Software Evolution

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Bits on Chips

2026-03-04T17:37:07Z

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

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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-03-04T17:37:07Z

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

Computing and Software Science State of the Art and Perspectives

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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-03-04T17:37:07Z

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

Advances in Information Systems Development Designing Digitalization

2026-03-04T17:37:07Z

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

Handbook of Software Engineering

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Intelligent Technologies for Interactive Entertainment 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings

2026-03-04T17:37:07Z

Author Chisik, Yoram. editor. Holopainen, Jussi. editor. Khaled, Rilla. editor. Luis Silva, José. editor. Alexandra Silva, Paula. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73062-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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

Designing Immersive Video Games Using 3DUI Technologies Improving the Gamer's User Experience

2026-03-04T17:37:07Z

Author Kulshreshth, Arun K. author. LaViola Jr., Joseph J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77953-9
Format: Electronic Resources
Availability Online Library~1

Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

2026-03-04T17:37:07Z

Author Prasad, Sushil K. editor. Gupta, Anshul. editor. Rosenberg, Arnold. editor. Sussman, Alan. editor. Weems, Charles. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93109-8
Format: Electronic Resources
Availability Online Library~1

Multi-Objective Optimization Evolutionary to Hybrid Framework

2026-03-04T17:37:07Z

Author Mandal, Jyotsna K. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1471-1
Format: Electronic Resources
Availability Online Library~1

Electronic Government and the Information Systems Perspective 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings

2026-03-04T17:37:07Z

Author Kő, Andrea. editor. (orcid)0000-0003-0023-1143 Francesconi, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98349-3
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2026-03-04T17:37:07Z

Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2026-03-04T17:37:07Z

Author Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Cyber-Physical Systems

2026-03-04T17:37:07Z

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

Narrating Complexity

2026-03-04T17:37:07Z

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

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2026-03-04T17:37:07Z

Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72652-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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

Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-04T17:37:07Z

Author Ahram, Tareq. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60822-8
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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Systems Programming in Unix/Linux

2026-03-04T17:37:07Z

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

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2026-03-04T17:37:07Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03332-3
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-03-04T17:37:07Z

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

Secure Networked Inference with Unreliable Data Sources

2026-03-04T17:37:07Z

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 Supported Education 9th International Conference, CSEDU 2017, Porto, Portugal, April 21-23, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

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

Higher Education Computer Science A Manual of Practical Approaches

2026-03-04T17:37:07Z

Author Carter, Jenny. editor. O'Grady, Michael. editor. (orcid)0000-0002-6250-4736 Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98590-9
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2026-03-04T17:37:07Z

Author Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

2026-03-04T17:37:07Z

Author Blanc-Talon, Jacques. editor. Helbert, David. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01449-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV

2026-03-04T17:37:07Z

Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04212-7
Format: Electronic Resources
Availability Online Library~1

From Database to Cyber Security Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday

2026-03-04T17:37:07Z

Author Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Ray, Indrajit. editor. Ray, Indrakshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04834-1
Format: Electronic Resources
Availability Online Library~1

A New Kind of Computational Biology Cellular Automata Based Models for Genomics and Proteomics

2026-03-04T17:37:07Z

Author Pal Chaudhuri, Parimal. author. Ghosh, Soumyabrata. author. Dutta, Adip. author. Pal Choudhury, Somshubhro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1639-5
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Cognitive Biases in Visualizations

2026-03-04T17:37:07Z

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

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-04T17:37:07Z

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

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

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

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2026-03-04T17:37:07Z

Author Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2026-03-04T17:37:07Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03326-2
Format: Electronic Resources
Availability Online Library~1

Immersive Analytics

2026-03-04T17:37:07Z

Author Marriott, Kim. editor. Schreiber, Falk. editor. Dwyer, Tim. editor. Klein, Karsten. editor. Riche, Nathalie Henry. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01388-2
Format: Electronic Resources
Availability Online Library~1

RoboCup 2017: Robot World Cup XXI

2026-03-04T17:37:07Z

Author Akiyama, Hidehisa. editor. (orcid)0000-0002-9793-9123 Obst, Oliver. editor. (orcid)0000-0002-8284-2062 Sammut, Claude. editor. (orcid)0000-0001-8873-5228 Tonidandel, Flavio. editor. (orcid)0000-0003-0345-668X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00308-1
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

2026-03-04T17:37:07Z

Author Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00434-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2026-03-04T17:37:07Z

Author Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2026-03-04T17:37:07Z

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

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74433-9
Format: Electronic Resources
Availability Online Library~1

Social Computing and Social Media. Technologies and Analytics 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

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

Designing for the User Experience in Learning Systems

2026-03-04T17:37:07Z

Author Kapros, Evangelos. editor. Koutsombogera, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94794-5
Format: Electronic Resources
Availability Online Library~1

Experimental IR Meets Multilinguality, Multimodality, and Interaction 9th International Conference of the CLEF Association, CLEF 2018, Avignon, France, September 10-14, 2018, Proceedings

2026-03-04T17:37:07Z

Author Bellot, Patrice. editor. (orcid)0000-0001-8698-5055 Trabelsi, Chiraz. editor. Mothe, Josiane. editor. (orcid)0000-0001-9386-3531 Murtagh, Fionn. editor. (orcid)0000-0002-0589-6892 Nie, Jian Yun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98932-7
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2026-03-04T17:37:07Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99954-8
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2026-03-04T17:37:07Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05063-4
Format: Electronic Resources
Availability Online Library~1

Computational Analysis of Sound Scenes and Events

2026-03-04T17:37:07Z

Author Virtanen, Tuomas. editor. Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ellis, Dan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63450-0
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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Reconstructing Our Orders Artificial Intelligence and Human Society

2026-03-04T17:37:07Z

Author Jin, Donghan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2209-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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-03-04T17:37:07Z

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

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91479-4
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 II

2026-03-04T17:37:07Z

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-91476-3
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-03-04T17:37:07Z

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

Learning and Collaboration Technologies. Learning and Teaching 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

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-91152-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Entity-Oriented Search

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7–10, 2017, Proceedings

2026-03-04T17:37:07Z

Author Mendoza, Marcelo. editor. (orcid)0000-0002-7969-6041 Velastín, Sergio. editor. (orcid)0000-0001-6775-7137 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75193-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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-93846-2
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2026-03-04T17:37:07Z

Author Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources
Availability Online Library~1

Machine Learning A Practical Approach on the Statistical Learning Theory

2026-03-04T17:37:07Z

Author F MELLO, RODRIGO. author. Antonelli Ponti, Moacir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94989-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Systems Integration Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emirates

2026-03-04T17:37:07Z

Author Karwowski, Waldemar. editor. Ahram, Tareq. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73888-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 10th International Conference, IHCI 2018, Allahabad, India, December 7–9, 2018, Proceedings

2026-03-04T17:37:07Z

Author Tiwary, Uma Shanker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04021-5
Format: Electronic Resources
Availability Online Library~1

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2026-03-04T17:37:07Z

Author Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00265-7
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2026-03-04T17:37:07Z

Author Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03673-7
Format: Electronic Resources
Availability Online Library~1

Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 – November 1, 2018, Proceedings

2026-03-04T17:37:07Z

Author Al-Sharhan, Salah A. editor. Simintiras, Antonis C. editor. Dwivedi, Yogesh K. editor. Janssen, Marijn. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02131-3
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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Poli, Irene. editor. (orcid)0000-0001-7828-2480 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Serra, Roberto. editor. (orcid)0000-0002-1417-5106 Slanzi, Debora. editor. (orcid)0000-0002-4204-1009
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78658-2
Format: Electronic Resources
Availability Online Library~1

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2026-03-04T17:37:07Z

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

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

2026-03-04T17:37:07Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

2026-03-04T17:37:07Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources
Availability Online Library~1

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

2026-03-04T17:37:07Z

Author Liu, Qiyuan. author. Edward, Alexander. author. Briseno-Vidrios, Carlos. author. Silva-Martinez, Jose. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77225-7
Format: Electronic Resources
Availability Online Library~1

Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015

2026-03-04T17:37:07Z

Author Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4980-4
Format: Electronic Resources
Availability Online Library~1

Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Florianópolis, Brazil, October 24-28, 2017

2026-03-04T17:37:07Z

Author Carvalho, João Carlos Mendes. editor. Martins, Daniel. editor. Simoni, Roberto. editor. Simas, Henrique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67567-1
Format: Electronic Resources
Availability Online Library~1

Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Paul, Manoranjan. editor. Hitoshi, Carlos. editor. Huang, Qingming. editor. (orcid)0000-0002-9247-2763 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75786-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

2026-03-04T17:37:07Z

Author Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90775-8
Format: Electronic Resources
Availability Online Library~1

Tangible Modeling with Open Source GIS

2026-03-04T17:37:07Z

Author Petrasova, Anna. author. Harmon, Brendan. author. Petras, Vaclav. author. Tabrizian, Payam. author. Mitasova, Helena. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89303-7
Format: Electronic Resources
Availability Online Library~1

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2026-03-04T17:37:07Z

Author Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91641-5
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2026-03-04T17:37:07Z

Author R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2026-03-04T17:37:07Z

Author Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90686-7
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-03-04T17:37:07Z

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

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources
Availability Online Library~1

Advances in Robot Kinematics 2016

2026-03-04T17:37:07Z

Author Lenarčič, Jadran. editor. Merlet, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56802-7
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91593-7
Format: Electronic Resources
Availability Online Library~1

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

2026-03-04T17:37:07Z

Author Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91662-0
Format: Electronic Resources
Availability Online Library~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2026-03-04T17:37:07Z

Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91632-3
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2026-03-04T17:37:07Z

Author Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Stapleton, Gem. editor. Moktefi, Amirouche. editor. Perez-Kriz, Sarah. editor. Bellucci, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91376-6
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 I

2026-03-04T17:37:07Z

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-93445-7
Format: Electronic Resources
Availability Online Library~1

e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings

2026-03-04T17:37:07Z

Author Bissyande, Tegawendé F. editor. Sie, Oumarou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66742-3
Format: Electronic Resources
Availability Online Library~1

CMOS Circuits for Biological Sensing and Processing

2026-03-04T17:37:07Z

Author Mitra, Srinjoy. editor. Cumming, David R. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67723-1
Format: Electronic Resources
Availability Online Library~1

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

2026-03-04T17:37:07Z

Author Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54490-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

Author Cassenti, Daniel N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60591-3
Format: Electronic Resources
Availability Online Library~1

Gesture Recognition Principles, Techniques and Applications

2026-03-04T17:37:07Z

Author Konar, Amit. author. Saha, Sriparna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62212-5
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2026-03-04T17:37:07Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources
Availability Online Library~1

Future Network Systems and Security 4th International Conference, FNSS 2018, Paris, France, July 9–11, 2018, Proceedings

2026-03-04T17:37:07Z

Author Doss, Robin. editor. (orcid)0000-0001-6143-6850 Piramuthu, Selwyn. editor. Zhou, Wei. editor. (orcid)0000-0002-9965-9870 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94421-0
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94767-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

Author Charytonowicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60450-3
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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing

2026-03-04T17:37:07Z

Author Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8554-3
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2026-03-04T17:37:07Z

Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources
Availability Online Library~1

Essentials of Dynamics and Vibrations

2026-03-04T17:37:07Z

Author Billingsley, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56517-0
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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. Umeton, Renato. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72926-8
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

2026-03-04T17:37:07Z

Author Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75172-6
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Peixoto, Nathalia. editor. Silveira, Margarida. editor. Ali, Hesham H. editor. Maciel, Carlos. editor. van den Broek, Egon L. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94806-5
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2026-03-04T17:37:07Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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

Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers

2026-03-04T17:37:07Z

Author Erdt, Mojisola. editor. (orcid)0000-0003-2371-6768 Sesagiri Raamkumar, Aravind. editor. (orcid)0000-0001-7200-7787 Rasmussen, Edie. editor. Theng, Yin-Leng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1053-9
Format: Electronic Resources
Availability Online Library~1

Augmented Cognition: Users and Contexts 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91467-1
Format: Electronic Resources
Availability Online Library~1

Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-04T17:37:07Z

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

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

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

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-04T17:37:07Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91797-9
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-03-04T17:37:07Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91806-8
Format: Electronic Resources
Availability Online Library~1

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017

2026-03-04T17:37:07Z

Author Harpe, Pieter. editor. Makinwa, Kofi A. A. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61285-0
Format: Electronic Resources
Availability Online Library~1

FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers

2026-03-04T17:37:07Z

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

Man-Machine Speech Communication 14th National Conference, NCMMSC 2017, Lianyungang, China, October 11–13, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Tao, Jianhua. editor. Zheng, Thomas Fang. editor. Bao, Changchun. editor. Wang, Dong. editor. Li, Ya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8111-8
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors and Ergonomics in Healthcare and Medical Devices Proceedings of the AHFE 2017 International Conferences on Human Factors and Ergonomics in Healthcare and Medical Devices, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-04T17:37:07Z

Author Duffy, Vincent. editor. Lightner, Nancy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60483-1
Format: Electronic Resources
Availability Online Library~1

Affective Feedback in Intelligent Tutoring Systems A Practical Approach

2026-03-04T17:37:07Z

Author Jiménez, Samantha. author. Juárez-Ramírez, Reyes. author. Castillo, Victor H. author. Tapia Armenta, Juan José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93197-5
Format: Electronic Resources
Availability Online Library~1

Fog Computing Concepts, Frameworks and Technologies

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

Author Ho, Amic G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60477-0
Format: Electronic Resources
Availability Online Library~1

Smart Camera Design Algorithms, Architectures, and Art

2026-03-04T17:37:07Z

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

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78102-0
Format: Electronic Resources
Availability Online Library~1

Nonlinear Eigenproblems in Image Processing and Computer Vision

2026-03-04T17:37:07Z

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

Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Wu, Yunfang. editor. Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73573-3
Format: Electronic Resources
Availability Online Library~1

Smart Technology First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings

2026-03-04T17:37:07Z

Author Torres Guerrero, Francisco. editor. Lozoya-Santos, Jorge. editor. Gonzalez Mendivil, Eduardo. editor. Neira-Tovar, Leticia. editor. Ramírez Flores, Pablo G. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73323-4
Format: Electronic Resources
Availability Online Library~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

2026-03-04T17:37:07Z

Author Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62920-9
Format: Electronic Resources
Availability Online Library~1

Geminoid Studies Science and Technologies for Humanlike Teleoperated Androids

2026-03-04T17:37:07Z

Author Ishiguro, Hiroshi. editor. Dalla Libera, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8702-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Plasticity A Book in Honour of D. Roger J. Owen

2026-03-04T17:37:07Z

Author Oñate, Eugenio. editor. Peric, Djordje. editor. de Souza Neto, Eduardo. editor. Chiumenti, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60885-3
Format: Electronic Resources
Availability Online Library~1

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

2026-03-04T17:37:07Z

Author Pagani, Santiago. author. Chen, Jian-Jia. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77479-4
Format: Electronic Resources
Availability Online Library~1

Plasticity and Fracture

2026-03-04T17:37:07Z

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

New Frontiers in Mining Complex Patterns 6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Appice, Annalisa. editor. Loglisci, Corrado. editor. Manco, Giuseppe. editor. Masciari, Elio. editor. Ras, Zbigniew W. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78680-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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

Digitisation of Culture: Namibian and International Perspectives

2026-03-04T17:37:07Z

Author Jat, Dharm Singh. editor. Sieck, Jürgen. editor. Muyingi, Hippolyte N'Sung-Nza. editor. Winschiers-Theophilus, Heike. editor. Peters, Anicia. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7697-8
Format: Electronic Resources
Availability Online Library~1

Smart Maintenance for Human–Robot Interaction An Intelligent Search Algorithmic Perspective

2026-03-04T17:37:07Z

Author Xing, Bo. author. Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67480-3
Format: Electronic Resources
Availability Online Library~1

Contactless VLSI Measurement and Testing Techniques

2026-03-04T17:37:07Z

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

Biologically Inspired Cognitive Architectures (BICA) for Young Scientists Proceedings of the First International Early Research Career Enhancement School on BICA and Cybersecurity (FIERCES 2017)

2026-03-04T17:37:07Z

Author Samsonovich, Alexei V. editor. Klimov, Valentin V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63940-6
Format: Electronic Resources
Availability Online Library~1

Digital Storage in Consumer Electronics The Essential Guide

2026-03-04T17:37:07Z

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

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

Author Rebelo, Francisco. editor. Soares, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60582-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2026-03-04T17:37:07Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

2026-03-04T17:37:07Z

Author Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67837-5
Format: Electronic Resources
Availability Online Library~1

Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339 Levy, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76369-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Probability and Stochastic Processes with Applications to Communications

2026-03-04T17:37:07Z

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

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-04T17:37:07Z

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

An Introduction to the Technique of Formative Processes in Set Theory

2026-03-04T17:37:07Z

Author Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74778-1
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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

Author Stanton, Neville A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60441-1
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2026-03-04T17:37:07Z

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

Probability and Statistics for Computer Science

2026-03-04T17:37:07Z

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

Closing the Gap Between Practice and Research in Industrial Engineering

2026-03-04T17:37:07Z

Author Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58409-6
Format: Electronic Resources
Availability Online Library~1

Dependable Multicore Architectures at Nanoscale

2026-03-04T17:37:07Z

Author Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources
Availability Online Library~1

Advanced Logic Synthesis

2026-03-04T17:37:07Z

Author Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67295-3
Format: Electronic Resources
Availability Online Library~1

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93641-3
Format: Electronic Resources
Availability Online Library~1

Blockchain – ICBC 2018 First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2026-03-04T17:37:07Z

Author Chen, Shiping. editor. (orcid)0000-0002-4603-0024 Wang, Harry. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94478-4
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation, and Optimization

2026-03-04T17:37:07Z

Author Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70542-2
Format: Electronic Resources
Availability Online Library~1

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2026-03-04T17:37:07Z

Author Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources
Availability Online Library~1

Modeling and Control of Hybrid Propulsion System for Ground Vehicles

2026-03-04T17:37:07Z

Author Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53673-5
Format: Electronic Resources
Availability Online Library~1

A Finite Element Primer for Beginners The Basics

2026-03-04T17:37:07Z

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

Computer Games 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers

2026-03-04T17:37:07Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Saffidine, Abdallah. editor. (orcid)0000-0001-9805-8291 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75931-9
Format: Electronic Resources
Availability Online Library~1

New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies

2026-03-04T17:37:07Z

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

Formal System Verification State-of the-Art and Future Trends

2026-03-04T17:37:07Z

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

Neural Networks for Cooperative Control of Multiple Robot Arms

2026-03-04T17:37:07Z

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

Emerging Research in Computing, Information, Communication and Applications ERCICA 2016

2026-03-04T17:37:07Z

Author Shetty, N. R. editor. Patnaik, L. M. editor. Prasad, N. H. editor. Nalini, N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4741-1
Format: Electronic Resources
Availability Online Library~1

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

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

Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-04T17:37:07Z

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

Transactions on Computational Collective Intelligence XXXI

2026-03-04T17:37:07Z

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

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2026-03-04T17:37:07Z

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

Algorithms for Functional Programming

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2026-03-04T17:37:07Z

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

Wireless Indoor Localization A Crowdsourcing Approach

2026-03-04T17:37:07Z

Author Wu, Chenshu. author. Yang, Zheng. author. Liu, Yunhao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0356-2
Format: Electronic Resources
Availability Online Library~1

Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

2026-03-04T17:37:07Z

Author Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Véronique. editor. Goré, Rajeev. editor. Hapsara, Manik. editor. (orcid)0000-0002-8653-063X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00419-4
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 I

2026-03-04T17:37:07Z

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

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I

2026-03-04T17:37:07Z

Author Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294 Bontcheva, Kalina. editor. Suárez-Figueroa, Mari Carmen. editor. Presutti, Valentina. editor. Celino, Irene. editor. (orcid)0000-0001-9962-7193
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00671-6
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II

2026-03-04T17:37:07Z

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

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

2026-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-03-04T17:37:07Z

Author Zhou, Jia. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92034-4
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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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-03-04T17:37:07Z

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

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection

2026-03-04T17:37:07Z

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

Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

2026-03-04T17:37:07Z

Author Wannous, Hazem. editor. Pala, Pietro. editor. Daoudi, Mohamed. editor. Flórez-Revuelta, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91863-1
Format: Electronic Resources
Availability Online Library~1

Timing Performance of Nanometer Digital Circuits Under Process Variations

2026-03-04T17:37:07Z

Author Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75465-9
Format: Electronic Resources
Availability Online Library~1