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ç
10 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
1. 
Beginning Solidity : learn to program smart contracts with solidity için kapak resmi
Beginning Solidity : learn to program smart contracts with solidity
Yazar 
Dolgov, Alexandros, author.
Yer Numarası 
QA76.73 .S57 D65 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Demystifying deep learning : an introduction to the mathematics of neural networks için kapak resmi
Demystifying deep learning : an introduction to the mathematics of neural networks
Yazar 
Santry, Douglas J., author.
Yer Numarası 
Q325.73 .S36 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394205639
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings için kapak resmi
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Yazar 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings için kapak resmi
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Yazar 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery Proceedings of the ICNC-FSKD 2022 için kapak resmi
Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery Proceedings of the ICNC-FSKD 2022
Yazar 
Xiong, Ning. editor. Li, Maozhen. editor. Li, Kenli. editor. Xiao, Zheng. editor. Liao, Longlong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-20738-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers için kapak resmi
Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers
Yazar 
Wang, Guojun. editor. Choo, Kim-Kwang Raymond. editor. Wu, Jie. editor. Damiani, Ernesto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-0272-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Yazar 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II için kapak resmi
Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II
Yazar 
Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44696-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Yazar 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Boilerplate Clauses, International Commercial Contracts and the Applicable Law için kapak resmi
Boilerplate Clauses, International Commercial Contracts and the Applicable Law
Yazar 
Cordero-Moss, Giuditta.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: