Arama Sonuçları Logic design. - Daraltılmış: Mathematical logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002bdesign.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ps$003d300?dt=list2025-12-05T21:48:13ZLogic Functions and Equations Binary Models for Computer Scienceent://SD_ILS/0/SD_ILS:4836332025-12-05T21:48:13Z2025-12-05T21:48:13ZYazar Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332025-12-05T21:48:13Z2025-12-05T21:48:13ZYazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sayısal devrelerde mantıksal tasarıment://SD_ILS/0/SD_ILS:1248052025-12-05T21:48:13Z2025-12-05T21:48:13ZYazar Yarımağan, Ünal.<br/>Yer Numarası TK7888.4 Y37 2003<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>