Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(558)
Roth, Stefan. editor. (orcid)0000-0001-9002-9832
(90)
Ricci, Elisa. editor. (orcid)0000-0002-0228-1147
(88)
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277
(87)
Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241
(87)
Dil
English
(558)
Yayın Yılı
-
2025
(202)
2017
(103)
2019
(96)
2024
(84)
2016
(40)
Konu
Computers, Special purpose.
(437)
Special Purpose and Application-Based Systems.
(437)
Computer networks .
(277)
Computer Communication Networks.
(271)
Artificial intelligence.
(204)
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ç
558 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I için kapak resmi
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Yazar 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings için kapak resmi
From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
Yazar 
Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71533-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Energy Informatics 4th Energy Informatics Academy Conference, EI.A 2024, Kuta, Bali, Indonesia, October 23-25, 2024, Proceedings, Part II için kapak resmi
Energy Informatics 4th Energy Informatics Academy Conference, EI.A 2024, Kuta, Bali, Indonesia, October 23-25, 2024, Proceedings, Part II
Yazar 
Jørgensen, Bo Nørregaard. editor. (orcid)0000-0001-5678-6602 Ma, Zheng Grace. editor. Wijaya, Fransisco Danang. editor. (orcid)0000-0001-8887-6135 Irnawan, Roni. editor. (orcid)0000-0001-6634-3426 Sarjiya, Sarjiya. editor. (orcid)0000-0002-3025-295X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74741-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers için kapak resmi
Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers
Yazar 
Klein, Cornel. editor. Jarke, Matthias. editor. Ploeg, Jeroen. editor. (orcid)0000-0001-8332-5860 Berns, Karsten. editor. Vinel, Alexey. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70966-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII için kapak resmi
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII
Yazar 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72624-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXV için kapak resmi
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXV
Yazar 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72698-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXVI için kapak resmi
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXVI
Yazar 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72764-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIII için kapak resmi
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIII
Yazar 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73414-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part V için kapak resmi
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part V
Yazar 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72652-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI için kapak resmi
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI
Yazar 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72992-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
Eylem Seç