Arama Sonuçları Computer logic. - Daraltılmış: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002blogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026ps$003d300?dt=list
2026-06-02T16:31:22Z
Fuzzy logic applications in computer science and mathematics
ent://SD_ILS/0/SD_ILS:598631
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Kar, Rahul, editor.<br/>Yer Numarası QA9.64 .F89 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
ent://SD_ILS/0/SD_ILS:528546
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Polkowski, Lech T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42034-4">https://doi.org/10.1007/978-3-031-42034-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Farmer, William M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26904-2">https://doi.org/10.1007/978-3-031-26904-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520898
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
ent://SD_ILS/0/SD_ILS:527015
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-5443-6">https://doi.org/10.1007/978-981-19-5443-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Embedded Systems Design using the MSP430FR2355 LaunchPad™
ent://SD_ILS/0/SD_ILS:527210
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar LaMeres, Brock J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-20888-1">https://doi.org/10.1007/978-3-031-20888-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Soft Computing for Security Applications Proceedings of ICSCS 2023
ent://SD_ILS/0/SD_ILS:529021
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-3608-3">https://doi.org/10.1007/978-981-99-3608-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:520416
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29386-3">https://doi.org/10.1007/978-3-031-29386-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520518
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38296-3">https://doi.org/10.1007/978-3-031-38296-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Konrad Zuse's Early Computers The Quest for the Computer in Germany
ent://SD_ILS/0/SD_ILS:520704
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Rojas, Raúl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39876-6">https://doi.org/10.1007/978-3-031-39876-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computer Science for Engineering and Education VI
ent://SD_ILS/0/SD_ILS:528064
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36118-0">https://doi.org/10.1007/978-3-031-36118-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.
ent://SD_ILS/0/SD_ILS:568624
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Babu, Hafiz Md. Hasan, 1966-<br/>Yer Numarası QH506<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003381921">https://www.taylorfrancis.com/books/9781003381921</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY arithmetic and combinational circuits.
ent://SD_ILS/0/SD_ILS:568625
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Babu, Hafiz Md. Hasan, 1966-<br/>Yer Numarası QH506<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003381938">https://www.taylorfrancis.com/books/9781003381938</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantum computing : a new era of computing
ent://SD_ILS/0/SD_ILS:598188
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Baliyan, Anupam, 1976- author. Rani, Shalli, author.<br/>Yer Numarası QA76.889 .K37 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157846">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157846</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Beyond-CMOS : state of the art and trends
ent://SD_ILS/0/SD_ILS:598480
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Cresti, Alessandro, editor.<br/>Yer Numarası TK7871.99 .M44 B49 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy computing in data science : applications and challenges
ent://SD_ILS/0/SD_ILS:597966
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Mohanty, Sachi Nandan, editor. Chatterjee, Prasenjit, editor. Hung, Bui Thanh, editor.<br/>Yer Numarası QA9.64 .F89 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394156887">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394156887</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
ent://SD_ILS/0/SD_ILS:528825
2026-06-02T16:31:22Z
2026-06-02T16:31:22Z
Yazar Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-6431-4">https://doi.org/10.1007/978-981-99-6431-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>