Search Results for Software - Narrowed by: 2019

Managed Software Evolution

2025-12-13T22:22:57Z

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

Financial Software Engineering

2025-12-13T22:22:57Z

Author Lano, Kevin. author. Haughton, Howard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14050-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Software Engineering

2025-12-13T22:22:57Z

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

Handbook of software engineering & knowledge engineering

2025-12-13T22:22:57Z

Author Chang, Shi Kuo, 1944- ed.
Preferred Shelf Number QA 76.758 H36 2001- V.2
Format: Books
Availability Beytepe Library~1

Human factors in global software engineering

2025-12-13T22:22:57Z

Author Rehman, Mobashar, 1982- editor. Amin, Aamir, editor. Gilal, Abdul Rehman, editor. Hashmani, Manzoor Ahmed, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9448-2
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Testing

2025-12-13T22:22:57Z

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

Introduction to Software Design with Java

2025-12-13T22:22:57Z

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

Software Engineering Proceedings of CSI 2015

2025-12-13T22:22:57Z

Author Hoda, M. N. editor. Chauhan, Naresh. editor. Quadri, S. M. K. editor. Srivastava, Praveen Ranjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8848-3
Format: Electronic Resources
Availability Online Library~1

Exploring security in software architecture and design

2025-12-13T22:22:57Z

Author Felderer, Michael, editor. Scandariato, Riccardo, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6313-6
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

2025-12-13T22:22:57Z

Author Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15538-4
Format: Electronic Resources
Availability Online Library~1

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

2025-12-13T22:22:57Z

Author Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29983-5
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2025-12-13T22:22:57Z

Author Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31280-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06019-0
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

2025-12-13T22:22:57Z

Author Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35540-1
Format: Electronic Resources
Availability Online Library~1

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2025-12-13T22:22:57Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29852-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2025-12-13T22:22:57Z

Author Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30856-8
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2025-12-13T22:22:57Z

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

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2025-12-13T22:22:57Z

Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356 Lárusdóttir, Marta Kristín. editor. Palanque, Philippe. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05909-5
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2025-12-13T22:22:57Z

Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2025-12-13T22:22:57Z

Author Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2025-12-13T22:22:57Z

Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources
Availability Online Library~1

Directory of library automation software, systems, and services.

2025-12-13T22:22:57Z

Author Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number Z678.9.A3 D6
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

2025-12-13T22:22:57Z

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

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

2025-12-13T22:22:57Z

Author Majumdar, Amit. editor. Arora, Ritu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7729-7
Format: Electronic Resources
Availability Online Library~1

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2025-12-13T22:22:57Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources
Availability Online Library~1

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings

2025-12-13T22:22:57Z

Author Fitzgerald, Brian. editor. Mockus, Audris. editor. Zhou, Minghui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7099-1
Format: Electronic Resources
Availability Online Library~1

Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)

2025-12-13T22:22:57Z

Author Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Peña, Adriana. editor. Pérez-Cisneros, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01171-0
Format: Electronic Resources
Availability Online Library~1

Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018

2025-12-13T22:22:57Z

Author Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285 Mateos, Cristian. editor. (orcid)0000-0001-5761-1898 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Grønli, Tor-Morten. editor. (orcid)0000-0002-2026-4551 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28430-5
Format: Electronic Resources
Availability Online Library~1

Fault Prediction Modeling for the Prediction of Number of Software Faults

2025-12-13T22:22:57Z

Author Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7131-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

2025-12-13T22:22:57Z

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

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2025-12-13T22:22:57Z

Author Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30923-7
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

2025-12-13T22:22:57Z

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

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics

2025-12-13T22:22:57Z

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

Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering

2025-12-13T22:22:57Z

Author Ali, Syed Riffat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01647-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

2025-12-13T22:22:57Z

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

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

2025-12-13T22:22:57Z

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

2025-12-13T22:22:57Z

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

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-12-13T22:22:57Z

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

Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16874-2
Format: Electronic Resources
Availability Online Library~1

Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

2025-12-13T22:22:57Z

Author Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2185-6
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

2025-12-13T22:22:57Z

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 Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2025-12-13T22:22:57Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2025-12-13T22:22:57Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

2025-12-13T22:22:57Z

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

Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project

2025-12-13T22:22:57Z

Author Sato, Mitsuhisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1924-2
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

2025-12-13T22:22:57Z

Author Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28423-7
Format: Electronic Resources
Availability Online Library~1

Neuroimaging, Software, and Communication The Social Code of Source Code

2025-12-13T22:22:57Z

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

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

Interdisciplinary approaches to information systems and software engineering

2025-12-13T22:22:57Z

Author Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3
Format: Electronic Resources
Availability Online Library~1

Integrating the internet of things into software engineering practices

2025-12-13T22:22:57Z

Author Mala, D. Jeya, 1974- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T22:22:57Z

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

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources
Availability Online Library~1

Automotive Systems and Software Engineering State of the Art and Future Trends

2025-12-13T22:22:57Z

Author Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12157-0
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2025-12-13T22:22:57Z

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

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2025-12-13T22:22:57Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

2025-12-13T22:22:57Z

Author Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32065-2
Format: Electronic Resources
Availability Online Library~1

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2025-12-13T22:22:57Z

Author Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24781-2
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2025-12-13T22:22:57Z

Author Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22397-7
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2025-12-13T22:22:57Z

Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources
Availability Online Library~1

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17872-7
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

2025-12-13T22:22:57Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33246-4
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2025-12-13T22:22:57Z

Author Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2025-12-13T22:22:57Z

Author Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33702-5
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2025-12-13T22:22:57Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2025-12-13T22:22:57Z

Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2025-12-13T22:22:57Z

Author Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34146-6
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2025-12-13T22:22:57Z

Author Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17642-6
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2025-12-13T22:22:57Z

Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources
Availability Online Library~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2025-12-13T22:22:57Z

Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2025-12-13T22:22:57Z

Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources
Availability Online Library~1

Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23499-7
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2025-12-13T22:22:57Z

Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2025-12-13T22:22:57Z

