Arama Sonuçlarını Sınırlandır
Yazar
Dil
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
1. 
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Yer Numarası 
XX(520842.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520843.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers için kapak resmi
Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers
Yazar 
Taratukhin, Victor. editor. Levchenko, Artem. editor. Kupriyanov, Yury. editor. SpringerLink (Online service)
Yer Numarası 
XX(520348.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32092-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings için kapak resmi
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Yazar 
Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Yer Numarası 
XX(521142.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43835-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings için kapak resmi
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Yazar 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Yer Numarası 
XX(521157.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: