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. 
Embedded Machine Learning with Microcontrollers Applications on Arduino Boards için kapak resmi
Embedded Machine Learning with Microcontrollers Applications on Arduino Boards
Yazar 
Ünsalan, Cem. author. (orcid)0000-0002-8904-3730 Höke, Berkan. author. (orcid)0000-0001-5682-500X Atmaca, Eren. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69421-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
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-75390-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Cyber-Physical Systems Security A Multi-disciplinary Approach için kapak resmi
Cyber-Physical Systems Security A Multi-disciplinary Approach
Yazar 
Choudhury, Amitava. editor. (orcid)0000-0001-5153-4449 Kaushik, Keshav. editor. (orcid)0000-0003-3777-765X Kumar, Vinay. editor. Singh, Binod Kumar. editor. (orcid)0000-0002-2697-8918 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-5734-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024 için kapak resmi
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Yazar 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
Metadata and Semantic Research 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers için kapak resmi
Metadata and Semantic Research 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers
Yazar 
Sfakakis, Michalis. editor. (orcid)0000-0003-2973-7455 Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Damigos, Matthew. editor. (orcid)0000-0003-0431-1482 Salaba, Athena. editor. (orcid)0000-0002-1694-4052 Papatheodorou, Christos. editor. (orcid)0000-0002-9025-6469
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81974-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 2 için kapak resmi
Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 2
Yazar 
Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 Sharma, Harish. editor. Chakravorty, Antorweep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-8096-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
AI in Banking Practical Applications and Case Studies için kapak resmi
AI in Banking Practical Applications and Case Studies
Yazar 
Shao, Liyu. author. Chen, Qin. author. He, Min. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-3837-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Complex Networks & Their Applications XIII Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 1 için kapak resmi
Complex Networks & Their Applications XIII Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 1
Yazar 
Cherifi, Hocine. editor. Donduran, Murat. editor. Rocha, Luis M. editor. Cherifi, Chantal. editor. Varol, Onur. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82427-2
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ç