Author Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2025-12-13T22:22:57Z

Author Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33636-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

2025-12-13T22:22:57Z

Author Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22244-4
Format: Electronic Resources
Availability Online Library~1

Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Xia, Yunni. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23381-5
Format: Electronic Resources
Availability Online Library~1

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

2025-12-13T22:22:57Z

Author Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32872-6
Format: Electronic Resources
Availability Online Library~1

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32304-2
Format: Electronic Resources
Availability Online Library~1

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

2025-12-13T22:22:57Z

Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12274-4
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2025-12-13T22:22:57Z

Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2025-12-13T22:22:57Z

Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05998-9
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

2025-12-13T22:22:57Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26250-1
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

2025-12-13T22:22:57Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26601-1
Format: Electronic Resources
Availability Online Library~1

Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23554-3
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

PowerBuilder : PowerScript reference, version 6.

2025-12-13T22:22:57Z

Preferred Shelf Number QA 76.76.A65 P871 1991-97 V.2
Format: Books
Availability Beytepe Library~1

Information security management handbook

2025-12-13T22:22:57Z

Author Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number QA76.9 .A25 I54165 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Information security management handbook

2025-12-13T22:22:57Z

Author Tipton, Harold F. Krause, Micki.
Preferred Shelf Number QA76.9 .A25 I54165 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Corpus Stylistics : Theory and Practice

2025-12-13T22:22:57Z

Author McIntyre, Dan, author. Walker, Brian, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9781474413220 https://www.degruyter.com/isbn/9781474413220 Cover https://www.degruyter.com/document/cover/isbn/9781474413220/original
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and security challenges in emerging networks

2025-12-13T22:22:57Z

Author Abassi, Ryma, 1980- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7353-1
Format: Electronic Resources
Availability Online Library~1

Architectures and frameworks for developing and applying blockchain technology

2025-12-13T22:22:57Z

Author Shi, Nansi, 1953- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9257-0
Format: Electronic Resources
Availability Online Library~1

Guide to Ambient Intelligence in the IoT Environment Principles, Technologies and Applications

2025-12-13T22:22:57Z

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

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection 17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings

2025-12-13T22:22:57Z

Author Demazeau, Yves. editor. (orcid)0000-0003-4059-9284 Matson, Eric. editor. Corchado, Juan Manuel. editor. De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24209-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12738-1
Format: Electronic Resources
Availability Online Library~1

MultiMedia Modeling 25th International Conference, MMM 2019, Thessaloniki, Greece, January 8–11, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Kompatsiaris, Ioannis. editor. (orcid)0000-0001-6447-9020 Huet, Benoit. editor. (orcid)0000-0002-0608-6939 Mezaris, Vasileios. editor. Gurrin, Cathal. editor. Cheng, Wen-Huang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05710-7
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

2025-12-13T22:22:57Z

Author Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683 Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21290-2
Format: Electronic Resources
Availability Online Library~1

Social Informatics 11th International Conference, SocInfo 2019, Doha, Qatar, November 18–21, 2019, Proceedings

2025-12-13T22:22:57Z

Author Weber, Ingmar. editor. (orcid)0000-0003-4169-2579 Darwish, Kareem M. editor. Wagner, Claudia. editor. Zagheni, Emilio. editor. Nelson, Laura. editor. (orcid)0000-0001-8948-300X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34971-4
Format: Electronic Resources
Availability Online Library~1

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Da Silva, Dilma. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23502-4
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26369-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XL

2025-12-13T22:22:57Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Morvan, Franck. editor. Tamine, Lynda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58664-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T22:22:57Z

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

Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Hidalgo-Delgado, Yusniel. editor. (orcid)0000-0001-5763-0669 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21395-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming IV

2025-12-13T22:22:57Z

Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14291-9
Format: Electronic Resources
Availability Online Library~1

RoboCup 2018: Robot World Cup XXII

2025-12-13T22:22:57Z

Author Holz, Dirk. editor. Genter, Katie. editor. Saad, Maarouf. editor. von Stryk, Oskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27544-0
Format: Electronic Resources
Availability Online Library~1

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32497-1
Format: Electronic Resources
Availability Online Library~1

e-Democracy Toward a New Model of (Inter)active Society

2025-12-13T22:22:57Z

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

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2025-12-13T22:22:57Z

Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources
Availability Online Library~1

Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings

2025-12-13T22:22:57Z

Author Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31489-7
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

2025-12-13T22:22:57Z

Author Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11245-5
Format: Electronic Resources
Availability Online Library~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2025-12-13T22:22:57Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources
Availability Online Library~1

Mobile Web and Intelligent Information Systems 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings

2025-12-13T22:22:57Z

Author Awan, Irfan. editor. Younas, Muhammad. editor. Ünal, Perin. editor. Aleksy, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27192-3
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Visual Information and Knowledge Management Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Yamamoto, Sakae. editor. Mori, Hirohiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22660-2
Format: Electronic Resources
Availability Online Library~1

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

2025-12-13T22:22:57Z

Author Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31919-9
Format: Electronic Resources
Availability Online Library~1

Internet Science INSCI 2018 International Workshops, St. Petersburg, Russia, October 24–26, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Bodrunova, Svetlana S. editor. (orcid)0000-0003-0740-561X Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154 Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Halpin, Harry. editor. Kolozaridi, Polina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17705-8
Format: Electronic Resources
Availability Online Library~1

Empirical Studies on the Development of Executable Business Processes

2025-12-13T22:22:57Z

Author Lübke, Daniel. editor. Pautasso, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17666-2
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part II

2025-12-13T22:22:57Z

Author Nielsen, Petter. editor. (orcid)0000-0003-3723-6976 Kimaro, Honest Christopher. editor. (orcid)0000-0001-6162-3277 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19115-3
Format: Electronic Resources
Availability Online Library~1

