Arama Sonuçlarını Sınırlandır
Yazar
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ç
10 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
1. 
Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Yazar 
Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95497-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Yazar 
Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-62645-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Yazar 
Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39570-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II için kapak resmi
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
Yazar 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82697-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I için kapak resmi
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
Yazar 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82670-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023 için kapak resmi
Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023
Yazar 
Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8211-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers için kapak resmi
Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers
Yazar 
Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55326-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Advanced Spiking Neural P Systems Models and Applications için kapak resmi
Advanced Spiking Neural P Systems Models and Applications
Yazar 
Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-5280-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
The French School of Programming için kapak resmi
The French School of Programming
Yazar 
Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Transactions on Computational Science XXVII için kapak resmi
Transactions on Computational Science XXVII
Yazar 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-50412-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: