Arama Sonuçları Arithmetic - Daraltılmış: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dArithmetic$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026ps$003d300$0026isd$003dtrue?dt=list2026-06-05T06:57:28ZArithmetic and geometryent://SD_ILS/0/SD_ILS:3740402026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Dieulefait, Luis, editor.<br/>Yer Numarası QA241 A695 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Mostowski, Andrzej<br/>Yer Numarası BC 135 M6 1952<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnologyent://SD_ILS/0/SD_ILS:5305582026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Sridharan, K. author. Pudi, Vikramkumar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16688-9">https://doi.org/10.1007/978-3-319-16688-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5189842026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16277-5">https://doi.org/10.1007/978-3-319-16277-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Intelligence in Digital and Network Designs and Applicationsent://SD_ILS/0/SD_ILS:5183382026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20071-2">https://doi.org/10.1007/978-3-319-20071-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Fortran 2008 Programmingent://SD_ILS/0/SD_ILS:5186372026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Brainerd, Walter S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6759-4">https://doi.org/10.1007/978-1-4471-6759-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:5186552026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17701-4">https://doi.org/10.1007/978-3-319-17701-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>CryptoSchoolent://SD_ILS/0/SD_ILS:5186572026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar von zur Gathen, Joachim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48425-8">https://doi.org/10.1007/978-3-662-48425-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Second International Conference on Mechatronics and Automatic Controlent://SD_ILS/0/SD_ILS:5298292026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Wang, Wego. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13707-0">https://doi.org/10.1007/978-3-319-13707-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numbers and Computersent://SD_ILS/0/SD_ILS:5186882026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17260-6">https://doi.org/10.1007/978-3-319-17260-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic An Introductory Course for Engineering Studentsent://SD_ILS/0/SD_ILS:5296162026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14203-6">https://doi.org/10.1007/978-3-319-14203-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Systems in Science and Information 2014ent://SD_ILS/0/SD_ILS:5296562026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Arai, Kohei. editor. Kapoor, Supriya. editor. Bhatia, Rahul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14654-6">https://doi.org/10.1007/978-3-319-14654-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Polynomial Theory of Error Correcting Codesent://SD_ILS/0/SD_ILS:5296812026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Cancellieri, Giovanni. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-01727-3">https://doi.org/10.1007/978-3-319-01727-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantitative evaluation of safety in drug development : design, analysis and reportingent://SD_ILS/0/SD_ILS:5396662026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Jiang, Qi (Biostatistician), editor. Xi, H. Amy, editor.<br/>Yer Numarası RS57 .Q36 2015<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466555471">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:5190402026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190902026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5193132026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI : circuits for emerging applicationsent://SD_ILS/0/SD_ILS:5474462026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Wojcicki, Tomasz, editor.<br/>Yer Numarası TK7874.75 .V57155 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315215549">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Polandent://SD_ILS/0/SD_ILS:5293442026-06-05T06:57:28Z2026-06-05T06:57:28ZYazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19216-1">https://doi.org/10.1007/978-3-319-19216-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>