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-13T20:22:11ZArithmetic and geometryent://SD_ILS/0/SD_ILS:3740402025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77ent://SD_ILS/0/SD_ILS:5186552025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Computational Intelligence in Digital and Network Designs and Applicationsent://SD_ILS/0/SD_ILS:5183382025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Guide to Fortran 2008 Programmingent://SD_ILS/0/SD_ILS:5186372025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Numbers and Computersent://SD_ILS/0/SD_ILS:5186882025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Fuzzy Logic An Introductory Course for Engineering Studentsent://SD_ILS/0/SD_ILS:5296162025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Intelligent Systems in Science and Information 2014ent://SD_ILS/0/SD_ILS:5296562025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Polynomial Theory of Error Correcting Codesent://SD_ILS/0/SD_ILS:5296812025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>Proceedings of the Second International Conference on Mechatronics and Automatic Controlent://SD_ILS/0/SD_ILS:5298292025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>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-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>VLSI : circuits for emerging applicationsent://SD_ILS/0/SD_ILS:5474462025-12-13T20:22:11Z2025-12-13T20:22:11ZAuthor 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/>