5G Enabled Secure Wireless Networks

2025-12-13T22:22:57Z

Author Jayakody, Dushantha Nalin K. editor. Srinivasan, Kathiravan. editor. Sharma, Vishal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03508-2
Format: Electronic Resources
Availability Online Library~1

Industrial Engineering in the Big Data Era Selected Papers from the Global Joint Conference on Industrial Engineering and Its Application Areas, GJCIE 2018, June 21–22, 2018, Nevsehir, Turkey

2025-12-13T22:22:57Z

Author Calisir, Fethi. editor. Cevikcan, Emre. editor. Camgoz Akdag, Hatice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03317-0
Format: Electronic Resources
Availability Online Library~1

Green, Pervasive, and Cloud Computing 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Nielsen, Petter. editor. (orcid)0000-0003-3723-6976 Kimaro, Honest Christopher. editor. (orcid)0000-0001-6162-3277 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18400-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning, Optimization, and Data Science 5th International Conference, LOD 2019, Siena, Italy, September 10–13, 2019, Proceedings

2025-12-13T22:22:57Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. (orcid)0000-0003-2824-101X Umeton, Renato. editor. (orcid)0000-0002-5561-6932 Giuffrida, Giovanni. editor. Sciacca, Vincenzo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37599-7
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources
Availability Online Library~1

World Internet Development Report 2017 Translated by Peng Ping

2025-12-13T22:22:57Z

Author Chinese Academy of Cyberspace Studies. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57524-6
Format: Electronic Resources
Availability Online Library~1

Behavioral Analytics in Social and Ubiquitous Environments 6th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2015, Porto, Portugal, September 7, 2015; 6th International Workshop on Modeling Social Media, MSM 2015, Florence, Italy, May 19, 2015; 7th International Workshop on Modeling Social Media, MSM 2016, Montreal, QC, Canada, April 12, 2016; Revised Selected Papers

2025-12-13T22:22:57Z

Author Atzmueller, Martin. editor. Chin, Alvin. editor. Lemmerich, Florian. editor. Trattner, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34407-8
Format: Electronic Resources
Availability Online Library~1

Test Generation of Crosstalk Delay Faults in VLSI Circuits

2025-12-13T22:22:57Z

Author Jayanthy, S. author. Bhuvaneswari, M.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2493-2
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications DASFAA 2019 International Workshops: BDMS, BDQM, and GDMA, Chiang Mai, Thailand, April 22–25, 2019, Proceedings

2025-12-13T22:22:57Z

Author Li, Guoliang. editor. Yang, Jun. editor. Gama, Joao. editor. (orcid)0000-0003-3357-1195 Natwichai, Juggapong. editor. Tong, Yongxin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18590-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26948-7
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Social Networks Research 6th International Conference, MISNC 2019, Wenzhou, China, August 26–28, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Lin, Jerry Chun-Wei. editor. Ting, I-Hsien. editor. Tang, Tiffany. editor. Wang, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1758-7
Format: Electronic Resources
Availability Online Library~1

Data Science for Healthcare Methodologies and Applications

2025-12-13T22:22:57Z

Author Consoli, Sergio. editor. Reforgiato Recupero, Diego. editor. Petković, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05249-2
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security and Privacy XXXIII 33rd Annual IFIP WG 11.3 Conference, DBSec 2019, Charleston, SC, USA, July 15–17, 2019, Proceedings

2025-12-13T22:22:57Z

Author Foley, Simon N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22479-0
Format: Electronic Resources
Availability Online Library~1

Experimental IR Meets Multilinguality, Multimodality, and Interaction 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9–12, 2019, Proceedings

2025-12-13T22:22:57Z

Author Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Braschler, Martin. editor. Savoy, Jacques. editor. (orcid)0000-0002-4486-0067 Rauber, Andreas. editor. Müller, Henning. editor. (orcid)0000-0001-6800-9878
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28577-7
Format: Electronic Resources
Availability Online Library~1

Security and Fault Tolerance in Internet of Things

2025-12-13T22:22:57Z

Author Chakraborty, Rajat Subhra. editor. Mathew, Jimson. editor. Vasilakos, Athanasios V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02807-7
Format: Electronic Resources
Availability Online Library~1

Business Information Systems Workshops BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers

2025-12-13T22:22:57Z

Author Abramowicz, Witold. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04849-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II

2025-12-13T22:22:57Z

Author Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29563-9
Format: Electronic Resources
Availability Online Library~1

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

2025-12-13T22:22:57Z

Author Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127 Mendelson, Avi. editor. Nandi, Mridul. editor. (orcid)0000-0002-1029-6576 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35869-3
Format: Electronic Resources
Availability Online Library~1

Web Engineering 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings

2025-12-13T22:22:57Z

Author Bakaev, Maxim. editor. (orcid)0000-0002-1889-0692 Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X Ko, In-Young. editor. (orcid)0000-0002-3843-263X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19274-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Medicine: Knowledge Representation and Transparent and Explainable Systems AIME 2019 International Workshops, KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26–29, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Marcos, Mar. editor. (orcid)0000-0001-9672-4190 Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Lenz, Richard. editor. (orcid)0000-0003-1551-4824 Nalepa, Grzegorz J. editor. (orcid)0000-0002-8182-4225 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37446-4
Format: Electronic Resources
Availability Online Library~1

Data Quality and Trust in Big Data 5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12–15, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Yoshida, Tetsuya. editor. Sarkheyli, Azadeh. editor. (orcid)0000-0001-9194-9446 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19143-6
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16 – 18, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05453-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17–20, 2019, Proceedings

2025-12-13T22:22:57Z

