Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(186)
Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758
(15)
He, Ran. editor. (orcid)0000-0002-3807-991X
(15)
Lin, Zhouchen. editor.
(15)
Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175
(15)
Dil
English
(186)
Yayın Yılı
-
2024
(102)
2025
(63)
2017
(10)
2016
(7)
2013
(4)
Konu
Computer systems.
(182)
Computer networks .
(139)
Computer Communication Networks.
(135)
Application software.
(107)
Computer and Information Systems Applications.
(107)
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ç
186 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I için kapak resmi
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74595-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II için kapak resmi
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II
Yazar 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74598-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Analytical and Stochastic Modelling Techniques and Applications 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings için kapak resmi
Analytical and Stochastic Modelling Techniques and Applications 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
Yazar 
Devos, Arnaud. editor. (orcid)0000-0001-8124-723X Horváth, András. editor. (orcid)0000-0002-8210-545X Rossi, Sabina. editor. (orcid)0000-0002-1189-4439 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70753-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
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-75380-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings için kapak resmi
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Yazar 
Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4207-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Computer Applications 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part I için kapak resmi
Computer Applications 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part I
Yazar 
Zhang, Min. editor. Xu, Bin. editor. Hu, Fuyuan. editor. Lin, Junyu. editor. Song, Xianhua. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8764-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Computer Applications 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part II için kapak resmi
Computer Applications 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part II
Yazar 
Zhang, Min. editor. Xu, Bin. editor. Hu, Fuyuan. editor. Lin, Junyu. editor. Song, Xianhua. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8761-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III için kapak resmi
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III
Yazar 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65238-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V için kapak resmi
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V
Yazar 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65282-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII için kapak resmi
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII
Yazar 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65318-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X için kapak resmi
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X
Yazar 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65332-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç