Search Results for Computer logic. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300?
2025-12-15T22:10:01Z
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
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Polkowski, Lech T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Farmer, William M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
ent://SD_ILS/0/SD_ILS:527015
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science for Engineering and Education VI
ent://SD_ILS/0/SD_ILS:528064
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
ent://SD_ILS/0/SD_ILS:528825
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:520416
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems Design using the MSP430FR2355 LaunchPad™
ent://SD_ILS/0/SD_ILS:527210
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing for Security Applications Proceedings of ICSCS 2023
ent://SD_ILS/0/SD_ILS:529021
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Konrad Zuse's Early Computers The Quest for the Computer in Germany
ent://SD_ILS/0/SD_ILS:520704
2025-12-15T22:10:01Z
2025-12-15T22:10:01Z
Author Rojas, Raúl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>