Search Results for Contracts -- Language. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dContracts$002b--$002bLanguage.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2026-03-05T15:47:17Z Beginning Solidity : learn to program smart contracts with solidity ent://SD_ILS/0/SD_ILS:599890 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Dolgov, Alexandros, author.<br/>Preferred Shelf Number&#160;QA76.73 .S57 D65 2025<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Demystifying deep learning : an introduction to the mathematics of neural networks ent://SD_ILS/0/SD_ILS:598747 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Santry, Douglas J., author.<br/>Preferred Shelf Number&#160;Q325.73 .S36 2024<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394205639">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394205639</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520984 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Rozier, Kristin Yvonne. editor.&#160;Chaudhuri, Swarat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:521223 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Liu, Fei. editor.&#160;Duan, Nan. editor.&#160;Xu, Qingting. editor.&#160;Hong, Yu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44696-2">https://doi.org/10.1007/978-3-031-44696-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520788 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Hanus, Michael. editor.&#160;Inclezan, Daniela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521157 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Bonfanti, Silvia. editor.&#160;Gargantini, Angelo. editor.&#160;Salvaneschi, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43240-8">https://doi.org/10.1007/978-3-031-43240-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery Proceedings of the ICNC-FSKD 2022 ent://SD_ILS/0/SD_ILS:528691 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Xiong, Ning. editor.&#160;Li, Maozhen. editor.&#160;Li, Kenli. editor.&#160;Xiao, Zheng. editor.&#160;Liao, Longlong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-20738-9">https://doi.org/10.1007/978-3-031-20738-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520210 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Wang, Guojun. editor.&#160;Choo, Kim-Kwang Raymond. editor.&#160;Wu, Jie. editor.&#160;Damiani, Ernesto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-0272-9">https://doi.org/10.1007/978-981-99-0272-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519078 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Canal, Carlos. editor.&#160;Idani, Akram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Boilerplate Clauses, International Commercial Contracts and the Applicable Law ent://SD_ILS/0/SD_ILS:236714 2026-03-05T15:47:17Z 2026-03-05T15:47:17Z Author&#160;Cordero-Moss, Giuditta.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511667503">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>