Author Gavrilova, Marina. editor. Chang, Jian. editor. (orcid)0000-0003-4118-147X Thalmann, Nadia Magnenat. editor. Hitzer, Eckhard. editor. Ishikawa, Hiroshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22514-8
Format: Electronic Resources
Availability Online Library~1

Web and Big Data APWeb-WAIM 2019 International Workshops, KGMA and DSEA, Chengdu, China, August 1–3, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Song, Jingkuan. editor. Zhu, Xiaofeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33982-1
Format: Electronic Resources
Availability Online Library~1

Data Mining 16th Australasian Conference, AusDM 2018, Bahrurst, NSW, Australia, November 28–30, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Islam, Rafiqul. editor. (orcid)0000-0001-8317-5727 Koh, Yun Sing. editor. (orcid)0000-0001-7256-4049 Zhao, Yanchang. editor. Warwick, Graco. editor. Stirling, David. editor. (orcid)0000-0003-1219-2794
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6661-1
Format: Electronic Resources
Availability Online Library~1

Empowering Learners for Life in the Digital Age IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24–28, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Passey, Don. editor. (orcid)0000-0002-9205-502X Bottino, Rosa. editor. (orcid)0000-0001-6709-0053 Lewin, Cathy. editor. (orcid)0000-0002-3430-4075 Sanchez, Eric. editor. (orcid)0000-0002-3819-6681 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23513-0
Format: Electronic Resources
Availability Online Library~1

Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

2025-12-13T22:22:57Z

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

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

2025-12-13T22:22:57Z

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

Data Visualisation with R 111 Examples

2025-12-13T22:22:57Z

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

Invitations to Tender for Facility Management Services Process Mapping, Service Specifications and Innovative Scenarios

2025-12-13T22:22:57Z

Author Talamo, Cinzia. author. Atta, Nazly. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04009-3
Format: Electronic Resources
Availability Online Library~1

Social Computing and Social Media. Design, Human Behavior and Analytics 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

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

Arabic Language Processing: From Theory to Practice 7th International Conference, ICALP 2019, Nancy, France, October 16–17, 2019, Proceedings

2025-12-13T22:22:57Z

Author Smaïli, Kamel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32959-4
Format: Electronic Resources
Availability Online Library~1

Smart Working, Living and Organising IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, Proceedings

2025-12-13T22:22:57Z

Author Elbanna, Amany. editor. Dwivedi, Yogesh K. editor. Bunker, Deborah. editor. Wastell, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04315-5
Format: Electronic Resources
Availability Online Library~1

Innovative Technologies and Learning Second International Conference, ICITL 2019, Tromsø, Norway, December 2–5, 2019, Proceedings

2025-12-13T22:22:57Z

Author Rønningsbakk, Lisbet. editor. Wu, Ting-Ting. editor. Sandnes, Frode Eika. editor. Huang, Yueh-Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35343-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2025-12-13T22:22:57Z

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

Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

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

Domain-Specific Knowledge Graph Construction

2025-12-13T22:22:57Z

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

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32233-5
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2025-12-13T22:22:57Z

Author Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II

2025-12-13T22:22:57Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26354-6
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2025-12-13T22:22:57Z

Author Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25283-0
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Image Processing and Pattern Recognition Second International Conference, RTIP2R 2018, Solapur, India, December 21–22, 2018, Revised Selected Papers, Part I

2025-12-13T22:22:57Z

Author Santosh, K. C. editor. Hegadi, Ravindra S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9181-1
Format: Electronic Resources
Availability Online Library~1

Smart Network Inspired Paradigm and Approaches in IoT Applications

2025-12-13T22:22:57Z

Author Elhoseny, Mohamed. editor. (orcid)0000-0001-6347-8368 Singh, Amit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8614-5
Format: Electronic Resources
Availability Online Library~1

Edge Computing From Hype to Reality

2025-12-13T22:22:57Z

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

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3146-6
Format: Electronic Resources
Availability Online Library~1

Trust, Privacy and Security in Digital Business 16th International Conference, TrustBus 2019, Linz, Austria, August 26–29, 2019, Proceedings

2025-12-13T22:22:57Z

Author Gritzalis, Stefanos. editor. Weippl, Edgar R. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27813-7
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32101-7
Format: Electronic Resources
Availability Online Library~1

HCI in Business, Government and Organizations. eCommerce and Consumer Behavior 6th International Conference, HCIBGO 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Nah, Fiona Fui-Hoon. editor. Siau, Keng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22335-9
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

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

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

2025-12-13T22:22:57Z

Author Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20867-7
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 12th International Conference, AGI 2019, Shenzhen, China, August 6–9, 2019, Proceedings

2025-12-13T22:22:57Z

Author Hammer, Patrick. editor. Agrawal, Pulin. editor. (orcid)0000-0003-1477-9863 Goertzel, Ben. editor. Iklé, Matthew. editor. (orcid)0000-0001-5978-2703 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27005-6
Format: Electronic Resources
Availability Online Library~1

Innovative Computing Trends and Applications

2025-12-13T22:22:57Z

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

Learning and Collaboration Technologies. Designing Learning Experiences 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

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

Macrotask Crowdsourcing Engaging the Crowds to Address Complex Problems

2025-12-13T22:22:57Z

Author Khan, Vassillis-Javed. editor. Papangelis, Konstantinos. editor. Lykourentzou, Ioanna. editor. Markopoulos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12334-5
Format: Electronic Resources
Availability Online Library~1

Essentials of Cloud Computing A Holistic Perspective

2025-12-13T22:22:57Z

Author Surianarayanan, Chellammal. author. Chelliah, Pethuru Raj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13134-0
Format: Electronic Resources
Availability Online Library~1

RoboCup 2019: Robot World Cup XXIII

2025-12-13T22:22:57Z

