Arama Sonuçlarını Sınırlandır
Yazar
Seidl, Helmut. author.
(3)
Wilhelm, Reinhard. author.
(3)
Baboulin, Marc. editor.
(2)
Hack, Sebastian. author.
(2)
Kruse, Carola. editor.
(2)
Dil
Yayın Yılı
-
Konu
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ç
34 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
25. 
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II için kapak resmi
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Yazar 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası 
XX(520319.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2446-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings için kapak resmi
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Yazar 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Yer Numarası 
XX(520857.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Yazar 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Yer Numarası 
XX(520797.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Yazar 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Yer Numarası 
XX(520802.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings için kapak resmi
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Yazar 
Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Yer Numarası 
XX(520919.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29315-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers için kapak resmi
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings için kapak resmi
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Yazar 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası 
XX(521324.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Yazar 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519046.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası 
XX(519136.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Vitek, Jan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519237.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: