Search Results for -- DENEYLER. - Narrowed by: Computer science.

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

2026-01-01T20:52:01Z

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

Information is Energy Definition of a physically based concept of information

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2026-01-01T20:52:01Z

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

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-01-01T20:52:01Z

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

Intelligent Software Defect Prediction

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Handbook of Model-Based Systems Engineering

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

R uygulamalı yeniden örnekleme teknikleri

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Handbook of Software Engineering

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Advances in Information Systems Development Designing Digitalization

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Managed Software Evolution

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Becoming a data-driven Organisation Unlock the value of data

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Bits on Chips

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-01-01T20:52:01Z

Author Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91125-0
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2026-01-01T20:52:01Z

Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2026-01-01T20:52:01Z

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

Graph Data Management Fundamental Issues and Recent Developments

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Family History Digital Libraries

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Museum Experience Design Crowds, Ecosystems and Novel Technologies

2026-01-01T20:52:01Z

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

Narrating Complexity

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02641-7
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2026-01-01T20:52:01Z

Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2026-01-01T20:52:01Z

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

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2026-01-01T20:52:01Z

Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2026-01-01T20:52:01Z

Author Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99960-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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

2026-01-01T20:52:01Z

Author Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74180-2
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Cyber-Physical Systems

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Data Science and Predictive Analytics Biomedical and Health Applications using R

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Programming with Actors State-of-the-Art and Research Perspectives

2026-01-01T20:52:01Z

Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2026-01-01T20:52:01Z

Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00030-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 II

2026-01-01T20:52:01Z

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

Handbook of Mobile Data Privacy

2026-01-01T20:52:01Z

Author Gkoulalas-Divanis, Aris. editor. Bettini, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98161-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

2026-01-01T20:52:01Z

Author Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03991-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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-04167-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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2026-01-01T20:52:01Z

Author Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2026-01-01T20:52:01Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04771-9
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 III

2026-01-01T20:52:01Z

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

The Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

2026-01-01T20:52:01Z

Author Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684 Gentile, Anna Lisa. editor. Nuzzolese, Andrea Giovanni. editor. (orcid)0000-0003-2928-9496 Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Maleshkova, Maria. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98192-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2026-01-01T20:52:01Z

Author Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources
Availability Online Library~1

Electronic Participation 10th IFIP WG 8.5 International Conference, ePart 2018, Krems, Austria, September 3-5, 2018, Proceedings

2026-01-01T20:52:01Z

Author Edelmann, Noella. editor. Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Misuraca, Gianluca. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Charalabidis, Yannis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98578-7
Format: Electronic Resources
Availability Online Library~1

Information Security Practice and Experience 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Advances in Web-Based Learning – ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings

2026-01-01T20:52:01Z

Author Hancke, Gerhard. editor. Spaniol, Marc. editor. Osathanunkul, Kitisak. editor. Unankard, Sayan. editor. Klamma, Ralf. editor. (orcid)0000-0002-2296-3401
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96565-9
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings

2026-01-01T20:52:01Z

Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99127-6
Format: Electronic Resources
Availability Online Library~1

Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings

2026-01-01T20:52:01Z

Author Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596 Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99582-3
Format: Electronic Resources
Availability Online Library~1

Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings

2026-01-01T20:52:01Z

Author Villavicencio, Aline. editor. (orcid)0000-0002-3731-9168 Moreira, Viviane. editor. (orcid)0000-0003-4400-054X Abad, Alberto. editor. Caseli, Helena. editor. (orcid)0000-0003-3996-8599 Gamallo, Pablo. editor. (orcid)0000-0002-5819-2469
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99722-3
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2026-01-01T20:52:01Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2026-01-01T20:52:01Z

Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources
Availability Online Library~1

Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings

2026-01-01T20:52:01Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Ciompi, Francesco. editor. (orcid)0000-0001-8327-9606 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Martel, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00949-6
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-01-01T20:52:01Z

Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00359-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-01-01T20:52:01Z

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

Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

2026-01-01T20:52:01Z

Author Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0023-3
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-01-01T20:52:01Z

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 II

2026-01-01T20:52:01Z

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-78375-8
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-01-01T20:52:01Z

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

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-01-01T20:52:01Z

Author Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89722-6
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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2026-01-01T20:52:01Z

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

Theory of Elastic Oscillations Equations and Methods

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources
Availability Online Library~1

Smart Camera Design Algorithms, Architectures, and Art

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2026-01-01T20:52:01Z

Author German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources
Availability Online Library~1

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2026-01-01T20:52:01Z

Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 13th International Conference, Inscrypt 2017, Xi'an, China, November 3–5, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Chen, Xiaofeng. editor. Lin, Dongdai. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75160-3
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-01-01T20:52:01Z

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