Author Chalup, Stephan. editor. (orcid)0000-0002-7886-3653 Niemueller, Tim. editor. Suthakorn, Jackrit. editor. (orcid)0000-0003-1333-3982 Williams, Mary-Anne. editor. (orcid)0000-0002-1047-0503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35699-6
Format: Electronic Resources
Availability Online Library~1

Technology in Education: Pedagogical Innovations 4th International Conference, ICTE 2019, Guangzhou, China, March 15-17, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Cheung, Simon K. S. editor. Jiao, Jianli. editor. Lee, Lap-Kei. editor. Zhang, Xuebo. editor. Li, Kam Cheong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9895-7
Format: Electronic Resources
Availability Online Library~1

Distributed Real-Time Systems Theory and Practice

2025-12-13T22:22:57Z

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

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

2025-12-13T22:22:57Z

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

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Suárez-Figueroa, Mari Carmen. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13929-2
Format: Electronic Resources
Availability Online Library~1

Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

2025-12-13T22:22:57Z

Author Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9582-7
Format: Electronic Resources
Availability Online Library~1

Knowledge and Systems Sciences 20th International Symposium, KSS 2019, Da Nang, Vietnam, November 29 – December 1, 2019, Proceedings

2025-12-13T22:22:57Z

Author Chen, Jian. editor. Huynh, Van Nam. editor. Nguyen, Gia-Nhu. editor. Tang, Xijin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1209-4
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – INDOCRYPT 2019 20th International Conference on Cryptology in India, Hyderabad, India, December 15–18, 2019, Proceedings

2025-12-13T22:22:57Z

Author Hao, Feng. editor. Ruj, Sushmita. editor. Sen Gupta, Sourav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35423-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T22:22:57Z

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

Network and System Security 13th International Conference, NSS 2019, Sapporo, Japan, December 15–18, 2019, Proceedings

2025-12-13T22:22:57Z

Author Liu, Joseph K. editor. (orcid)0000-0001-6656-6240 Huang, Xinyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36938-5
Format: Electronic Resources
Availability Online Library~1

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1922-2
Format: Electronic Resources
Availability Online Library~1

Business Models and ICT Technologies for the Fashion Supply Chain Proceedings of IT4Fashion 2017 and IT4Fashion 2018

2025-12-13T22:22:57Z

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

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

2025-12-13T22:22:57Z

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

Human Brain and Artificial Intelligence First International Workshop, HBAI 2019, Held in Conjunction with IJCAI 2019, Macao, China, August 12, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Zeng, An. editor. Pan, Dan. editor. Hao, Tianyong. editor. (orcid)0000-0002-9792-3949 Zhang, Daoqiang. editor. Shi, Yiyu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1398-5
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings

2025-12-13T22:22:57Z

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

Locally Relevant ICT Research 10th International Development Informatics Association Conference, IDIA 2018, Tshwane, South Africa, August 23-24, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Krauss, Kirstin. editor. (orcid)0000-0002-1328-7683 Turpin, Marita. editor. (orcid)0000-0002-4425-2010 Naude, Filistea. editor. (orcid)0000-0002-2629-1972 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11235-6
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 13th China Conference, CWSN 2019, Chongqing, China, October 12–14, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Guo, Songtao. editor. Liu, Kai. editor. Chen, Chao. editor. Huang, Hongyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1785-3
Format: Electronic Resources
Availability Online Library~1

New Directions in Music and Human-Computer Interaction

2025-12-13T22:22:57Z

Author Holland, Simon. editor. Mudd, Tom. editor. Wilkie-McKenna, Katie. editor. McPherson, Andrew. editor. Wanderley, Marcelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92069-6
Format: Electronic Resources
Availability Online Library~1

Aviation System Risks and Safety

2025-12-13T22:22:57Z

Author Kuklev E.A. author. Shapkin V.S. author. Filippov V.L. author. Shatrakov Y.G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8122-5
Format: Electronic Resources
Availability Online Library~1

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29948-4
Format: Electronic Resources
Availability Online Library~1

Future Network Systems and Security 5th International Conference, FNSS 2019, Melbourne, VIC, Australia, November 27–29, 2019, Proceedings

2025-12-13T22:22:57Z

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

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36625-4
Format: Electronic Resources
Availability Online Library~1

Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903 Boukhanovsky, Alexander V. editor. Chugunov, Andrei V. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37858-5
Format: Electronic Resources
Availability Online Library~1

Innovations for Community Services 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings

2025-12-13T22:22:57Z

Author Lüke, Karl-Heinz. editor. (orcid)0000-0002-7540-8460 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-030-22482-0
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture XI 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings, Part II

2025-12-13T22:22:57Z

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

Privacy Technologies and Policy 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13–14, 2019, Proceedings

2025-12-13T22:22:57Z

Author Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Italiano, Giuseppe F. editor. (orcid)0000-0002-9492-9894 Rannenberg, Kai. editor. Medina, Manel. editor. (orcid)0000-0002-1763-1728 Bourka, Athena. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21752-5
Format: Electronic Resources
Availability Online Library~1

Group Decision and Negotiation: Behavior, Models, and Support 19th International Conference, GDN 2019, Loughborough, UK, June 11–15, 2019, Proceedings

2025-12-13T22:22:57Z

Author Morais, Danielle Costa. editor. (orcid)0000-0003-4430-8122 Carreras, Ashley. editor. (orcid)0000-0003-3734-6622 de Almeida, Adiel Teixeira. editor. (orcid)0000-0002-2757-1968 Vetschera, Rudolf. editor. (orcid)0000-0003-2809-8989 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21711-2
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20485-3
Format: Electronic Resources
Availability Online Library~1

Technology Enhanced Assessment 21st International Conference, TEA 2018, Amsterdam, The Netherlands, December 10–11, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Draaijer, Silvester. editor. (orcid)0000-0003-4230-7740 Joosten-ten Brinke, Desirée. editor. Ras, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25264-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in IoT

2025-12-13T22:22:57Z

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

