Arama Sonuçları Arithmetic - Daraltılmış: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dArithmetic$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026ps$003d300?dt=list
2025-12-08T06:09:28Z
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
ent://SD_ILS/0/SD_ILS:773
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Approximate Arithmetic Circuit Architectures for FPGA-based Systems
ent://SD_ILS/0/SD_ILS:527321
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Ullah, Salim. author. Kumar, Akash. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Schreiner, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Smart Technologies for Power and Green Energy Proceedings of STPGE 2022
ent://SD_ILS/0/SD_ILS:526795
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Dash, Rudra Narayan. editor. Rathore, Akshay Kumar. editor. Khadkikar, Vinod. editor. Patel, Ranjeeta. editor. Debnath, Manoj. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
GeNeDis 2022 Molecular, Chemical, and Cellular Biology
ent://SD_ILS/0/SD_ILS:527656
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Vlamos, Panagiotis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Artificial Intelligence and Neural Systems to Data Science
ent://SD_ILS/0/SD_ILS:527663
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Algorithms to Hardware Architectures Using Digital Radios as a Design Example
ent://SD_ILS/0/SD_ILS:527672
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Abbas, Karim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inventive Communication and Computational Technologies Proceedings of ICICCT 2022
ent://SD_ILS/0/SD_ILS:528777
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Ranganathan, G. editor. Fernando, Xavier. editor. Rocha, Álvaro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
International Conference on Artificial Intelligence Science and Applications (CAISA)
ent://SD_ILS/0/SD_ILS:528900
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Abd Elaziz, Mohamed. editor. Medhat Gaber, Mohamed. editor. El-Sappagh, Shaker. editor. Al-qaness, Mohammed A. A. editor. Ewees, Ahmed A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Futuristic Communication and Network Technologies Select Proceedings of VICFCNT 2021, Volume 2
ent://SD_ILS/0/SD_ILS:528092
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Subhashini, N. editor. Ezra, Morris. A. G. editor. Liaw, Shien-Kuei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty, Constraints, and Decision Making
ent://SD_ILS/0/SD_ILS:528363
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
ent://SD_ILS/0/SD_ILS:529089
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guide to Java A Concise Introduction to Programming
ent://SD_ILS/0/SD_ILS:520560
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Analytics A Theoretical and Practical View from the EDISON Project
ent://SD_ILS/0/SD_ILS:520729
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
ent://SD_ILS/0/SD_ILS:528338
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Mathematics and Computing
ent://SD_ILS/0/SD_ILS:528192
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Razmjooy, Navid. editor. Ghadimi, Noradin. editor. Rajinikanth, Venkatesan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Machine Learning and Metaheuristics: Methods and Analysis
ent://SD_ILS/0/SD_ILS:528726
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transcending Signs : Essays in Existential Semiotics
ent://SD_ILS/0/SD_ILS:534619
2025-12-08T06:09:28Z
2025-12-08T06:09:28Z
Yazar Ahonen, Pertti, contributor. Bankov, Kristian, contributor. Bauters, Merja, contributor. Berruti, Massimo, contributor. Castro Monteiro, Ricardo Nogueira de, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>