Internet Science INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Diplaris, Sotiris. editor. (orcid)0000-0002-9969-6436 Satsiou, Anna. editor. Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Vafopoulos, Michail. editor. Vilarinho, Thomas. editor. (orcid)0000-0002-7076-7835
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77547-0
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2026-01-01T20:52:01Z

Author Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73805-5
Format: Electronic Resources
Availability Online Library~1

Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Cuppens, Nora. editor. Cuppens, Frédéric. editor. Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Legay, Axel. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76687-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

Musical Haptics

2026-01-01T20:52:01Z

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

Social Information Access Systems and Technologies

2026-01-01T20:52:01Z

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

Designing Embedded Systems with Arduino A Fundamental Technology for Makers

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

Author Chen, Jessie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60384-1
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-01-01T20:52:01Z

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

Clinical Rehabilitation Experience Utilizing Serious Games Rehabilitation Technology and a Technical Concept for Health Data Collection

2026-01-01T20:52:01Z

Author Lawo, Michael. editor. Knackfuß, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-21957-4
Format: Electronic Resources
Availability Online Library~1

MediaSync Handbook on Multimedia Synchronization

2026-01-01T20:52:01Z

Author Montagud, Mario. editor. Cesar, Pablo. editor. Boronat, Fernando. editor. Jansen, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65840-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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Digitisation of Culture: Namibian and International Perspectives

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2026-01-01T20:52:01Z

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

Brain-Machine Interface Closed-loop Bidirectional System Design

2026-01-01T20:52:01Z

Author Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67940-2
Format: Electronic Resources
Availability Online Library~1

Deep Learning in Natural Language Processing

2026-01-01T20:52:01Z

Author Deng, Li. editor. Liu, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5209-5
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2026-01-01T20:52:01Z

Author Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources
Availability Online Library~1

Context-Aware Communication and Computing: Applications for Smart Environment

2026-01-01T20:52:01Z

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

Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015

2026-01-01T20:52:01Z

Author Agrawal, S. S. editor. Devi, Amita. editor. Wason, Ritika. editor. Bansal, Poonam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6626-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

A Brief History of Everything Wireless How Invisible Waves Have Changed the World

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Innovations for Community Services 18th International Conference, I4CS 2018, Žilina, Slovakia, June 18-20, 2018, Proceedings

2026-01-01T20:52:01Z

Author Hodoň, Michal. editor. Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93408-2
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 I

2026-01-01T20:52:01Z

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

Reliable and Energy Efficient Streaming Multiprocessor Systems

2026-01-01T20:52:01Z

Author Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69374-3
Format: Electronic Resources
Availability Online Library~1

Advances in Mechanical Engineering Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2017

2026-01-01T20:52:01Z

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

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Modelling and Verification of Secure Exams

2026-01-01T20:52:01Z

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

Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

2026-01-01T20:52:01Z

Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78574-5
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Techniques in Diagnosis of Brain Diseases

2026-01-01T20:52:01Z

Author Gurumoorthy, Sasikumar. author. Muppalaneni, Naresh Babu. author. Gao, Xiao-Zhi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6529-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

Author Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60011-6
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-01-01T20:52:01Z

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

Track-Before-Detect Using Expectation Maximisation The Histogram Probabilistic Multi-hypothesis Tracker: Theory and Applications

2026-01-01T20:52:01Z

Author Davey, Samuel J. author. Gaetjens, Han X. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7593-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient and Pervasive Interactions: Technologies and Contexts 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-01-01T20:52:01Z

Author Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91131-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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-01-01T20:52:01Z

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

Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-01-01T20:52:01Z

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

Data and Applications Security and Privacy XXXII 32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16–18, 2018, Proceedings

2026-01-01T20:52:01Z

Author Kerschbaum, Florian. editor. Paraboschi, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95729-6
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-01-01T20:52:01Z

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

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74860-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction Backgrounds and Applications 4

2026-01-01T20:52:01Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62120-3
Format: Electronic Resources
Availability Online Library~1

Mobility of Visually Impaired People Fundamentals and ICT Assistive Technologies

2026-01-01T20:52:01Z

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

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2026-01-01T20:52:01Z

Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources
Availability Online Library~1

Smart Grid and Innovative Frontiers in Telecommunications Third International Conference, SmartGIFT 2018, Auckland, New Zealand, April 23-24, 2018, Proceedings

2026-01-01T20:52:01Z

Author Chong, Peter Han Joo. editor. Seet, Boon-Chong. editor. Chai, Michael. editor. Rehman, Saeed Ur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94965-9
Format: Electronic Resources
Availability Online Library~1

Fog Computing Concepts, Frameworks and Technologies

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

Author Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92285-0
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-01-01T20:52:01Z

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

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I

