Search Results for Computer engineering - Narrowed by: Computers.

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

2026-03-15T04:36:15Z

Author Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49252-5
Format: Electronic Resources
Availability Online Library~1

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2026-03-15T04:36:15Z

Author Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12018-4
Format: Electronic Resources
Availability Online Library~1

Representation Theorems in Computer Science A Treatment in Logic Engineering

2026-03-15T04:36:15Z

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: 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

2026-03-15T04:36:15Z

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

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2017

2026-03-15T04:36:15Z

Author Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2191-7
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013)

2026-03-15T04:36:15Z

Author Wong, W. Eric. editor. Zhu, Tingshao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-01766-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013

2026-03-15T04:36:15Z

Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9115-1
Format: Electronic Resources
Availability Online Library~1

A century of electrical engineering and computer science at MIT, 1882-1982

2026-03-15T04:36:15Z

Author Wildes, Karl L. Lindgren, Nilo A.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267505
Format: Electronic Resources
Availability Online Library~1

Cognitive Resource Management for Heterogeneous Cellular Networks

2026-03-15T04:36:15Z

Author Liu, Yongkang. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06284-6
Format: Electronic Resources
Availability Online Library~1

Broadcast Design in Cognitive Radio Ad Hoc Networks

2026-03-15T04:36:15Z

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

Social Group Utility Maximization

2026-03-15T04:36:15Z

Author Gong, Xiaowen. author. Chen, Xu. author. Yang, Lei. author. Zhang, Junshan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12322-6
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II

2026-03-15T04:36:15Z

Author Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56583-0
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation Methodologies and Tools 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings

2026-03-15T04:36:15Z

Author Kalyvianaki, Evangelia. editor. Paolieri, Marco. editor. (orcid)0000-0001-5110-203X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48885-6
Format: Electronic Resources
Availability Online Library~1

Nature of Computation and Communication 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings

2026-03-15T04:36:15Z

Author Cong Vinh, Phan. editor. (orcid)0000-0002-0797-0152 Mahfooz Ul Haque, Hafiz. editor. (orcid)0000-0003-1074-8613 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59462-5
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

2026-03-15T04:36:15Z

Author Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36405-2
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, Proceedings, Part I

2026-03-15T04:36:15Z

Author Chen, Songqing. editor. (orcid)0000-0003-4650-7125 Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Fu, Xinwen. editor. (orcid)0000-0003-2391-7789 Lou, Wenjing. editor. Mohaisen, Aziz. editor. (orcid)0000-0003-3227-2505
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37228-6
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part I

2026-03-15T04:36:15Z

Author Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36402-1
Format: Electronic Resources
Availability Online Library~1

Smart Grid and Internet of Things Second EAI International Conference, SGIoT 2018, Niagara Falls, ON, Canada, July 11, 2018, Proceedings

2026-03-15T04:36:15Z

Author Pathan, Al-Sakib Khan. editor. (orcid)0000-0001-6572-3451 Fadlullah, Zubair Md. editor. Guerroumi, Mohamed. editor. (orcid)0000-0001-9998-0608 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05928-6
Format: Electronic Resources
Availability Online Library~1

Interactivity, Game Creation, Design, Learning, and Innovation 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24–26, 2018, Proceedings

2026-03-15T04:36:15Z

Author Brooks, Anthony L. editor. (orcid)0000-0003-1334-6230 Brooks, Eva. editor. (orcid)0000-0001-7286-0876 Sylla, Cristina. editor. (orcid)0000-0003-2159-7566 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06134-0
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23–25, 2019, Proceedings, Part II

2026-03-15T04:36:15Z

Author Chen, Songqing. editor. (orcid)0000-0003-4650-7125 Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Fu, Xinwen. editor. (orcid)0000-0003-2391-7789 Lou, Wenjing. editor. Mohaisen, Aziz. editor. (orcid)0000-0003-3227-2505
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37231-6
Format: Electronic Resources
Availability Online Library~1

