Limit Search Results
Author
SpringerLink (Online service)
(64)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(64)
Application software.
(15)
Optical data processing.
(14)
Software engineering.
(14)
Computer organization.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
66 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part I
Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part I
Author 
Oliver, Gillian. editor. (orcid)0000-0003-2943-5035 Frings-Hessami, Viviane. editor. (orcid)0000-0003-0728-5355 Du, Jia Tina. editor. (orcid)0000-0002-3243-5768 Tezuka, Taro. editor. (orcid)0000-0002-5628-9961 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part II
Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part II
Author 
Oliver, Gillian. editor. (orcid)0000-0003-2943-5035 Frings-Hessami, Viviane. editor. (orcid)0000-0003-0728-5355 Du, Jia Tina. editor. (orcid)0000-0002-3243-5768 Tezuka, Taro. editor. (orcid)0000-0002-5628-9961 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0868-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cooperative Information Systems 30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings
Cooperative Information Systems 30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings
Author 
Comuzzi, Marco. editor. (orcid)0000-0002-6944-4705 Grigori, Daniela. editor. (orcid)0000-0003-1741-8676 Sellami, Mohamed. editor. (orcid)0000-0002-7547-1857 Zhou, Zhangbing. editor. (orcid)0000-0002-3195-2253 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81375-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Data and Applications Security and Privacy XXXIX 39th IFIP WG 11.3 Annual Conference on Data and Applications Security and Privacy, DBSec 2025, Gjøvik, Norway, June 23-24, 2025, Proceedings
Data and Applications Security and Privacy XXXIX 39th IFIP WG 11.3 Annual Conference on Data and Applications Security and Privacy, DBSec 2025, Gjøvik, Norway, June 23-24, 2025, Proceedings
Author 
Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Shafiq, Basit. editor. (orcid)0000-0002-7862-6682 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96590-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Internet Modeling with Julia Models, Algorithms and Programs
Internet Modeling with Julia Models, Algorithms and Programs
Author 
Hofmann, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-44692-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Data and Applications Security and Privacy XXXVIII 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings
Data and Applications Security and Privacy XXXVIII 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings
Author 
Ferrara, Anna Lisa. editor. (orcid)0000-0002-1026-5729 Krishnan, Ram. editor. (orcid)0000-0002-7402-553X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65172-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cooperative Information Systems 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings
Cooperative Information Systems 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings
Author 
Sellami, Mohamed. editor. Vidal, Maria-Esther. editor. van Dongen, Boudewijn. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46846-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Author 
Metcalfe, George. editor. Studer, Thomas. editor. de Queiroz, Ruy. editor. (orcid)0000-0003-1482-0977 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62687-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for EMERGING TRENDS IN IOT AND COMPUTING TECHNOLOGIES proceedings of the International Conference on Emerging Trends in IoT and Computing Technologies (ICEICT-2022) held at Goel Institute of Technology & Management, Lucknow, India.
EMERGING TRENDS IN IOT AND COMPUTING TECHNOLOGIES proceedings of the International Conference on Emerging Trends in IoT and Computing Technologies (ICEICT-2022) held at Goel Institute of Technology & Management, Lucknow, India.
Author 
International Conference on Emerging Trends in IoT and Computing Technologies (2022 : Lucknow, India) Varmā, Satyabhūshaṇa, 1932-2005. Tripathi, Suman Lata.
Preferred Shelf Number 
TK5105.8857
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003350057
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Machine learning for iOS developers
Machine learning for iOS developers
Author 
Mishra, Abhishek, author.
Preferred Shelf Number 
Q325.5 .M57 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Author 
Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040 Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160 Zarpelão, Bruno. editor. (orcid)0000-0001-9172-3578 Rosas, Erika. editor. (orcid)0000-0003-0377-0193 Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19223-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for 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 II
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 II
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-36368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Advances of Science and Technology 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings
Advances of Science and Technology 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings
Author 
Zimale, Fasikaw Atanaw. editor. Enku Nigussie, Temesgen. editor. Fanta, Solomon Workneh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15357-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Geo-informatics in Sustainable Ecosystem and Society 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers
Geo-informatics in Sustainable Ecosystem and Society 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers
Author 
Xie, Yichun. editor. (orcid)0000-0002-2045-6406 Zhang, Anbing. editor. Liu, Haixin. editor. Feng, Lili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7025-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Joshi, James. editor. (orcid)0000-0003-4519-9802 Nepal, Surya. editor. Zhang, Qi. 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-23404-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Mobile Computing, Applications, and Services 10th EAI International Conference, MobiCASE 2019, Hangzhou, China, June 14–15, 2019, Proceedings
Mobile Computing, Applications, and Services 10th EAI International Conference, MobiCASE 2019, Hangzhou, China, June 14–15, 2019, Proceedings
Author 
Yin, Yuyu. editor. Li, Ying. editor. Gao, Honghao. editor. Zhang, Jilin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28468-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Multimedia QoE Evaluation
Multimedia QoE Evaluation
Author 
Wei, Xin. author. Zhou, Liang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23350-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2019 International Workshops, Atlanta, GA, USA, July 14–17, 2019, Proceedings
Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2019 International Workshops, Atlanta, GA, USA, July 14–17, 2019, Proceedings
Author 
Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Feng, Jun. editor. (orcid)0000-0001-9917-1819 Bhuiyan, Md Zakirul Alam. editor. (orcid)0000-0002-9513-9990 Lu, Rongxing. editor. (orcid)0000-0001-5720-0941 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II
Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II
Author 
Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159 Maji, Pradipta. editor. (orcid)0000-0002-8288-8917 Mitra, Sushmita. editor. (orcid)0000-0001-9285-1117 Bhattacharyya, Dhruba Kumar. editor. (orcid)0000-0002-9506-7640 Bora, Prabin Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34872-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Representation Theorems in Computer Science A Treatment in Logic Engineering
Representation Theorems in Computer Science A Treatment in Logic Engineering
Author 
Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25785-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I
Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19591-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part II
Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part II
Author 
Mandal, Jyotsna Kumar. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. Dasgupta, Kousik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8581-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I
Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I
Author 
Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29743-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings
Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Security and Privacy Second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January, 9–11, 2019, Revised Selected Papers
Security and Privacy Second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January, 9–11, 2019, Revised Selected Papers
Author 
Nandi, Sukumar. editor. Jinwala, Devesh. editor. Singh, Virendra. editor. Laxmi, Vijay. editor. Gaur, Manoj Singh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I
Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I
Author 
Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159 Maji, Pradipta. editor. (orcid)0000-0002-8288-8917 Mitra, Sushmita. editor. (orcid)0000-0001-9285-1117 Bhattacharyya, Dhruba Kumar. editor. (orcid)0000-0002-9506-7640 Bora, Prabin Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34869-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings
Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings
Author 
Shankar Sriram, V. S. editor. (orcid)0000-0001-7870-7944 Subramaniyaswamy, V. editor. Sasikaladevi, N. editor. (orcid)0000-0002-0841-502X Zhang, Leo. editor. Batten, Lynn. editor. (orcid)0000-0003-4525-2423
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0871-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Author 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22747-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Interactive Storytelling 12th International Conference on Interactive Digital Storytelling, ICIDS 2019, Little Cottonwood Canyon, UT, USA, November 19–22, 2019, Proceedings
Interactive Storytelling 12th International Conference on Interactive Digital Storytelling, ICIDS 2019, Little Cottonwood Canyon, UT, USA, November 19–22, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Handbook of Big Data and IoT Security
Handbook of Big Data and IoT Security
Author 
Dehghantanha, Ali. editor. (orcid)0000-0002-9294-7554 Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10543-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for HCI in Business, Government and Organizations. Information Systems and Analytics 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 II
HCI in Business, Government and Organizations. Information Systems and Analytics 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 II
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-22338-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II
From Bioinspired Systems and Biomedical Applications to Machine Learning 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19651-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22744-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Context-Aware Systems and Applications, and Nature of Computation and Communication 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22–23, 2018, Proceedings
Context-Aware Systems and Applications, and Nature of Computation and Communication 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22–23, 2018, Proceedings
Author 
Cong Vinh, Phan. editor. Alagar, Vangalur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-06152-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computational Color Imaging 7th International Workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019, Proceedings
Computational Color Imaging 7th International Workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019, Proceedings
Author 
Tominaga, Shoji. editor. Schettini, Raimondo. editor. (orcid)0000-0001-7461-1451 Trémeau, Alain. editor. Horiuchi, Takahiko. editor. (orcid)0000-0002-8197-6499 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13940-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Cross-Cultural Design. Methods, Tools and User Experience 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Cross-Cultural Design. Methods, Tools and User Experience 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Author 
Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22577-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Cross-Cultural Design. Culture and Society 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
Cross-Cultural Design. Culture and Society 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
Author 
Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22580-3
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22741-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II
Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II
Author 
Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29750-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings
Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings
Author 
Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233 Pernici, Barbara. editor. Lim, Ee-Peng. editor. de Oliveira, José Palazzo M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33223-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Author 
Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68210-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings
Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings
Author 
Nguyen, Phong Q. editor. Zhou, Jianying. editor. (orcid)0000-0003-0594-0432 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69659-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Advances in Web-Based Learning -- ICWL 2014 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings
Advances in Web-Based Learning -- ICWL 2014 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings
Author 
Popescu, Elvira. editor. Lau, Rynson W. H. editor. Pata, Kai. editor. Leung, Howard. editor. Laanpere, Mart. editor. (orcid)0000-0002-9853-9965
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09635-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Handbook of Human Centric Visualization
Handbook of Human Centric Visualization
Author 
Huang, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7485-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Author 
Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12084-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
Author 
Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13563-2
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Author 
McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54013-4
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Guided Self-Organization: Inception
Guided Self-Organization: Inception
Author 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53734-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I
Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I
Author 
Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44193-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
Author 
Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54943-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II
Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II
Author 
Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44196-1
Format: 
Availability 
Online Library~1
Available:
Copies: