Search Results for Machine theory. - Narrowed by: Computer networks .
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMachine$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300?dt=list
2026-03-23T04:11:46Z
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:606817
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81241-5">https://doi.org/10.1007/978-3-031-81241-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:606818
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81244-6">https://doi.org/10.1007/978-3-031-81244-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
ent://SD_ILS/0/SD_ILS:606819
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81247-7">https://doi.org/10.1007/978-3-031-81247-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:609122
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97548-6">https://doi.org/10.1007/978-3-031-97548-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:609123
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-8312-3">https://doi.org/10.1007/978-981-96-8312-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607158
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607261
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82697-9">https://doi.org/10.1007/978-3-031-82697-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608173
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608174
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management 16th International Conference, DHM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:608742
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93508-4">https://doi.org/10.1007/978-3-031-93508-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606274
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Sun, Maosong. editor. Liang, Jiye. editor. (orcid)0000-0001-5887-9327 Han, Xianpei. editor. (orcid)0000-0002-1304-6302 Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543 He, Yulan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8367-0">https://doi.org/10.1007/978-981-97-8367-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606961
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608492
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92366-1">https://doi.org/10.1007/978-3-031-92366-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608493
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92369-2">https://doi.org/10.1007/978-3-031-92369-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602187
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8429-9">https://doi.org/10.1007/978-981-99-8429-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602188
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8432-9">https://doi.org/10.1007/978-981-99-8432-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:602190
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8549-4">https://doi.org/10.1007/978-981-99-8549-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:602193
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8462-6">https://doi.org/10.1007/978-981-99-8462-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:602195
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8546-3">https://doi.org/10.1007/978-981-99-8546-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:602204
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8552-4">https://doi.org/10.1007/978-981-99-8552-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII
ent://SD_ILS/0/SD_ILS:602205
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8555-5">https://doi.org/10.1007/978-981-99-8555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602979
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603019
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604553
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65941-6">https://doi.org/10.1007/978-3-031-65941-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604842
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Castañeda, Armando. editor. (orcid)0000-0002-8017-8639 Enea, Constantin. editor. Gupta, Nirupam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67321-4">https://doi.org/10.1007/978-3-031-67321-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602014
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604349
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64529-7">https://doi.org/10.1007/978-3-031-64529-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605193
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72332-2">https://doi.org/10.1007/978-3-031-72332-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605194
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72335-3">https://doi.org/10.1007/978-3-031-72335-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605195
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72341-4">https://doi.org/10.1007/978-3-031-72341-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:605196
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72344-5">https://doi.org/10.1007/978-3-031-72344-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:605197
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72347-6">https://doi.org/10.1007/978-3-031-72347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:605198
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72350-6">https://doi.org/10.1007/978-3-031-72350-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:605199
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72353-7">https://doi.org/10.1007/978-3-031-72353-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:605200
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72356-8">https://doi.org/10.1007/978-3-031-72356-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:605201
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72359-9">https://doi.org/10.1007/978-3-031-72359-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:607723
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8435-0">https://doi.org/10.1007/978-981-99-8435-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:607724
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8469-5">https://doi.org/10.1007/978-981-99-8469-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609925
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72338-4">https://doi.org/10.1007/978-3-031-72338-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:602211
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8543-2">https://doi.org/10.1007/978-981-99-8543-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Databases Theory and Applications 34th Australasian Database Conference, ADC 2023, Melbourne, VIC, Australia, November 1-3, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601936
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bao, Zhifeng. editor. Borovica-Gajic, Renata. editor. (orcid)0000-0003-3503-4123 Qiu, Ruihong. editor. Choudhury, Farhana. editor. Yang, Zhengyi. editor. (orcid)0000-0003-1772-6863<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47843-7">https://doi.org/10.1007/978-3-031-47843-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:602189
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8540-1">https://doi.org/10.1007/978-981-99-8540-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:602194
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8537-1">https://doi.org/10.1007/978-981-99-8537-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII
ent://SD_ILS/0/SD_ILS:602196
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8558-6">https://doi.org/10.1007/978-981-99-8558-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Efficient Federated Learning for Wireless Networks
ent://SD_ILS/0/SD_ILS:602610
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Chen, Mingzhe. author. Cui, Shuguang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51266-7">https://doi.org/10.1007/978-3-031-51266-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603626
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60924-4">https://doi.org/10.1007/978-3-031-60924-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Cyber-Physical Systems Selected papers from the International Conference ML4CPS 2023
ent://SD_ILS/0/SD_ILS:603981
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Niggemann, Oliver. editor. Beyerer, Jürgen. editor. Krantz, Maria. editor. Kühnert, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47062-2">https://doi.org/10.1007/978-3-031-47062-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604005
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63790-2">https://doi.org/10.1007/978-3-031-63790-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Computational Intelligence ICCI 2021
ent://SD_ILS/0/SD_ILS:527388
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Tiwari, Ritu. editor. Pavone, Mario F. editor. Ravindranathan Nair, Ranjith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-2126-1">https://doi.org/10.1007/978-981-19-2126-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:610851
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers
ent://SD_ILS/0/SD_ILS:611519
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56877-5">https://doi.org/10.1007/978-3-319-56877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611148
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68690-5">https://doi.org/10.1007/978-3-319-68690-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611629
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612180
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612241
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Galinina, Olga. editor. Andreev, Sergey. editor. Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67380-6">https://doi.org/10.1007/978-3-319-67380-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616091
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence Science I Second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617654
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Shi, Zhongzhi. editor. Goertzel, Ben. editor. Feng, Jiali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68121-4">https://doi.org/10.1007/978-3-319-68121-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Innovations 2017 Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617883
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Trajanov, Dimitar. editor. Bakeva, Verica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67597-8">https://doi.org/10.1007/978-3-319-67597-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612796
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
ent://SD_ILS/0/SD_ILS:616022
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67190-1">https://doi.org/10.1007/978-3-319-67190-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618308
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616152
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66396-8">https://doi.org/10.1007/978-3-319-66396-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616154
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Engineering Smart Systems
ent://SD_ILS/0/SD_ILS:617371
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618348
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617540
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54627-8">https://doi.org/10.1007/978-3-319-54627-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Convolutional Neural Networks A Practical Application to Traffic-Sign Detection and Classification
ent://SD_ILS/0/SD_ILS:617788
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Habibi Aghdam, Hamed. author. Jahani Heravi, Elnaz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57550-6">https://doi.org/10.1007/978-3-319-57550-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611115
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611537
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610942
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611458
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612379
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612741
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:613086
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616055
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612842
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615994
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Martín-Vide, Carlos. editor. Mizuki, Takaaki. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49001-4">https://doi.org/10.1007/978-3-319-49001-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615998
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616026
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Second International Conference on Electrical Systems, Technology and Information 2015 (ICESTI 2015)
ent://SD_ILS/0/SD_ILS:617848
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Pasila, Felix. editor. Tanoto, Yusak. editor. Lim, Resmana. editor. Santoso, Murtiyanto. editor. Pah, Nemuel Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-287-988-2">https://doi.org/10.1007/978-981-287-988-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616425
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Kordon, Fabrice. editor. Moldt, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39086-4">https://doi.org/10.1007/978-3-319-39086-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:618122
2026-03-23T04:11:46Z
2026-03-23T04:11:46Z
Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>