Collaborative Computing: Networking, Applications and Worksharing 15th EAI International Conference, CollaborateCom 2019, London, UK, August 19-22, 2019, Proceedings

2026-03-15T04:36:15Z

Author Wang, Xinheng. editor. Gao, Honghao. editor. Iqbal, Muddesar. editor. Min, Geyong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30146-0
Format: Electronic Resources
Availability Online Library~1

e-Learning, e-Education, and Online Training 5th EAI International Conference, eLEOT 2019, Kunming, China, August 18–19, 2019, Proceedings

2026-03-15T04:36:15Z

Author Sun, Guanglu. editor. Gan, Jianhou. editor. Liu, Shuai. editor. Lang, Fei. editor. Lu, Zeguang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35095-6
Format: Electronic Resources
Availability Online Library~1

Mobile Computing, Applications, and Services 10th EAI International Conference, MobiCASE 2019, Hangzhou, China, June 14–15, 2019, Proceedings

2026-03-15T04:36:15Z

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

Bio-inspired Information and Communication Technologies 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedings

2026-03-15T04:36:15Z

Author Compagnoni, Adriana. editor. Casey, William. editor. Cai, Yang. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24202-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings

2026-03-15T04:36:15Z

Author Ferreira, Joao Carlos. editor. (orcid)0000-0002-6662-0806 Martins, Ana Lúcia. editor. (orcid)0000-0002-8533-6595 Monteiro, Vitor. editor. (orcid)0000-0001-6640-8955 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14757-0
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 11th EAI International Conference, WiCON 2018, Taipei, Taiwan, October 15-16, 2018, Proceedings

2026-03-15T04:36:15Z

Author Chen, Jiann-Liang. editor. Pang, Ai-Chun. editor. Deng, Der-Jiunn. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06158-6
Format: Electronic Resources
Availability Online Library~1

Collaborative Computing: Networking, Applications and Worksharing 14th EAI International Conference, CollaborateCom 2018, Shanghai, China, December 1-3, 2018, Proceedings

2026-03-15T04:36:15Z

Author Gao, Honghao. editor. Wang, Xinheng. editor. Yin, Yuyu. editor. Iqbal, Muddesar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12981-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings

2026-03-15T04:36:15Z

Author Zhai, Xiangping Bryce. editor. (orcid)0000-0001-8939-199X Chen, Bing. editor. Zhu, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32388-2
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructures for the Development of Networks and Communities 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings

2026-03-15T04:36:15Z

Author Gao, Honghao. editor. Yin, Yuyu. editor. Yang, Xiaoxian. editor. Miao, Huaikou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12971-2
Format: Electronic Resources
Availability Online Library~1

Innovations and Interdisciplinary Solutions for Underserved Areas Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedings

2026-03-15T04:36:15Z

Author Bassioni, Ghada. editor. Kebe, Cheikh M.F. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34863-2
Format: Electronic Resources
Availability Online Library~1

Broadband Communications, Networks, and Systems 9th International EAI Conference, Broadnets 2018, Faro, Portugal, September 19–20, 2018, Proceedings

2026-03-15T04:36:15Z

Author Sucasas, Victor. editor. (orcid)0000-0002-7981-401X Mantas, Georgios. editor. (orcid)0000-0002-8074-0417 Althunibat, Saud. editor. (orcid)0000-0002-5017-5007 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05195-2
Format: Electronic Resources
Availability Online Library~1

Emerging Technologies for Developing Countries Second EAI International Conference, AFRICATEK 2018, Cotonou, Benin, May 29–30, 2018, Proceedings

2026-03-15T04:36:15Z

Author Zitouni, Rafik. editor. Agueh, Max. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05198-3
Format: Electronic Resources
Availability Online Library~1

Advances of Science and Technology 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings

2026-03-15T04:36:15Z

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

