Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(563)
Chen, Xilin. editor.
(13)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(13)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(13)
Ma, Zhanyu. editor.
(13)
Dil
English
(896)
Yayın Yılı
-
Konu
Artificial intelligence.
(284)
Machine theory.
(264)
Formal Languages and Automata Theory.
(249)
Computer science.
(193)
COMPUTERS / Machine Theory
(146)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
902 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Deep learning in medical image analysis : recent advances and future trends için kapak resmi
Deep learning in medical image analysis : recent advances and future trends
Yazar 
Indrakumari, R., editor.
Yer Numarası 
RC78.7 .D53
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003343172
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Electromagnetic analysis of electric machines : first principles, modeling, and design için kapak resmi
Electromagnetic analysis of electric machines : first principles, modeling, and design
Yazar 
Kirtley, James L., author. Lee, Christopher H. T., author. Mohammadi, Sajjad, author.
Yer Numarası 
TK2000 .K57 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394315284
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday için kapak resmi
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Yazar 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
Decision and Game Theory for Security 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings için kapak resmi
Decision and Game Theory for Security 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings
Yazar 
Sinha, Arunesh. editor. (orcid)0000-0002-3594-3848 Fu, Jie. editor. (orcid)0000-0002-4470-2827 Zhu, Quanyan. editor. (orcid)0000-0002-0008-2953 Zhang, Tao. editor. (orcid)0000-0002-1454-4645 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74835-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings için kapak resmi
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Yazar 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
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-75387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings için kapak resmi
Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings
Yazar 
Sun, Maosong. editor. Liang, Jiye. editor. (orcid)0000-0001-5887-9327 Han, Xianpei. editor. (orcid)0000-0002-1304-6302 Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543 He, Yulan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-8367-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Reciprocal Recommender Systems için kapak resmi
Reciprocal Recommender Systems
Yazar 
Neve, James. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85103-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Innovations in Healthcare and Outcome Measurement New Approaches for a Healthy Lifestyle için kapak resmi
Innovations in Healthcare and Outcome Measurement New Approaches for a Healthy Lifestyle
Yazar 
Plugmann, Philipp. editor. Portius, Dorothea. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77302-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Restarting Automata Extensions and Generalizations için kapak resmi
Restarting Automata Extensions and Generalizations
Yazar 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78701-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I için kapak resmi
The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I
Yazar 
Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78952-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç