Arama Sonuçları Contracts -- Language.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dContracts$002b--$002bLanguage.$0026ps$003d300?dt=list
2024-11-26T00:23:12Z
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
2024-11-26T00:23:12Z
2024-11-26T00:23:12Z
Yazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520788.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2024-11-26T00:23:12Z
2024-11-26T00:23:12Z
Yazar Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521223.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2024-11-26T00:23:12Z
2024-11-26T00:23:12Z
Yazar Wang, Guojun. editor. Choo, Kim-Kwang Raymond. editor. Wu, Jie. editor. Damiani, Ernesto. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520210.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2024-11-26T00:23:12Z
2024-11-26T00:23:12Z
Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520984.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2024-11-26T00:23:12Z
2024-11-26T00:23:12Z
Yazar Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521157.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2024-11-26T00:23:12Z
2024-11-26T00:23:12Z
Yazar Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519078.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Boilerplate Clauses, International Commercial Contracts and the Applicable Law
ent://SD_ILS/0/SD_ILS:236714
2024-11-26T00:23:12Z
2024-11-26T00:23:12Z
Yazar Cordero-Moss, Giuditta.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511667503">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>