Social Robots: Technological, Societal and Ethical Aspects of Human-Robot Interaction

2025-12-13T22:22:57Z

Author Korn, Oliver. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17107-0
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30000-5
Format: Electronic Resources
Availability Online Library~1

Higher Education Learning Methodologies and Technologies Online First International Workshop, HELMeTO 2019, Novedrate, CO, Italy, June 6-7, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Burgos, Daniel. editor. (orcid)0000-0003-0498-1101 Cimitile, Marta. editor. (orcid)0000-0003-2403-8313 Ducange, Pietro. editor. (orcid)0000-0003-4510-1350 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Picerno, Pietro. editor. (orcid)0000-0003-3478-7692
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31284-8
Format: Electronic Resources
Availability Online Library~1

Applied Informatics Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings

2025-12-13T22:22:57Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. (orcid)0000-0001-6303-6615 Diaz-Nafria, Jose Maria. editor. (orcid)0000-0001-5383-6037 Belli, Simone. editor. (orcid)0000-0001-8934-7569 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32475-9
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

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

Web Information Systems and Technologies 14th International Conference, WEBIST 2018, Seville, Spain, September 18–20, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Escalona, María José. editor. Domínguez Mayo, Francisco. editor. Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285 Monfort, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35330-8
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

Information and Operational Technology Security Systems First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Fournaris, Apostolos P. editor. (orcid)0000-0002-4758-2349 Lampropoulos, Konstantinos. editor. Marín Tordera, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12085-6
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology: Development of Persuasive and Behavior Change Support Systems 14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Oinas-Kukkonen, Harri. editor. Win, Khin Than. editor. Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Karppinen, Pasi. editor. Kyza, Eleni. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17287-9
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17253-4
Format: Electronic Resources
Availability Online Library~1

Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550 Zúñiga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813 D’Armas, Mayra. editor. Zúñiga Sánchez, Miguel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05532-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

2025-12-13T22:22:57Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24302-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

2025-12-13T22:22:57Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24296-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XIV

2025-12-13T22:22:57Z

Author Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60651-3
Format: Electronic Resources
Availability Online Library~1

Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings

2025-12-13T22:22:57Z

Author Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Muñante, Denisse. editor. (orcid)0000-0003-2621-8342 Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11680-4
Format: Electronic Resources
Availability Online Library~1

Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage First International Conference, TMM_CH 2018, Athens, Greece, October 10–13, 2018, Revised Selected Papers, Part I

2025-12-13T22:22:57Z

Author Moropoulou, Antonia. editor. Korres, Manolis. editor. Georgopoulos, Andreas. editor. Spyrakos, Constantine. editor. Mouzakis, Charalambos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12957-6
Format: Electronic Resources
Availability Online Library~1

Real-Time Business Intelligence and Analytics International Workshops, BIRTE 2015, Kohala Coast, HI, USA, August 31, 2015, BIRTE 2016, New Delhi, India, September 5, 2016, BIRTE 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

2025-12-13T22:22:57Z

Author Castellanos, Malu. editor. Chrysanthis, Panos K. editor. (orcid)0000-0001-7189-9816 Pelechrinis, Konstantinos. editor. (orcid)0000-0002-6443-3935 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24124-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

2025-12-13T22:22:57Z

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

Information Systems: Research, Development, Applications, Education 12th SIGSAND/PLAIS EuroSymposium 2019, Gdansk, Poland, September 19, 2019, Proceedings

2025-12-13T22:22:57Z

Author Wrycza, Stanisław. editor. (orcid)0000-0001-7699-6631 Maślankowski, Jacek. editor. (orcid)0000-0003-0357-2736 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29608-7
Format: Electronic Resources
Availability Online Library~1

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15651-0
Format: Electronic Resources
Availability Online Library~1

Analysis of Images, Social Networks and Texts 8th International Conference, AIST 2019, Kazan, Russia, July 17–19, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author van der Aalst, Wil M. P. editor. Batagelj, Vladimir. editor. (orcid)0000-0002-0240-9446 Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kuskova, Valentina. editor. (orcid)0000-0003-4716-2544
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37334-4
Format: Electronic Resources
Availability Online Library~1

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

2025-12-13T22:22:57Z

Author Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 Garcia, Nuno M. editor. (orcid)0000-0002-3195-3168 Dobre, Ciprian. editor. (orcid)0000-0003-4638-7725 Mavromoustakis, Constandinos X. editor. (orcid)0000-0003-0333-8034 Goleva, Rossitza. editor. (orcid)0000-0002-6268-0756
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10752-9
Format: Electronic Resources
Availability Online Library~1

Digital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18–20, 2019, Proceedings

2025-12-13T22:22:57Z

Author Pappas, Ilias O. editor. (orcid)0000-0001-7528-3488 Mikalef, Patrick. editor. (orcid)0000-0002-6788-2277 Dwivedi, Yogesh K. editor. (orcid)0000-0002-5547-9990 Jaccheri, Letizia. editor. (orcid)0000-0002-5547-2270 Krogstie, John. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29374-1
Format: Electronic Resources
Availability Online Library~1

Advances in Web-Based Learning – ICWL 2019 18th International Conference, Magdeburg, Germany, September 23–25, 2019, Proceedings

2025-12-13T22:22:57Z

Author Herzog, Michael A. editor. (orcid)0000-0002-7597-2272 Kubincová, Zuzana. editor. (orcid)0000-0003-1909-6738 Han, Peng. editor. Temperini, Marco. editor. (orcid)0000-0002-8597-4634 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35758-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24289-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

2025-12-13T22:22:57Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24311-1
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings

2025-12-13T22:22:57Z

Author Alpcan, Tansu. editor. (orcid)0000-0002-7434-3239 Vorobeychik, Yevgeniy. editor. (orcid)0000-0003-2471-5345 Baras, John S. editor. (orcid)0000-0002-4955-8561 Dán, György. editor. (orcid)0000-0002-4876-0223 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32430-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

