Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(515)
Bramer, Max. editor.
(10)
Petridis, Miltos. editor.
(7)
Huang, Xiong. editor.
(6)
Coenen, Frans. editor.
(5)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(215)
Software engineering.
(123)
Computer Communication Networks.
(104)
Information systems.
(100)
Theory of Computation.
(88)
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ç
524 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
349. 
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach için kapak resmi
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Yazar 
Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6921-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
350. 
Infrared Small Target Detection Theory, Methods, and Algorithms. için kapak resmi
Infrared Small Target Detection Theory, Methods, and Algorithms.
Yazar 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
351. 
Deep Learning Models A Practical Approach for Hands-On Professionals için kapak resmi
Deep Learning Models A Practical Approach for Hands-On Professionals
Yazar 
Gamba, Jonah. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-9672-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
352. 
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday için kapak resmi
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Yazar 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
353. 
A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving için kapak resmi
A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving
Yazar 
Weng, Wei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-1477-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
354. 
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:
355. 
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization için kapak resmi
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Yazar 
Blum, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60103-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
356. 
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I için kapak resmi
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Yazar 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
357. 
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II için kapak resmi
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Yazar 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
358. 
Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings için kapak resmi
Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings
Yazar 
Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-64573-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
359. 
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Yazar 
Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66021-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
360. 
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:
Eylem Seç