Cognitive Radio Oriented Wireless Networks 13th EAI International Conference, CROWNCOM 2018, Ghent, Belgium, September 18–20, 2018, Proceedings

2026-03-15T04:36:15Z

Author Moerman, Ingrid. editor. (orcid)0000-0003-2377-3674 Marquez-Barja, Johann. editor. (orcid)0000-0001-5660-3597 Shahid, Adnan. editor. (orcid)0000-0003-1943-6261 Liu, Wei. editor. Giannoulis, Spilios. editor. (orcid)0000-0002-3190-8770
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05490-8
Format: Electronic Resources
Availability Online Library~1

Green Energy and Networking 5th EAI International Conference, GreeNets 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings

2026-03-15T04:36:15Z

Author Afonso, João L. editor. (orcid)0000-0001-9195-1239 Monteiro, Vítor. editor. (orcid)0000-0001-6640-8955 Pinto, José Gabriel. editor. (orcid)0000-0003-4289-4770 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12950-7
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

2026-03-15T04:36:15Z

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

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

2026-03-15T04:36:15Z

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

Security and Privacy in New Computing Environments Second EAI International Conference, SPNCE 2019, Tianjin, China, April 13–14, 2019, Proceedings

2026-03-15T04:36:15Z

Author Li, Jin. editor. Liu, Zheli. editor. Peng, Hao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21373-2
Format: Electronic Resources
Availability Online Library~1

Context-Aware Systems and Applications, and Nature of Computation and Communication 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings

2026-03-15T04:36:15Z

Author Vinh, Phan Cong. editor. (orcid)0000-0002-0797-0152 Rakib, Abdur. editor. (orcid)0000-0001-5430-450X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34365-1
Format: Electronic Resources
Availability Online Library~1

Broadband Communications, Networks, and Systems 10th EAI International Conference, Broadnets 2019, Xi’an, China, October 27-28, 2019, Proceedings

2026-03-15T04:36:15Z

Author Li, Qingshan. editor. Song, Shengli. editor. Li, Rui. editor. Xu, Yueshen. editor. Xi, Wei. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36442-7
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers

2026-03-15T04:36:15Z

Author Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49580-4
Format: Electronic Resources
Availability Online Library~1

Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings

2026-03-15T04:36:15Z

Author Noguet, Dominique. editor. Moessner, Klaus. editor. Palicot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40352-6
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers

2026-03-15T04:36:15Z

Author Gladyshev, Pavel. editor. Marrington, Andrew. editor. Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14289-0
Format: Electronic Resources
Availability Online Library~1

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80760-2
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78709-6
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2024 International Workshops SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II

2026-03-15T04:36:15Z

Author Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kalutarage, Harsha. editor. (orcid)0000-0001-6430-9558 Yanai, Naoto. editor. (orcid)0000-0002-0817-6188 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Ksieniewicz, Paweł. editor. (orcid)0000-0001-9578-8395
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82362-6
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78453-8
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78450-7
Format: Electronic Resources
Availability Online Library~1

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80775-6
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78750-8
Format: Electronic Resources
Availability Online Library~1

Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers

2026-03-15T04:36:15Z

Author Panda, Sanjaya Kumar. editor. (orcid)0000-0003-3242-525X Buyya, Rajkumar. editor. Rout, Rashmi Ranjan. editor. (orcid)0000-0003-3457-6633 Bisi, Manjubala. editor. (orcid)0000-0002-9555-1520 Godboley, Sangharatna. editor. (orcid)0000-0002-6169-6334
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-79041-6
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

2026-03-15T04:36:15Z

Author Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87330-0
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I

2026-03-15T04:36:15Z

Author Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87327-0
Format: Electronic Resources
Availability Online Library~1

Advances in Digital Forensics XX 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4-5, 2024, Revised Selected Papers

2026-03-15T04:36:15Z

Author Kurkowski, Elizabeth. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71025-4
Format: Electronic Resources
Availability Online Library~1