2025-12-13T22:22:57Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24308-1
Format: Electronic Resources
Availability Online Library~1

Node-to-Node Approaching in Wireless Mesh Connectivity

2025-12-13T22:22:57Z

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

Social Manufacturing: Fundamentals and Applications

2025-12-13T22:22:57Z

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

International Telecommunications Conference Proceedings of the ITelCon 2017, Istanbul

2025-12-13T22:22:57Z

Author Boyaci, Ali. editor. Ekti, Ali Riza. editor. Aydin, Muhammed Ali. editor. Yarkan, Serhan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0408-8
Format: Electronic Resources
Availability Online Library~1

Her yönüyle Go programlamaya giriş

2025-12-13T22:22:57Z

Author Küçüksille, Ecir Uğur. Kemaloğlu, Nazan.
Preferred Shelf Number QA76.73 K57 2019
Format: Books
Availability Beytepe Library~1

Information Technology for Management: Emerging Research and Applications 15th Conference, AITM 2018, and 13th Conference, ISM 2018, Held as Part of FedCSIS, Poznan, Poland, September 9–12, 2018, Revised and Extended Selected Papers

2025-12-13T22:22:57Z

Author Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15154-6
Format: Electronic Resources
Availability Online Library~1

e-Citizens Toward a New Model of (Inter)active Citizenry

2025-12-13T22:22:57Z

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

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings

2025-12-13T22:22:57Z

Author Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Cudré-Mauroux, Philippe. editor. (orcid)0000-0003-2588-4212 Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748 Pellegrini, Tassilo. editor. (orcid)0000-0002-0795-0661 Sack, Harald. editor. (orcid)0000-0001-7069-9804
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33220-4
Format: Electronic Resources
Availability Online Library~1

Disruptive Technologies for the Militaries and Security

2025-12-13T22:22:57Z

Author Lele, Ajey. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3384-2
Format: Electronic Resources
Availability Online Library~1

Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X Das, Pradip Kumar. editor. Kharb, Latika. editor. Chahal, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1384-8
Format: Electronic Resources
Availability Online Library~1

Data Integration in the Life Sciences 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings

2025-12-13T22:22:57Z

Author Auer, Sören. editor. Vidal, Maria-Esther. editor. (orcid)0000-0003-1160-8727 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06016-9
Format: Electronic Resources
Availability Online Library~1

Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Zhu, Xiaoyan. editor. Qin, Bing. editor. Zhu, Xiaodan. editor. Liu, Ming. editor. Qian, Longhua. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1956-7
Format: Electronic Resources
Availability Online Library~1

Histories of Computing in Eastern Europe IFIP WG 9.7 International Workshop on the History of Computing, HC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznań, Poland, September 19–21, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Leslie, Christopher. editor. Schmitt, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29160-0
Format: Electronic Resources
Availability Online Library~1

Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications

2025-12-13T22:22:57Z

Author Raza, Muhammad Summair. author. Qamar, Usman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9166-9
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

2025-12-13T22:22:57Z

Author Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21392-3
Format: Electronic Resources
Availability Online Library~1

Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb

2025-12-13T22:22:57Z

Author Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Eckhart, Matthias. editor. Lüder, Arndt. editor. Weippl, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25312-7
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability. Application Domains 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2025-12-13T22:22:57Z

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

Ethical and Secure Computing A Concise Module

2025-12-13T22:22:57Z

Author Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03937-0
Format: Electronic Resources
Availability Online Library~1

Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

2025-12-13T22:22:57Z

Author Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. Pascoal, António. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02907-4
Format: Electronic Resources
Availability Online Library~1

Cyber-Physical Systems: Architecture, Security and Application

2025-12-13T22:22:57Z

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

Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Mekuria, Fisseha. editor. Nigussie, Ethiopia. editor. (orcid)0000-0002-2043-4274 Tegegne, Tesfa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26630-1
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 12th International Conference on Interactive Digital Storytelling, ICIDS 2019, Little Cottonwood Canyon, UT, USA, November 19–22, 2019, Proceedings

2025-12-13T22:22:57Z

Author Cardona-Rivera, Rogelio E. editor. (orcid)0000-0002-6720-568X Sullivan, Anne. editor. Young, R. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33894-7
Format: Electronic Resources
Availability Online Library~1

Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings

2025-12-13T22:22:57Z

Author Valencia-García, Rafael. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Bucaram-Leverone, Martha. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34989-9
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedings

2025-12-13T22:22:57Z

Author Choffnes, David. editor. Barcellos, Marinho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15986-3
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

2025-12-13T22:22:57Z

Author Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31038-7
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics 7th International Conference, BDA 2019, Ahmedabad, India, December 17–20, 2019, Proceedings

2025-12-13T22:22:57Z

Author Madria, Sanjay. editor. Fournier-Viger, Philippe. editor. (orcid)0000-0002-7680-9899 Chaudhary, Sanjay. editor. (orcid)0000-0001-9127-360X Reddy, P. Krishna. editor. (orcid)0000-0003-1238-5174 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37188-3
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions

2025-12-13T22:22:57Z

Author Francisco Lorenzon, Arthur. author. Beck Filho, Antonio Carlos Schneider. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28719-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0105-0
Format: Electronic Resources
Availability Online Library~1

Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Paprzycki, Marcin. editor. (orcid)0000-0002-8069-2152 Bhargava, Bharat. editor. Chhabra, Jitender Kumar. editor. Kaushal, Narottam Chand. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3804-5
Format: Electronic Resources
Availability Online Library~1

Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings

2025-12-13T22:22:57Z

