Search Results for USA. - Narrowed by: Computer engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dUSA.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2026-03-22T20:08:13ZInformation Security 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6056702026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Mouha, Nicky. editor. (orcid)0000-0001-8861-782X Nikiforakis, Nick. editor. (orcid)0000-0002-9366-357X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75757-0">https://doi.org/10.1007/978-3-031-75757-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6056712026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Mouha, Nicky. editor. (orcid)0000-0001-8861-782X Nikiforakis, Nick. editor. (orcid)0000-0002-9366-357X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75764-8">https://doi.org/10.1007/978-3-031-75764-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Multimedia 4th International Conference, ICSM 2024, Los Angeles, California, USA, March 28-30, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6075112026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Berretti, Stefano. editor. Azari, Hossein. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82475-3">https://doi.org/10.1007/978-3-031-82475-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6076812026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Cryptology - CT-RSA 2025 Cryptographers' Track at the RSA Conference 2025, San Francisco, CA, USA, April 28-May 1, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6079652026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Patra, Arpita. editor. (orcid)0000-0002-8036-4407 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88661-4">https://doi.org/10.1007/978-3-031-88661-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088422026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6093842026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-98740-3">https://doi.org/10.1007/978-3-031-98740-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Decision Theory 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14-16, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6055572026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Freeman, Rupert. editor. (orcid)0000-0003-4744-9449 Mattei, Nicholas. editor. (orcid)0000-0002-3569-4335 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73903-3">https://doi.org/10.1007/978-3-031-73903-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6056122026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Feng, Wenying. editor. Rahimi, Nick. editor. Margapuri, Venkatasivakumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75201-8">https://doi.org/10.1007/978-3-031-75201-8</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, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor 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/>Social Computing and Social Media 16th International Conference, SCSM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6037452026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Coman, Adela. editor. Vasilache, Simona. editor. (orcid)0000-0002-0027-7056 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61312-8">https://doi.org/10.1007/978-3-031-61312-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Centered Design, Operation and Evaluation of Mobile Communications 5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6037662026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Wei, June. editor. (orcid)0000-0001-5000-2467 Margetis, George. editor. (orcid)0000-0002-9101-6301 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60458-4">https://doi.org/10.1007/978-3-031-60458-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6037742026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60875-9">https://doi.org/10.1007/978-3-031-60875-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6037752026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60881-0">https://doi.org/10.1007/978-3-031-60881-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6037762026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60884-1">https://doi.org/10.1007/978-3-031-60884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual, Augmented and Mixed Reality 16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6037822026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Chen, Jessie Y. C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61041-7">https://doi.org/10.1007/978-3-031-61041-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual, Augmented and Mixed Reality 16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6037832026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Chen, Jessie Y. C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61044-8">https://doi.org/10.1007/978-3-031-61044-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual, Augmented and Mixed Reality 16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6037842026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Chen, Jessie Y. C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61047-9">https://doi.org/10.1007/978-3-031-61047-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Computing and Social Media 16th International Conference, SCSM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6037882026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Coman, Adela. editor. Vasilache, Simona. editor. (orcid)0000-0002-0027-7056 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61281-7">https://doi.org/10.1007/978-3-031-61281-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Computing and Social Media 16th International Conference, SCSM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6037892026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Coman, Adela. editor. Vasilache, Simona. editor. (orcid)0000-0002-0027-7056 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61305-0">https://doi.org/10.1007/978-3-031-61305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6048202026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Han, Henry. editor. (orcid)0000-0003-0273-6719 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67871-4">https://doi.org/10.1007/978-3-031-67871-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6040622026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Han, Henry. editor. (orcid)0000-0003-0273-6719 Baker, Erich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61816-1">https://doi.org/10.1007/978-3-031-61816-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Centered Design, Operation and Evaluation of Mobile Communications 5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6041242026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Wei, June. editor. (orcid)0000-0001-5000-2467 Margetis, George. editor. (orcid)0000-0002-9101-6301 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60487-4">https://doi.org/10.1007/978-3-031-60487-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6043372026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Thórisson, Kristinn R. editor. (orcid)0000-0003-3842-0564 Isaev, Peter. editor. Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65572-2">https://doi.org/10.1007/978-3-031-65572-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6047302026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68382-4">https://doi.org/10.1007/978-3-031-68382-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6047332026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68376-3">https://doi.org/10.1007/978-3-031-68376-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6047342026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68379-4">https://doi.org/10.1007/978-3-031-68379-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6047352026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68385-5">https://doi.org/10.1007/978-3-031-68385-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6047362026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68388-6">https://doi.org/10.1007/978-3-031-68388-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, CRYPTO 2024, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:6047372026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68397-8">https://doi.org/10.1007/978-3-031-68397-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IXent://SD_ILS/0/SD_ILS:6047382026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68400-5">https://doi.org/10.1007/978-3-031-68400-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part Xent://SD_ILS/0/SD_ILS:6047392026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68403-6">https://doi.org/10.1007/978-3-031-68403-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6047422026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68391-6">https://doi.org/10.1007/978-3-031-68391-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6047432026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68394-7">https://doi.org/10.1007/978-3-031-68394-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Infrastructure Protection XVII 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022082026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49585-4">https://doi.org/10.1007/978-3-031-49585-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6018842026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Puthal, Deepak. editor. (orcid)0000-0002-8332-278X Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541 Choi, Baek-Young. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45878-1">https://doi.org/10.1007/978-3-031-45878-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6018852026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Puthal, Deepak. editor. (orcid)0000-0002-8332-278X Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541 Choi, Baek-Young. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45882-8">https://doi.org/10.1007/978-3-031-45882-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Cryptology - CT-RSA 2024 Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6034802026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Oswald, Elisabeth. editor. (orcid)0000-0001-7502-3184 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58868-6">https://doi.org/10.1007/978-3-031-58868-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6036722026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6161232026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Bishop, Matt. editor. Nascimento, Anderson C A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45871-7">https://doi.org/10.1007/978-3-319-45871-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6137352026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Navathe, Shamkant B. editor. Wu, Weili. editor. Shekhar, Shashi. editor. Du, Xiaoyong. editor. Wang, X. Sean. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32025-0">https://doi.org/10.1007/978-3-319-32025-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6180032026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Navathe, Shamkant B. editor. Wu, Weili. editor. Shekhar, Shashi. editor. Du, Xiaoyong. editor. Wang, Sean X. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32049-6">https://doi.org/10.1007/978-3-319-32049-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Selected papers from the 2nd International Symposium on UAVs, Reno, Nevada, U.S.A. June 8–10, 2009ent://SD_ILS/0/SD_ILS:2053082026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Valavanis, Kimon P. editor. Beard, Randal. editor. Oh, Paul. editor. Ollero, Aníbal. editor. Piegl, Leslie A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-8764-5">http://dx.doi.org/10.1007/978-90-481-8764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papersent://SD_ILS/0/SD_ILS:1818242026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104218">http://dx.doi.org/10.1007/b104218</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1826702026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11574859">http://dx.doi.org/10.1007/11574859</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Digital Forensics XX 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4-5, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6068732026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor Kurkowski, Elizabeth. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71025-4">https://doi.org/10.1007/978-3-031-71025-4</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 Ient://SD_ILS/0/SD_ILS:6160552026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor 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/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6160262026-03-22T20:08:13Z2026-03-22T20:08:13ZAuthor 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/>