Search Results for Computer Networks. - Narrowed by: Microprogramming .SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bNetworks.$0026qf$003dSUBJECT$002509Subject$002509Microprogramming$0025C2$0025A0.$002509Microprogramming$0025C2$0025A0.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-14T11:27:04ZNetworked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852412026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05529-5">https://doi.org/10.1007/978-3-030-05529-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6070842026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78462-0">https://doi.org/10.1007/978-3-031-78462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6079082026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4207-6">https://doi.org/10.1007/978-981-96-4207-6</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 IIent://SD_ILS/0/SD_ILS:6078362026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor 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/>Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6078352026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor 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/>High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6064902026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73716-9">https://doi.org/10.1007/978-3-031-73716-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6088602026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90203-1">https://doi.org/10.1007/978-3-031-90203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057232026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74498-3">https://doi.org/10.1007/978-3-031-74498-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October 4, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6072462026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Guerrero, Ginés. editor. (orcid)0000-0002-1346-1143 San Martín, Jaime. editor. (orcid)0000-0002-9273-5260 Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Barrios Hernández, Carlos Jaime. editor. (orcid)0000-0003-0133-7214 Osthoff, Carla. editor. (orcid)0000-0002-4694-7182<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80084-9">https://doi.org/10.1007/978-3-031-80084-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6070832026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78459-0">https://doi.org/10.1007/978-3-031-78459-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6093242026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90200-0">https://doi.org/10.1007/978-3-031-90200-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6077022026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Cryptology - AFRICACRYPT 2024 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6041882026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Vaudenay, Serge. editor. (orcid)0000-0001-9185-1449 Petit, Christophe. editor. (orcid)0000-0003-3482-6743 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64381-1">https://doi.org/10.1007/978-3-031-64381-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6024302026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Barrios H., Carlos J. editor. Rizzi, Silvio. editor. Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672 Monsalve Diaz, Jose M. editor. (orcid)0000-0001-6875-1685<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52186-7">https://doi.org/10.1007/978-3-031-52186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6048462026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69577-3">https://doi.org/10.1007/978-3-031-69577-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6048472026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69583-4">https://doi.org/10.1007/978-3-031-69583-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6031372026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Wacquez, Romain. author. Homma, Naofumi. editor. (orcid)0000-0003-0864-3126 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57543-3">https://doi.org/10.1007/978-3-031-57543-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emerging Technologies for Developing Countries 6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11-13, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6040952026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Masinde, Muthoni. editor. (orcid)0000-0002-8914-0055 Möbs, Sabine. editor. (orcid)0000-0002-1912-7007 Bagula, Antoine. editor. (orcid)0000-0002-1106-8938 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63999-9">https://doi.org/10.1007/978-3-031-63999-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050822026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68606-1">https://doi.org/10.1007/978-3-031-68606-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Active Object Languages: Current Research Trendsent://SD_ILS/0/SD_ILS:6024372026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51060-1">https://doi.org/10.1007/978-3-031-51060-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6036432026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6048482026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69766-1">https://doi.org/10.1007/978-3-031-69766-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6020472026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49252-5">https://doi.org/10.1007/978-3-031-49252-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6110892026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64635-0">https://doi.org/10.1007/978-3-319-64635-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6136202026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57858-3">https://doi.org/10.1007/978-3-319-57858-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6133342026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Havarneanu, Grigore. editor. Setola, Roberto. editor. Nassopoulos, Hypatia. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71368-7">https://doi.org/10.1007/978-3-319-71368-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120442026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontier Computing Theory, Technologies and Applicationsent://SD_ILS/0/SD_ILS:6149312026-03-14T11:27:04Z2026-03-14T11:27:04ZAuthor Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>