Search Results for Arithmetic - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300$0026isd$003dtrue?
2025-12-13T12:55:03Z
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
ent://SD_ILS/0/SD_ILS:773
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Approximate Arithmetic Circuit Architectures for FPGA-based Systems
ent://SD_ILS/0/SD_ILS:527321
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Ullah, Salim. author. Kumar, Akash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21294-9">https://doi.org/10.1007/978-3-031-21294-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520858
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32180-1">https://doi.org/10.1007/978-3-031-32180-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520791
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22944-2">https://doi.org/10.1007/978-3-031-22944-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ent://SD_ILS/0/SD_ILS:520401
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Schreiner, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24934-1">https://doi.org/10.1007/978-3-031-24934-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Java A Concise Introduction to Programming
ent://SD_ILS/0/SD_ILS:520560
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22842-1">https://doi.org/10.1007/978-3-031-22842-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GeNeDis 2022 Molecular, Chemical, and Cellular Biology
ent://SD_ILS/0/SD_ILS:527656
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Vlamos, Panagiotis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31978-5">https://doi.org/10.1007/978-3-031-31978-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Futuristic Communication and Network Technologies Select Proceedings of VICFCNT 2021, Volume 2
ent://SD_ILS/0/SD_ILS:528092
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Subhashini, N. editor. Ezra, Morris. A. G. editor. Liaw, Shien-Kuei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9748-8">https://doi.org/10.1007/978-981-19-9748-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inventive Communication and Computational Technologies Proceedings of ICICCT 2022
ent://SD_ILS/0/SD_ILS:528777
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Ranganathan, G. editor. Fernando, Xavier. editor. Rocha, Álvaro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4960-9">https://doi.org/10.1007/978-981-19-4960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520839
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30258-9">https://doi.org/10.1007/978-3-031-30258-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520843
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521258
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44245-2">https://doi.org/10.1007/978-3-031-44245-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:521411
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
ent://SD_ILS/0/SD_ILS:528338
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28916-3">https://doi.org/10.1007/978-3-031-28916-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metaheuristics and Optimization in Computer and Electrical Engineering Volume 2: Hybrid and Improved Algorithms
ent://SD_ILS/0/SD_ILS:528555
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Razmjooy, Navid. editor. Ghadimi, Noradin. editor. Rajinikanth, Venkatesan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42685-8">https://doi.org/10.1007/978-3-031-42685-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
International Conference on Artificial Intelligence Science and Applications (CAISA)
ent://SD_ILS/0/SD_ILS:528900
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Abd Elaziz, Mohamed. editor. Medhat Gaber, Mohamed. editor. El-Sappagh, Shaker. editor. Al-qaness, Mohammed A. A. editor. Ewees, Ahmed A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28106-8">https://doi.org/10.1007/978-3-031-28106-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520846
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30445-3">https://doi.org/10.1007/978-3-031-30445-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics A Theoretical and Practical View from the EDISON Project
ent://SD_ILS/0/SD_ILS:520729
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39129-3">https://doi.org/10.1007/978-3-031-39129-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521216
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41181-6">https://doi.org/10.1007/978-3-031-41181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521308
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41456-5">https://doi.org/10.1007/978-3-031-41456-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Technologies for Power and Green Energy Proceedings of STPGE 2022
ent://SD_ILS/0/SD_ILS:526795
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Dash, Rudra Narayan. editor. Rathore, Akshay Kumar. editor. Khadkikar, Vinod. editor. Patel, Ranjeeta. editor. Debnath, Manoj. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-2764-5">https://doi.org/10.1007/978-981-19-2764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Artificial Intelligence and Neural Systems to Data Science
ent://SD_ILS/0/SD_ILS:527663
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Esposito, Anna. editor. (orcid)0000-0002-7268-1795 Faundez-Zanuy, Marcos. editor. (orcid)0000-0003-0605-1282 Morabito, Francesco Carlo. editor. (orcid)0000-0003-0734-9136 Pasero, Eros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3592-5">https://doi.org/10.1007/978-981-99-3592-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Algorithms to Hardware Architectures Using Digital Radios as a Design Example
ent://SD_ILS/0/SD_ILS:527672
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Abbas, Karim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-08693-9">https://doi.org/10.1007/978-3-031-08693-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Mathematics and Computing
ent://SD_ILS/0/SD_ILS:528192
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-2300-5">https://doi.org/10.1007/978-981-19-2300-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty, Constraints, and Decision Making
ent://SD_ILS/0/SD_ILS:528363
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36394-8">https://doi.org/10.1007/978-3-031-36394-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
ent://SD_ILS/0/SD_ILS:529089
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6780-1">https://doi.org/10.1007/978-981-19-6780-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transcending Signs : Essays in Existential Semiotics
ent://SD_ILS/0/SD_ILS:534619
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Ahonen, Pertti, contributor. Bankov, Kristian, contributor. Bauters, Merja, contributor. Berruti, Massimo, contributor. Castro Monteiro, Ricardo Nogueira de, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110789164">https://doi.org/10.1515/9783110789164</a>
<a href="https://www.degruyter.com/isbn/9783110789164">https://www.degruyter.com/isbn/9783110789164</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110789164/original">https://www.degruyter.com/document/cover/isbn/9783110789164/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17411-7">https://doi.org/10.1007/978-3-031-17411-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520998
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34671-2">https://doi.org/10.1007/978-3-031-34671-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Metaheuristics: Methods and Analysis
ent://SD_ILS/0/SD_ILS:528726
2025-12-13T12:55:03Z
2025-12-13T12:55:03Z
Author Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6645-5">https://doi.org/10.1007/978-981-99-6645-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>