Author Shen, Bazhong. editor. Wang, Baocang. editor. (orcid)0000-0002-2554-4464 Han, Jinguang. editor. (orcid)0000-0002-4993-9452 Yu, Yong. editor. (orcid)0000-0003-0667-077X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0818-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2025-12-13T22:22:57Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17656-3
Format: Electronic Resources
Availability Online Library~1

Computer Supported Education 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author McLaren, Bruce M. editor. Reilly, Rob. editor. Zvacek, Susan. editor. Uhomoibhi, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21151-6
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

2025-12-13T22:22:57Z

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

Social, Cultural, and Behavioral Modeling 12th International Conference, SBP-BRiMS 2019, Washington, DC, USA, July 9–12, 2019, Proceedings

2025-12-13T22:22:57Z

Author Thomson, Robert. editor. Bisgin, Halil. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21741-9
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

2025-12-13T22:22:57Z

Author Mu, Yi. editor. (orcid)0000-0002-1637-845X Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Huang, Xinyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31578-8
Format: Electronic Resources
Availability Online Library~1

Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Issarny, Valerie. editor. Palanisamy, Balaji. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23357-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

2025-12-13T22:22:57Z

Author Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30763-9
Format: Electronic Resources
Availability Online Library~1

Cognitive Computing – ICCC 2019 Third International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2025-12-13T22:22:57Z

Author Xu, Ruifeng. editor. (orcid)0000-0002-4009-5679 Wang, Jianzong. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23407-2
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

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

Human-Computer Interaction – INTERACT 2019 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III

2025-12-13T22:22:57Z

Author Lamas, David. editor. (orcid)0000-0003-0295-453X Loizides, Fernando. editor. (orcid)0000-0003-0531-6760 Nacke, Lennart. editor. (orcid)0000-0003-4290-8829 Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29387-1
Format: Electronic Resources
Availability Online Library~1

Extending the Boundaries of Design Science Theory and Practice 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings

2025-12-13T22:22:57Z

Author Tulu, Bengisu. editor. (orcid)0000-0001-7226-1830 Djamasbi, Soussan. editor. (orcid)0000-0001-8638-8402 Leroy, Gondy. editor. (orcid)0000-0003-4751-6680 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19504-5
Format: Electronic Resources
Availability Online Library~1

Consumer Informatics and Digital Health Solutions for Health and Health Care

2025-12-13T22:22:57Z

Author Edmunds, Margo. editor. Hass, Christopher. editor. Holve, Erin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96906-0
Format: Electronic Resources
Availability Online Library~1

Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Vienna, Austria, August 20-24, 2018, Revised Selected Papers

2025-12-13T22:22:57Z

Author Kosta, Eleni. editor. Pierson, Jo. editor. Slamanig, Daniel. editor. (orcid)0000-0002-4181-2561 Fischer-Hübner, Simone. editor. (orcid)0000-0002-6938-4466 Krenn, Stephan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16744-8
Format: Electronic Resources
Availability Online Library~1

Game Theory for Networking Applications

2025-12-13T22:22:57Z

Author Song, Ju Bin. editor. Li, Husheng. editor. Coupechoux, Marceau. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93058-9
Format: Electronic Resources
Availability Online Library~1

Performability in Internet of Things

2025-12-13T22:22:57Z

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

International Conference on Computer Networks and Communication Technologies ICCNCT 2018

2025-12-13T22:22:57Z

Author Smys, S. editor. Bestak, Robert. editor. Chen, Joy Iong-Zong. editor. Kotuliak, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8681-6
Format: Electronic Resources
Availability Online Library~1

Emerging Technologies in Computer Engineering: Microservices in Big Data Analytics Second International Conference, ICETCE 2019, Jaipur, India, February 1–2, 2019, Revised Selected Papers

2025-12-13T22:22:57Z

Author Somani, Arun K. editor. Ramakrishna, Seeram. editor. (orcid)0000-0001-8479-8686 Chaudhary, Anil. editor. Choudhary, Chothmal. editor. Agarwal, Basant. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8300-7
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

2025-12-13T22:22:57Z

Author Lee, Ji-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8410-3
Format: Electronic Resources
Availability Online Library~1

HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

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

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

2025-12-13T22:22:57Z

Author Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30278-8
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings

2025-12-13T22:22:57Z

Author Montella, Raffaele. editor. Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995 Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484 Liotta, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34914-1
Format: Electronic Resources
Availability Online Library~1

Beyond Databases, Architectures and Structures. Paving the Road to Smart Data Processing and Analysis 15th International Conference, BDAS 2019, Ustroń, Poland, May 28–31, 2019, Proceedings

2025-12-13T22:22:57Z

Author Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19093-4
Format: Electronic Resources
Availability Online Library~1

Geographical Information Systems Theory, Applications and Management Third International Conference, GISTAM 2017, Porto, Portugal, April 27–28, 2017, Revised Selected Papers

2025-12-13T22:22:57Z

Author Ragia, Lemonia. editor. Laurini, Robert. editor. Rocha, Jorge Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06010-7
Format: Electronic Resources
Availability Online Library~1

Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage First International Conference, TMM_CH 2018, Athens, Greece, October 10–13, 2018, Revised Selected Papers, Part II

2025-12-13T22:22:57Z

Author Moropoulou, Antonia. editor. Korres, Manolis. editor. Georgopoulos, Andreas. editor. Spyrakos, Constantine. editor. Mouzakis, Charalambos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12960-6
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part I

2025-12-13T22:22:57Z

Author Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36365-9
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

2025-12-13T22:22:57Z

Author Breitinger, Frank. editor. (orcid)0000-0001-5261-4600 Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05487-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Edutainment XV

2025-12-13T22:22:57Z

Author Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Zhang, Mingmin. editor. El Rhalibi, Abdennour. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59351-6
Format: Electronic Resources
Availability Online Library~1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2025-12-13T22:22:57Z

Author Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2025-12-13T22:22:57Z

Author MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19823-7
Format: Electronic Resources
Availability Online Library~1