Business Data Analytics Second International Conference, ICBDA 2023, Dehradun, India, December 7-8, 2023, Proceedings

2026-03-15T04:36:15Z

Author Singh, Rajesh. editor. (orcid)0000-0002-3164-8905 Gehlot, Anita. editor. (orcid)0000-0001-6463-9581 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80778-7
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings

2026-03-15T04:36:15Z

Author Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87995-1
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I

2026-03-15T04:36:15Z

Author Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Barker, Ken. editor. Navarro-Arribas, Guillermo. editor. (orcid)0000-0003-3535-942X Pérez-Solà, Cristina. editor. (orcid)0000-0001-7534-1326 Delgado-Segura, Sergi. editor. (orcid)0000-0001-7783-7288
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82349-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77915-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. (orcid)0000-0002-4860-0203 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77918-3
Format: Electronic Resources
Availability Online Library~1

Advances in Mobile Computing and Multimedia Intelligence 22nd International Conference, MoMM 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings

2026-03-15T04:36:15Z

Author Delir Haghighi, Pari. editor. (orcid)0000-0001-9922-1214 Fedushko, Solomiia. editor. (orcid)0000-0001-7548-5856 Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Khalil, Ismail. editor. (orcid)0000-0003-2493-3414 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78049-3
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72338-4
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17-19, 2024, Proceedings

2026-03-15T04:36:15Z

Author Maggi, Federico. editor. (orcid)0000-0003-1073-8036 Egele, Manuel. editor. (orcid)0000-0001-5038-2682 Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Carminati, Michele. editor. (orcid)0000-0001-8284-6074 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64171-8
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security Workshops ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Andreoni, Martin. editor. (orcid)0000-0002-4170-4341 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61489-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63215-0
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72350-6
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

2026-03-15T04:36:15Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70085-9
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70341-6
Format: Electronic Resources
Availability Online Library~1

Cloud Computing - CLOUD 2023 16th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

2026-03-15T04:36:15Z

Author Luo, Min. 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-031-51709-9
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VII

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70368-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part III

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70352-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70344-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IV

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70359-1
Format: Electronic Resources
Availability Online Library~1

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I

2026-03-15T04:36:15Z

Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7019-3
Format: Electronic Resources
Availability Online Library~1

ICT Systems Security and Privacy Protection 38th IFIP TC 11 International Conference, SEC 2023, Poznan, Poland, June 14-16, 2023, Revised Selected Papers

2026-03-15T04:36:15Z

Author Meyer, Norbert. editor. Grocholewska-Czuryło, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56326-3
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024, Proceedings

2026-03-15T04:36:15Z

Author Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Stabernack, Benno. editor. (orcid)0000-0002-6654-1606 Lankes, Stefan. editor. (orcid)0000-0003-4718-2238 Pacher, Mathias. editor. (orcid)0000-0001-5313-5898 Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66146-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 17th International Conference, KSEM 2024, Birmingham, UK, August 16-18, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Cao, Cungeng. editor. Chen, Huajun. editor. (orcid)0000-0001-5496-7442 Zhao, Liang. editor. (orcid)0000-0002-2648-9989 Arshad, Junaid. editor. Asyhari, Taufiq. editor. (orcid)0000-0002-3023-8285
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5492-2
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 17th International Conference, KSEM 2024, Birmingham, UK, August 16-18, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Cao, Cungeng. editor. Chen, Huajun. editor. (orcid)0000-0001-5496-7442 Zhao, Liang. editor. (orcid)0000-0002-2648-9989 Arshad, Junaid. editor. Asyhari, Taufiq. editor. (orcid)0000-0002-3023-8285
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5495-3
Format: Electronic Resources
Availability Online Library~1

Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation

2026-03-15T04:36:15Z

Author Roy, Shirshendu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41085-7
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2023 International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II

2026-03-15T04:36:15Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Abie, Habtamu. editor. (orcid)0000-0003-0866-5050 Ranise, Silvio. editor. (orcid)0000-0001-7269-9285 Verderame, Luca. editor. (orcid)0000-0001-7155-7429 Cambiaso, Enrico. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54129-2
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