2026-01-01T20:52:01Z

Author De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95270-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Java Programming

2026-01-01T20:52:01Z

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

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II

2026-01-01T20:52:01Z

Author De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95282-6
Format: Electronic Resources
Availability Online Library~1

5G and E-Band Communication Circuits in Deep-Scaled CMOS

2026-01-01T20:52:01Z

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

Modeling Companion for Software Practitioners

2026-01-01T20:52:01Z

Author Börger, Egon. author. Raschke, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56641-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2026-01-01T20:52:01Z

Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions

2026-01-01T20:52:01Z

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

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

2026-01-01T20:52:01Z

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

Explorations in Art and Technology

2026-01-01T20:52:01Z

Author Candy, Linda. author. Edmonds, Ernest. author. Poltronieri, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7367-0
Format: Electronic Resources
Availability Online Library~1

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2026-01-01T20:52:01Z

Author López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62136-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Secure Networked Inference with Unreliable Data Sources

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Studies in Conversational UX Design

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Transactions on Computational Science XXXIII

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

The Consciousness’ Drive Information Need and the Search for Meaning

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2026-01-01T20:52:01Z

Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources
Availability Online Library~1

Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings

2026-01-01T20:52:01Z

Author Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X Salichs, Miguel A. editor. Broadbent, Elizabeth. editor. (orcid)0000-0003-3626-9100 He, Hongsheng. editor. (orcid)0000-0002-2810-865X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05204-1
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2026-01-01T20:52:01Z

Author Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources
Availability Online Library~1

Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

2026-01-01T20:52:01Z

Author Nguyen, Hung Son. editor. Ha, Quang-Thuy. editor. (orcid)0000-0002-3901-3357 Li, Tianrui. editor. (orcid)0000-0001-7780-104X Przybyła-Kasperek, Małgorzata. editor. (orcid)0000-0003-0616-9694 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99368-3
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2026-01-01T20:52:01Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources
Availability Online Library~1

Collaboration and Technology 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings

2026-01-01T20:52:01Z

Author Rodrigues, Armanda. editor. (orcid)0000-0002-7080-5512 Fonseca, Benjamim. editor. (orcid)0000-0002-0850-9755 Preguiça, Nuno. editor. (orcid)0000-0002-1513-1527 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99504-5
Format: Electronic Resources
Availability Online Library~1

Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26–28, 2018, Proceedings

2026-01-01T20:52:01Z

Author Domingo-Ferrer, Josep. editor. (orcid)0000-0001-7213-4962 Montes, Francisco. editor. (orcid)0000-0002-1708-9385 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99771-1
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2026-01-01T20:52:01Z

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

Transforming Digital Worlds 13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings

2026-01-01T20:52:01Z

Author Chowdhury, Gobinda. editor. (orcid)0000-0002-2122-9547 McLeod, Julie. editor. (orcid)0000-0002-3330-898X Gillet, Val. editor. (orcid)0000-0002-8403-3111 Willett, Peter. editor. (orcid)0000-0003-4591-7173 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78105-1
Format: Electronic Resources
Availability Online Library~1

Higher Education Computer Science A Manual of Practical Approaches

2026-01-01T20:52:01Z

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-01-01T20:52:01Z

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-01-01T20:52:01Z

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

Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers

2026-01-01T20:52:01Z

Author D'Agostino, Gregorio. editor. (orcid)0000-0003-3657-5335 Scala, Antonio. editor. (orcid)0000-0002-3414-2686 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99843-5
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-01-01T20:52:01Z

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

Computing with Data An Introduction to the Data Industry

2026-01-01T20:52:01Z

Author Lebanon, Guy. author. El-Geish, Mohamed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98149-9
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-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Models of Computation for Big Data

2026-01-01T20:52:01Z

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

String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

2026-01-01T20:52:01Z

Author Gagie, Travis. editor. (orcid)0000-0003-3689-327X Moffat, Alistair. editor. (orcid)0000-0002-6638-0232 Navarro, Gonzalo. editor. (orcid)0000-0002-2286-741X Cuadros-Vargas, Ernesto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00479-8
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

2026-01-01T20:52:01Z

Author Naccache, David. editor. (orcid)0000-0002-8651-6555 Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942 Qing, Sihan. editor. Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Blanc, Gregory. editor. (orcid)0000-0001-8150-6617
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01950-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Recent Advances in Applications of Computational and Fuzzy Mathematics

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

2026-01-01T20:52:01Z

Author Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02840-4
Format: Electronic Resources
Availability Online Library~1

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

2026-01-01T20:52:01Z

Author Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02837-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-01T20:52:01Z

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

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

2026-01-01T20:52:01Z

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