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$0026te$003dILS$0026ps$003d300?2024-10-27T18:08:25ZArithmetic and geometryent://SD_ILS/0/SD_ILS:3740402024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor 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:7732024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe 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:5189842024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518984.1)<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/>Guide to Fortran 2008 Programmingent://SD_ILS/0/SD_ILS:5186372024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Brainerd, Walter S. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518637.1)<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:5186552024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518655.1)<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:5186572024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor von zur Gathen, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518657.1)<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/>Numbers and Computersent://SD_ILS/0/SD_ILS:5186882024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518688.1)<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/>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:5191612024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<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/>Quantitative evaluation of safety in drug development : design, analysis and reportingent://SD_ILS/0/SD_ILS:3566992024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Jiang, Qi (Biostatistician), editor. Xi, H. Amy, editor.<br/>Preferred Shelf Number ONLINE(356699.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466555471">Distributed by publisher. Purchase or institutional license may be required for access.</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:5190402024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519040.1)<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:5190902024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519090.1)<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/>Computational Intelligence in Digital and Network Designs and Applicationsent://SD_ILS/0/SD_ILS:5183382024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518338.1)<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/>Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5193132024-10-27T18:08:25Z2024-10-27T18:08:25ZAuthor Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number XX(519313.1)<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/>