2026-03-15T04:36:15Z

Author Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Véstias, Mário. editor. Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55673-9
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education. Teaching and Curriculum 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part II

2026-03-15T04:36:15Z

Author Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0791-1
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers

2026-03-15T04:36:15Z

Author Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70947-0
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 17th International Conference, KSEM 2024, Birmingham, UK, August 16-18, 2024, Proceedings, Part V

2026-03-15T04:36:15Z

Author Cao, Cungeng. editor. Chen, Huajun. editor. (orcid)0000-0001-5496-7442 Zhao, Liang. editor. (orcid)0000-0002-2648-9989 Arshad, Junaid. editor. Asyhari, Taufiq. editor. (orcid)0000-0002-3023-8285
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5489-2
Format: Electronic Resources
Availability Online Library~1

Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures

2026-03-15T04:36:15Z

Author Bulić, Patricio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58075-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part III

2026-03-15T04:36:15Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63219-8
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security Workshops ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Andreoni, Martin. editor. (orcid)0000-0002-4170-4341 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61486-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63211-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part IV

2026-03-15T04:36:15Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63223-5
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72356-8
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72359-9
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72341-4
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72344-5
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72332-2
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72335-3
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72353-7
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI

2026-03-15T04:36:15Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72347-6
Format: Electronic Resources
Availability Online Library~1

Disruptive Innovation in a Digitally Connected Healthy World 23rd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2024, Heerlen, The Netherlands, September 11-13, 2024, Proceedings

2026-03-15T04:36:15Z

Author van de Wetering, Rogier. editor. (orcid)0000-0002-8024-7120 Helms, Remko. editor. (orcid)0000-0002-3707-4201 Roelens, Ben. editor. (orcid)0000-0002-2443-8678 Bagheri, Samaneh. editor. (orcid)0000-0002-1732-2298 Dwivedi, Yogesh K. editor. (orcid)0000-0002-5547-9990
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72234-9
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

2026-03-15T04:36:15Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70055-2
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

2026-03-15T04:36:15Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70068-2
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

2026-03-15T04:36:15Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70071-2
Format: Electronic Resources
Availability Online Library~1

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III

2026-03-15T04:36:15Z

Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7025-4
Format: Electronic Resources
Availability Online Library~1

Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2026-03-15T04:36:15Z

Author Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9893-7
Format: Electronic Resources
Availability Online Library~1

Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II

2026-03-15T04:36:15Z

Author Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9896-8
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part II

2026-03-15T04:36:15Z

Author Gan, Jianhou. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Zhou, Juxiang. editor. Liu, Dong. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9492-2
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part I

2026-03-15T04:36:15Z

Author Gan, Jianhou. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Zhou, Juxiang. editor. Liu, Dong. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9499-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VI

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70365-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Daniušis, Povilas. editor. (orcid)0000-0001-5977-827X Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70371-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70378-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part X

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70381-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part V

2026-03-15T04:36:15Z

Author Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70362-1
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 17th International Conference, KSEM 2024, Birmingham, UK, August 16-18, 2024, Proceedings, Part III

2026-03-15T04:36:15Z

Author Cao, Cungeng. editor. Chen, Huajun. editor. (orcid)0000-0001-5496-7442 Zhao, Liang. editor. (orcid)0000-0002-2648-9989 Arshad, Junaid. editor. Asyhari, Taufiq. editor. (orcid)0000-0002-3023-8285
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5498-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 17th International Conference, KSEM 2024, Birmingham, UK, August 16-18, 2024, Proceedings, Part IV

2026-03-15T04:36:15Z

Author Cao, Cungeng. editor. Chen, Huajun. editor. (orcid)0000-0001-5496-7442 Zhao, Liang. editor. (orcid)0000-0002-2648-9989 Arshad, Junaid. editor. Asyhari, Taufiq. editor. (orcid)0000-0002-3023-8285
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5501-1
Format: Electronic Resources
Availability Online Library~1

Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering

