Search Results for Arithmetic. - Narrowed by: 2011SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026ic$003dtrue$0026ps$003d300?2024-12-03T23:00:43ZSentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödelent://SD_ILS/0/SD_ILS:7732024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Mostowski, Andrzej<br/>Preferred Shelf Number BC 135 M6 1952<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systemsent://SD_ILS/0/SD_ILS:1999862024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Herde, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9949-1">http://dx.doi.org/10.1007/978-3-8348-9949-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophiesent://SD_ILS/0/SD_ILS:2379382024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Kennedy, Juliette. Kossak, Roman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geoinformatics in applied geomorphologyent://SD_ILS/0/SD_ILS:2880042024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Anbazhagan, Siddan. Subramanian, S. K. Yang, Xiaojun, 1965-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439830499">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mastering technical mathematicsent://SD_ILS/0/SD_ILS:2936762024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Gibilisco, Stan. Crowhurst, Norman H.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mastering-technical-mathematics-third-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Schaum's outline of theory and problems of mathematics for nursesent://SD_ILS/0/SD_ILS:2939762024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Nishiura, Eizo. Stephens, Larry J. Stephens, Lana C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-mathematics-for-nurses">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical handbook of formulas and tables based on Schaum's outline of mathematical handbook of formulas and tables by Murray R. Spiegel and John Liuent://SD_ILS/0/SD_ILS:2938962024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Spiegel, Murray R. Liu, John. Hademenos, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-easy-outline-mathematical-handbook-formulas-tables">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to pharmaceutical calculationsent://SD_ILS/0/SD_ILS:2782372024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Rees, Judith A. Smith, Ian, 1959 November 24- Smith, Brian, -2000.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=355964">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=355964</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Everyday math demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2941282024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/everyday-math-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Schaum's outline of basic business mathematicsent://SD_ILS/0/SD_ILS:2938822024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Don, Eugene. Lerner, Joel J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-basic-business-mathematics-2ed">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Schaum's outline of computer architectureent://SD_ILS/0/SD_ILS:2939602024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Carter, Nicholas (Nicholas P.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-computer-architecture">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Schaum's outline of review of elementary mathematicsent://SD_ILS/0/SD_ILS:2939622024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Rich, Barnett, 1906- Schmidt, Philip A. Rich, Barnett, 1906- Review of elementary mathematics.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-review-elementary-mathematics">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pre-algebra demystifiedent://SD_ILS/0/SD_ILS:2941142024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Bluman, Allan G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/prealgebra-demystified-second-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dosage calculations demystified a self-teaching guideent://SD_ILS/0/SD_ILS:2942192024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Keogh, James Edward, 1948-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/dosage-calculations-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A mathematical nature walkent://SD_ILS/0/SD_ILS:3757212024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Adam, John A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sj14">http://www.jstor.org/stable/10.2307/j.ctt7sj14</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a primeent://SD_ILS/0/SD_ILS:3754622024-12-03T23:00:43Z2024-12-03T23:00:43ZAuthor Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7rzmb">http://www.jstor.org/stable/10.2307/j.ctt7rzmb</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>