Search Results for Dynamic testing. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDynamic$002btesting.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ic$003dtrue$0026ps$003d300?
2024-12-14T08:41:30Z
Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520844
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Mavronicolas, Marios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520844.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30448-4">https://doi.org/10.1007/978-3-031-30448-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
ent://SD_ILS/0/SD_ILS:520632
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520632.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33338-5">https://doi.org/10.1007/978-3-031-33338-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things - ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520787
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Tekinerdogan, Bedir. editor. Wang, Yingwei. editor. Zhang, Liang-Jie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520787.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23582-5">https://doi.org/10.1007/978-3-031-23582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520963
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.<br/>Preferred Shelf Number XX(520963.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38857-6">https://doi.org/10.1007/978-3-031-38857-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521082
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521082.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42626-1">https://doi.org/10.1007/978-3-031-42626-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:521234
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)<br/>Preferred Shelf Number XX(521234.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6489-5">https://doi.org/10.1007/978-981-99-6489-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521275.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521305
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521305.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40843-4">https://doi.org/10.1007/978-3-031-40843-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
ent://SD_ILS/0/SD_ILS:520246
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520246.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2449-3">https://doi.org/10.1007/978-981-99-2449-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520984.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521137
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.<br/>Preferred Shelf Number XX(521137.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40953-0">https://doi.org/10.1007/978-3-031-40953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521216
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.<br/>Preferred Shelf Number XX(521216.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41181-6">https://doi.org/10.1007/978-3-031-41181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521341
2024-12-14T08:41:30Z
2024-12-14T08:41:30Z
Author Hur, Chung-Kil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521341.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8311-7">https://doi.org/10.1007/978-981-99-8311-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>