Search Results for Arithmetic. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?2025-12-14T21:57:33ZArithmetic and geometryent://SD_ILS/0/SD_ILS:3740402025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Dieulefait, Luis, editor.<br/>Preferred Shelf Number QA241 A695 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnologyent://SD_ILS/0/SD_ILS:5305582025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Sridharan, K. author. Pudi, Vikramkumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5189842025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative evaluation of safety in drug development : design, analysis and reportingent://SD_ILS/0/SD_ILS:5396662025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Jiang, Qi (Biostatistician), editor. Xi, H. Amy, editor.<br/>Preferred Shelf Number RS57 .Q36 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466555471">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Numbers and Computersent://SD_ILS/0/SD_ILS:5186882025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Systems in Science and Information 2014ent://SD_ILS/0/SD_ILS:5296562025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Arai, Kohei. editor. Kapoor, Supriya. editor. Bhatia, Rahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Second International Conference on Mechatronics and Automatic Controlent://SD_ILS/0/SD_ILS:5298292025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Wang, Wego. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Logic An Introductory Course for Engineering Studentsent://SD_ILS/0/SD_ILS:5296162025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Polynomial Theory of Error Correcting Codesent://SD_ILS/0/SD_ILS:5296812025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Cancellieri, Giovanni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5293442025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5190902025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5193132025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Fortran 2008 Programmingent://SD_ILS/0/SD_ILS:5186372025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Brainerd, Walter S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:5186552025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>CryptoSchoolent://SD_ILS/0/SD_ILS:5186572025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor von zur Gathen, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5190402025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5191612025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence in Digital and Network Designs and Applicationsent://SD_ILS/0/SD_ILS:5183382025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>VLSI : circuits for emerging applicationsent://SD_ILS/0/SD_ILS:5474462025-12-14T21:57:33Z2025-12-14T21:57:33ZAuthor Wojcicki, Tomasz, editor.<br/>Preferred Shelf Number TK7874.75 .V57155 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315215549">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>