Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(21)
Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210
(2)
Clarke, Paul. editor. (orcid)0000-0002-4487-627X
(2)
Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903
(2)
Greiner, Christian. editor. (orcid)0000-0002-8184-7128
(2)
Dil
Yayın Yılı
-
Konu
Computer systems.
(21)
Software engineering.
(13)
Computer Communication Networks.
(12)
Computer networks .
(12)
Artificial intelligence.
(11)
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ç
21 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Yazar 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings için kapak resmi
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Yazar 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Engineering Psychology and Cognitive Ergonomics 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I için kapak resmi
Engineering Psychology and Cognitive Ergonomics 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Yazar 
Harris, Don. editor. (orcid)0000-0002-2113-8848 Li, Wen-Chin. editor. (orcid)0000-0002-8825-3701 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-93718-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Engineering Psychology and Cognitive Ergonomics 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II için kapak resmi
Engineering Psychology and Cognitive Ergonomics 22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Yazar 
Harris, Don. editor. (orcid)0000-0002-2113-8848 Li, Wen-Chin. editor. (orcid)0000-0002-8825-3701 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-93721-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computer Performance Engineering 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers için kapak resmi
Computer Performance Engineering 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
Yazar 
Doncel, Josu. editor. (orcid)0000-0002-5552-9134 Remke, Anne. editor. (orcid)0000-0002-5912-4767 Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80932-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I için kapak resmi
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I
Yazar 
Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71139-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II için kapak resmi
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II
Yazar 
Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71142-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-I için kapak resmi
Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-I
Yazar 
Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72284-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II için kapak resmi
Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II
Yazar 
Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72287-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: