Arama Sonuçları Dynamic testing. - Daraltılmış: 2023

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

2024-11-16T20:23:06Z

Yazar Tekinerdogan, Bedir. editor. Wang, Yingwei. editor. Zhang, Liang-Jie. editor. SpringerLink (Online service)
Yer Numarası XX(520787.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-23582-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

2024-11-16T20:23:06Z

Yazar Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası XX(521082.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42626-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part III

2024-11-16T20:23:06Z

Yazar Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Yer Numarası XX(521234.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-6489-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2024-11-16T20:23:06Z

Yazar Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Yer Numarası XX(521305.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40843-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

2024-11-16T20:23:06Z

Yazar Hur, Chung-Kil. editor. SpringerLink (Online service)
Yer Numarası XX(521341.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-8311-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

2024-11-16T20:23:06Z

Yazar Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası XX(520246.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-2449-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

2024-11-16T20:23:06Z

Yazar Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Yer Numarası XX(520632.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33338-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

2024-11-16T20:23:06Z

Yazar Mavronicolas, Marios. editor. SpringerLink (Online service)
Yer Numarası XX(520844.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30448-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I

2024-11-16T20:23:06Z

Yazar Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.
Yer Numarası XX(520963.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-38857-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2024-11-16T20:23:06Z

Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası XX(520984.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

2024-11-16T20:23:06Z

Yazar Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Yer Numarası XX(521137.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40953-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2024-11-16T20:23:06Z

Yazar Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası XX(521275.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47115-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-16T20:23:06Z

Yazar Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Yer Numarası XX(521216.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-41181-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1