Search Results for Arithmetic - Narrowed by: 2016 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic$0026qf$003dPUBDATE$002509Publication$002bDate$0025092016$0025092016$0026ps$003d300? 2026-07-21T06:49:22Z Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:773 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Digital electronics 2 : sequential and arithmetic logic circuits ent://SD_ILS/0/SD_ILS:424302 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Ndjountche, Tertulien.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1002/9781119329756">Wiley Online Library</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612125 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Duquesne, Sylvain. editor.&#160;Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55227-9">https://doi.org/10.1007/978-3-319-55227-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation ent://SD_ILS/0/SD_ILS:612605 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Palchaudhuri, Ayan. author.&#160;Chakraborty, Rajat Subhra. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2520-1">https://doi.org/10.1007/978-81-322-2520-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, W&uuml;rzburg, Germany, September 21-26, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:618101 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Nehmeier, Marco. editor.&#160;Wolff von Gudenberg, J&uuml;rgen. editor.&#160;Tucker, Warwick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31769-4">https://doi.org/10.1007/978-3-319-31769-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics for dyslexics and dyscalculics : a teaching handbook ent://SD_ILS/0/SD_ILS:593308 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Chinn, Stephen J.&#160;Ashcroft, Richard E.<br/>Preferred Shelf Number&#160;QA11.2 .C47 2016 EB<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119159995">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119159995</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied univariate, bivariate, and multivariate statistics ent://SD_ILS/0/SD_ILS:593076 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Denis, Daniel J., 1974-<br/>Preferred Shelf Number&#160;QA279<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611744 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Greuel, Gert-Martin. editor.&#160;Koch, Thorsten. editor.&#160;Paule, Peter. editor.&#160;Sommese, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613275 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Olivetti, Nicola. editor.&#160;Tiwari, Ashish. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua ent://SD_ILS/0/SD_ILS:613009 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Vourkas, Ioannis. author.&#160;Sirakoulis, Georgios Ch. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22647-7">https://doi.org/10.1007/978-3-319-22647-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616004 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45641-6">https://doi.org/10.1007/978-3-319-45641-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SPSS for Starters and 2nd Levelers ent://SD_ILS/0/SD_ILS:617183 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Cleophas, Ton J. author.&#160;Zwinderman, Aeilko H. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20600-4">https://doi.org/10.1007/978-3-319-20600-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Imaging Primer ent://SD_ILS/0/SD_ILS:617232 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Parkin, Alan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-540-85619-1">https://doi.org/10.1007/978-3-540-85619-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability and Safety Engineering ent://SD_ILS/0/SD_ILS:611385 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Verma, Ajit Kumar. author.&#160;Ajit, Srividya. author.&#160;Karanki, Durga Rao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6269-8">https://doi.org/10.1007/978-1-4471-6269-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decision Procedures An Algorithmic Point of View ent://SD_ILS/0/SD_ILS:615175 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Kroening, Daniel. author.&#160;Strichman, Ofer. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays ent://SD_ILS/0/SD_ILS:612226 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Kumm, Martin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-13323-8">https://doi.org/10.1007/978-3-658-13323-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Turing Computability Theory and Applications ent://SD_ILS/0/SD_ILS:614477 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Soare, Robert I. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Clinical Data Analysis on a Pocket Calculator Understanding the Scientific Methods of Statistical Reasoning and Hypothesis Testing ent://SD_ILS/0/SD_ILS:615548 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Cleophas, Ton J. author.&#160;Zwinderman, Aeilko H. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-27104-0">https://doi.org/10.1007/978-3-319-27104-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Autism ent://SD_ILS/0/SD_ILS:617312 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Galitsky, Boris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptography Made Simple ent://SD_ILS/0/SD_ILS:617695 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Smart, Nigel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21936-3">https://doi.org/10.1007/978-3-319-21936-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems ent://SD_ILS/0/SD_ILS:615735 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Tlelo-Cuautle, Esteban. author. (orcid)0000-0001-7187-4686&#160;Rangel-Magdaleno, Jos&eacute; de Jes&uacute;s. author.&#160;de la Fraga, Luis Gerardo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-34115-6">https://doi.org/10.1007/978-3-319-34115-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616953 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;Beckmann, Arnold. editor.&#160;Bienvenu, Laurent. editor.&#160;Jonoska, Nata&scaron;a. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications ent://SD_ILS/0/SD_ILS:617503 2026-07-21T06:49:22Z 2026-07-21T06:49:22Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>