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ç
7 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
13. 
Data Management, Analytics and Innovation Proceedings of ICDMAI 2022 için kapak resmi
Data Management, Analytics and Innovation Proceedings of ICDMAI 2022
Yazar 
Goswami, Saptarsi. editor. Barara, Inderjit Singh. editor. Goje, Amol. editor. Mohan, C. editor. Bruckstein, Alfred M. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-2600-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Explainable machine learning models and architectures için kapak resmi
Explainable machine learning models and architectures
Yazar 
Tripathi, Suman Lata, editor. Mahmud, Mufti, editor.
Yer Numarası 
Q325.5 .E98 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186570
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Embedded Software Verification and Debugging için kapak resmi
Embedded Software Verification and Debugging
Yazar 
Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4614-2266-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers için kapak resmi
Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers
Yazar 
Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56111-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach için kapak resmi
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Yazar 
Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47016-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 için kapak resmi
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013
Yazar 
Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06317-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
FPGA Based Accelerators for Financial Applications için kapak resmi
FPGA Based Accelerators for Financial Applications
Yazar 
De Schryver, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15407-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: