Arama Sonuçları Language and logic. - Daraltılmış: Computers.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLanguage$002band$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Computers.$002509Computers.$0026ps$003d300?dt=list2026-04-04T00:14:28ZLogic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6038822026-04-04T00:14:28Z2026-04-04T00:14:28ZYazar Metcalfe, George. editor. Studer, Thomas. editor. de Queiroz, Ruy. editor. (orcid)0000-0003-1482-0977 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-62687-6">https://doi.org/10.1007/978-3-031-62687-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthdayent://SD_ILS/0/SD_ILS:4895152026-04-04T00:14:28Z2026-04-04T00:14:28ZYazar Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementationent://SD_ILS/0/SD_ILS:6017722026-04-04T00:14:28Z2026-04-04T00:14:28ZYazar Roy, Shirshendu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-41085-7">https://doi.org/10.1007/978-3-031-41085-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-04-04T00:14:28Z2026-04-04T00:14:28ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>