Search Results for Operating. - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOperating.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300?dt=list
2026-03-22T05:08:20Z
Operating AI : bridging the gap between technology and business
ent://SD_ILS/0/SD_ILS:597516
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Jägare, Ulrika, author.<br/>Preferred Shelf Number HF5548.2 .J34 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320707">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robot Operating System (ROS) The Complete Reference (Volume 7)
ent://SD_ILS/0/SD_ILS:526731
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Koubaa, Anis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-09062-2">https://doi.org/10.1007/978-3-031-09062-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging Second International Workshop, OR 2.0 2019, and Second International Workshop, MLCN 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483929
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Zhou, Luping. editor. Sarikaya, Duygu. editor. (orcid)0000-0002-2083-4999 Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X Speidel, Stefanie. editor. (orcid)0000-0002-4590-1908 Malpani, Anand. editor. (orcid)0000-0001-9477-9403<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32695-1">https://doi.org/10.1007/978-3-030-32695-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400542
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01201-4">https://doi.org/10.1007/978-3-030-01201-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robot Operating System (ROS) The Complete Reference (Volume 2)
ent://SD_ILS/0/SD_ILS:614661
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Koubaa, Anis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54927-9">https://doi.org/10.1007/978-3-319-54927-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robot Operating System (ROS) The Complete Reference (Volume 1)
ent://SD_ILS/0/SD_ILS:614189
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Koubaa, Anis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26054-9">https://doi.org/10.1007/978-3-319-26054-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196927
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30607-5">http://dx.doi.org/10.1007/978-3-642-30607-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193698
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17758-3">http://dx.doi.org/10.1007/978-3-642-17758-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reimagine finance : the CFO's leadership playbook for the age of AI, data and digital
ent://SD_ILS/0/SD_ILS:600151
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Munir, Tariq, author.<br/>Preferred Shelf Number HG4027.35 .M86 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320219">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320219</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytic Learning Methods for Pattern Recognition
ent://SD_ILS/0/SD_ILS:608752
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Toh, Kar-Ann. author. (orcid)0000-0002-3736-003X Zhuang, Huiping. author. Liu, Simon. author. Lin, Zhiping. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2151-4">https://doi.org/10.1007/978-981-96-2151-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608937
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95497-9">https://doi.org/10.1007/978-3-031-95497-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Surgery Recent Advances and Future
ent://SD_ILS/0/SD_ILS:609652
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Masamune, Ken. editor. Kusuda, Kaori. editor. Nakamura, Hiroyuki. editor. Muragaki, Yoshihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-6635-5">https://doi.org/10.1007/978-981-96-6635-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605593
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75144-8">https://doi.org/10.1007/978-3-031-75144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605594
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75147-9">https://doi.org/10.1007/978-3-031-75147-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607835
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2830-8">https://doi.org/10.1007/978-981-96-2830-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607836
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2864-3">https://doi.org/10.1007/978-981-96-2864-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative AI in Creative Industries
ent://SD_ILS/0/SD_ILS:609227
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Al-Marzouqi, Amina. editor. (orcid)0000-0002-6073-3981 Salloum, Said. editor. Shaalan, Khaled. editor. (orcid)0000-0003-0823-8390 Gaber, Tarek. editor. Masa'deh, Ra'ed. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89175-5">https://doi.org/10.1007/978-3-031-89175-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:605610
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72578-4">https://doi.org/10.1007/978-3-031-72578-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605766
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75431-9">https://doi.org/10.1007/978-3-031-75431-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blockchain, Metaverse and Trustworthy Systems 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:607059
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author He, Debiao. editor. (orcid)0000-0002-2446-7436 Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Wang, Chen. editor. (orcid)0000-0002-3951-3159 Huang, Huawei. editor. (orcid)0000-0002-7035-6446 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1411-0">https://doi.org/10.1007/978-981-96-1411-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blockchain, Metaverse and Trustworthy Systems 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:607060
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author He, Debiao. editor. (orcid)0000-0002-2446-7436 Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Wang, Chen. editor. (orcid)0000-0002-3951-3159 Huang, Huawei. editor. (orcid)0000-0002-7035-6446 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1414-1">https://doi.org/10.1007/978-981-96-1414-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607157
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81226-2">https://doi.org/10.1007/978-3-031-81226-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608973
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95589-1">https://doi.org/10.1007/978-3-031-95589-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps
ent://SD_ILS/0/SD_ILS:599609
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.<br/>Preferred Shelf Number QA76.76 .C52 V36 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
ent://SD_ILS/0/SD_ILS:599880
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Arif, Tariq M., author. John Wiley & Sons, publisher.<br/>Preferred Shelf Number Q325.73 .A75 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604173
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64573-0">https://doi.org/10.1007/978-3-031-64573-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602079
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49269-3">https://doi.org/10.1007/978-3-031-49269-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602090
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48796-5">https://doi.org/10.1007/978-3-031-48796-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602473
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52823-1">https://doi.org/10.1007/978-3-031-52823-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603900
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62697-5">https://doi.org/10.1007/978-3-031-62697-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603912
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62645-6">https://doi.org/10.1007/978-3-031-62645-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Intelligence in Action Taking Process Mining to the Next Level
ent://SD_ILS/0/SD_ILS:604061
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Reinkemeyer, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61343-2">https://doi.org/10.1007/978-3-031-61343-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:604430
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64748-2">https://doi.org/10.1007/978-3-031-64748-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:604431
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64755-0">https://doi.org/10.1007/978-3-031-64755-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601939
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603214
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56281-5">https://doi.org/10.1007/978-3-031-56281-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hospital Supply Chain Challenges and Opportunities for Improving Healthcare
ent://SD_ILS/0/SD_ILS:605779
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Jawab, Fouad. editor. (orcid)0000-0002-0508-7278 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70292-1">https://doi.org/10.1007/978-3-031-70292-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Identification and Mitigation of Fraudulent Online Transactions Using Authentication and Fraud Detection System
ent://SD_ILS/0/SD_ILS:606269
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Khattri, Vipin. author. Kumar Nayak, Sandeep. author. Kumar Singh, Deepak. author. Bhateja, Vikrant. author. (orcid)0000-0002-3259-8874 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-4888-4">https://doi.org/10.1007/978-981-97-4888-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and the Perspective of Autonomous Surgery
ent://SD_ILS/0/SD_ILS:606652
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Karcz, Konrad. editor. (orcid)0000-0002-4711-3630 Nawrat, Zbigniew. editor. Gumbs, Andrew A. editor. (orcid)0000-0002-7044-5318 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68574-3">https://doi.org/10.1007/978-3-031-68574-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601876
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46813-1">https://doi.org/10.1007/978-3-031-46813-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602007
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8101-4">https://doi.org/10.1007/978-981-99-8101-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602008
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8104-5">https://doi.org/10.1007/978-981-99-8104-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Objects and Technologies for Social Good 9th EAI International Conference, GOODTECHS 2023, Leiria, Portugal, October 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602402
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Coelho, Paulo Jorge. editor. Pires, Ivan Miguel. editor. Lopes, Nuno Vieira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52524-7">https://doi.org/10.1007/978-3-031-52524-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602977
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. Gargouri, Faiez. editor. Guegan, Chirine Ghedira. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55729-3">https://doi.org/10.1007/978-3-031-55729-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:528504
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Gusikhin, Oleg. editor. Madani, Kurosh. editor. Nijmeijer, Henk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26474-0">https://doi.org/10.1007/978-3-031-26474-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technology for Competitive Strategies (ICTCS 2022) Intelligent Strategies for ICT
ent://SD_ILS/0/SD_ILS:528617
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Kaiser, M. Shamim. editor. Xie, Juanying. editor. Rathore, Vijay Singh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9304-6">https://doi.org/10.1007/978-981-19-9304-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI in healthcare : how artificial intelligence is changing IT operations and infrastructure services
ent://SD_ILS/0/SD_ILS:596522
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Shimonski, Robert.<br/>Preferred Shelf Number R859.7 .A78 S55 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119680079">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119680079</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482657
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10549-5">https://doi.org/10.1007/978-3-030-10549-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483615
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30709-7">https://doi.org/10.1007/978-3-030-30709-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483032
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17227-5">https://doi.org/10.1007/978-3-030-17227-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483433
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24741-6">https://doi.org/10.1007/978-3-030-24741-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485295
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20351-1">https://doi.org/10.1007/978-3-030-20351-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486603
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19909-8">https://doi.org/10.1007/978-3-030-19909-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers
ent://SD_ILS/0/SD_ILS:486756
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23425-6">https://doi.org/10.1007/978-3-030-23425-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483859
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29611-7">https://doi.org/10.1007/978-3-030-29611-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483868
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29750-3">https://doi.org/10.1007/978-3-030-29750-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398985
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400302
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400307
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400459
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:402746
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94568-2">https://doi.org/10.1007/978-3-319-94568-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
ent://SD_ILS/0/SD_ILS:400564
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57932-9">https://doi.org/10.1007/978-3-662-57932-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Silicon Photonics & High Performance Computing Proceedings of CSI 2015
ent://SD_ILS/0/SD_ILS:400781
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7656-5">https://doi.org/10.1007/978-981-10-7656-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401466
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author van Hoeve, Willem-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93031-2">https://doi.org/10.1007/978-3-319-93031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402686
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1026-3">https://doi.org/10.1007/978-981-13-1026-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence XXVIII
ent://SD_ILS/0/SD_ILS:398970
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78301-7">https://doi.org/10.1007/978-3-319-78301-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400553
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401639
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611615
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611748
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brain Informatics International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613751
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Zeng, Yi. editor. He, Yong. editor. Kotaleski, Jeanette Hellgren. editor. Martone, Maryann. editor. Xu, Bo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70772-3">https://doi.org/10.1007/978-3-319-70772-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611952
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68600-4">https://doi.org/10.1007/978-3-319-68600-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611953
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611054
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68612-7">https://doi.org/10.1007/978-3-319-68612-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:613748
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70136-3">https://doi.org/10.1007/978-3-319-70136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Distributed Dynamic Systems with Spatial Grasp Technology
ent://SD_ILS/0/SD_ILS:617922
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Sapaty, Peter Simon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50461-2">https://doi.org/10.1007/978-3-319-50461-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613488
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Amunts, Katrin. editor. Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50862-7">https://doi.org/10.1007/978-3-319-50862-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Science and Applications (ICISA) 2016
ent://SD_ILS/0/SD_ILS:612828
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Kim, Kuinam J. editor. Joukov, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0557-2">https://doi.org/10.1007/978-981-10-0557-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-aware Computing Systems An Engineering Approach
ent://SD_ILS/0/SD_ILS:617881
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39675-0">https://doi.org/10.1007/978-3-319-39675-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Computing Principles, Design and Implementation
ent://SD_ILS/0/SD_ILS:331115
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Neuroevolution Through Erlang
ent://SD_ILS/0/SD_ILS:331512
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Sher, Gene I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331512.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197459
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Association Rule Hiding for Data Mining
ent://SD_ILS/0/SD_ILS:172630
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6569-1">http://dx.doi.org/10.1007/978-1-4419-6569-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191697
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Vasilakos, Athanasius V. editor. Beraldi, Roberto. editor. Friedman, Roy. editor. Mamei, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11482-3">http://dx.doi.org/10.1007/978-3-642-11482-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Intelligent Systems A Coordination Perspective
ent://SD_ILS/0/SD_ILS:167509
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Bedrouni, Abdellah. author. Mittu, Ranjeev. author. Boukhtouta, A. author. Berger, Jean. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77702-3">http://dx.doi.org/10.1007/978-0-387-77702-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods, Models and Tools for Fault Tolerance
ent://SD_ILS/0/SD_ILS:189817
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00867-2">http://dx.doi.org/10.1007/978-3-642-00867-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:190304
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02377-4">http://dx.doi.org/10.1007/978-3-642-02377-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191354
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10392-6">http://dx.doi.org/10.1007/978-3-642-10392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
ent://SD_ILS/0/SD_ILS:185723
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
ent://SD_ILS/0/SD_ILS:188685
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Mühlhäuser, Max. editor. Ferscha, Alois. editor. Aitenbichler, Erwin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85379-4">http://dx.doi.org/10.1007/978-3-540-85379-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Verification and Validation An Engineering and Scientific Approach
ent://SD_ILS/0/SD_ILS:166391
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Fisher, Marcus S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:185918
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187646
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Schiele, Bernt. editor. Dey, Anind K. editor. Gellersen, Hans. editor. Ruyter, Boris. editor. Tscheligi, Manfred. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76652-0">http://dx.doi.org/10.1007/978-3-540-76652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186652
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Fault Diagnosis
ent://SD_ILS/0/SD_ILS:175483
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Palade, Vasile. editor. Jain, Lakhmi. editor. Bocaniala, Cosmin Danut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-631-5">http://dx.doi.org/10.1007/978-1-84628-631-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183711
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Intelligence and Computing Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184661
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Ma, Jianhua. editor. Jin, Hai. editor. Yang, Laurence T. editor. Tsai, Jeffrey J.-P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11833529">http://dx.doi.org/10.1007/11833529</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184496
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Topics in Exception Handling Techniques
ent://SD_ILS/0/SD_ILS:184545
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11818502">http://dx.doi.org/10.1007/11818502</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Development of Complex Fault-Tolerant Systems
ent://SD_ILS/0/SD_ILS:185062
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Specification to Embedded Systems Application
ent://SD_ILS/0/SD_ILS:165390
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182752
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182821
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11533962">http://dx.doi.org/10.1007/11533962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182826
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182887
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems Methodologies and Applications
ent://SD_ILS/0/SD_ILS:182987
2026-03-22T05:08:20Z
2026-03-22T05:08:20Z
Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>