2026-03-15T04:36:15Z

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

Computing, Communication and Learning Second International Conference, CoCoLe 2023, Warangal, India, August 29-31, 2023, Proceedings

2026-03-15T04:36:15Z

Author Panda, Sanjaya Kumar. editor. (orcid)0000-0003-3242-525X Rout, Rashmi Ranjan. editor. (orcid)0000-0003-3457-6633 Bisi, Manjubala. editor. (orcid)0000-0002-9555-1520 Sadam, Ravi Chandra. editor. Li, Kuan-Ching. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56998-2
Format: Electronic Resources
Availability Online Library~1

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II

2026-03-15T04:36:15Z

Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7022-3
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education. Computer Science and Technology 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part I

2026-03-15T04:36:15Z

Author Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0730-0
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2023 International Workshops CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I

2026-03-15T04:36:15Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. (orcid)0000-0001-8792-0413 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54204-6
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education. Educational Digitalization 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part III

2026-03-15T04:36:15Z

Author Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0737-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T04:36:15Z

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

Handbook of Large-Scale Distributed Computing in Smart Healthcare

2026-03-15T04:36:15Z

Author Khan, Samee U. editor. Zomaya, Albert Y. editor. Abbas, Assad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58280-1
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers

2026-03-15T04:36:15Z

Author Hollstein, Thomas. editor. Raik, Jaan. editor. Kostin, Sergei. editor. Tšertov, Anton. editor. O'Connor, Ian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67104-8
Format: Electronic Resources
Availability Online Library~1

Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools

2026-03-15T04:36:15Z

Author Bhuyan, Monowar H. author. Bhattacharyya, Dhruba K. author. Kalita, Jugal K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65188-0
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers

2026-03-15T04:36:15Z

Author Brenner, Michael. editor. Rohloff, Kurt. editor. Bonneau, Joseph. editor. Miller, Andrew. editor. Ryan, Peter Y.A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70278-0
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2026-03-15T04:36:15Z

Author Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources
Availability Online Library~1

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

2026-03-15T04:36:15Z

Author Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65831-5
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

2026-03-15T04:36:15Z

Author Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56258-2
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-15T04:36:15Z

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

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2026-03-15T04:36:15Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57708-1
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

2026-03-15T04:36:15Z

Author D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-03-15T04:36:15Z

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

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers

2026-03-15T04:36:15Z

Author Barrios Hernández, Carlos Jaime. editor. Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57972-6
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2026-03-15T04:36:15Z

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

Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings

2026-03-15T04:36:15Z

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

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

2026-03-15T04:36:15Z

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

Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings

2026-03-15T04:36:15Z

Author Bonato, Vanderlei. editor. Bouganis, Christos. editor. Gorgon, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30481-6
Format: Electronic Resources
Availability Online Library~1

Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays

2026-03-15T04:36:15Z

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

System Architecture An Ordinary Engineering Discipline

2026-03-15T04:36:15Z

Author Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43065-2
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers

2026-03-15T04:36:15Z

Author Shin, Youngsoo. editor. Tsui, Chi Ying. editor. Kim, Jae-Joon. editor. Choi, Kiyoung. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46097-0
Format: Electronic Resources
Availability Online Library~1

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

2026-03-15T04:36:15Z

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

Understanding Control Flow Concurrent Programming Using μC++

2026-03-15T04:36:15Z

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

Computer methods. Part C

2026-03-15T04:36:15Z

Author Johnson, Michael L., 1947- Brand, Ludwig. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Computer methods. Part C

2026-03-15T04:36:15Z

Author Johnson, Michael L., 1947- Brand, Ludwig.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/publication?issn=00766879&volume=487 ScienceDirect http://www.sciencedirect.com/science/book/9780123812704
Format: Electronic Resources
Availability Online Library~1