Search Results for Computer arithmetic. - Narrowed by: EnglishSirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputer$002barithmetic.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ps$003d300?dt=list2026-04-16T00:41:50ZComputer arithmeticent://SD_ILS/0/SD_ILS:6763892026-04-16T00:41:50Z2026-04-16T00:41:50Zby George, F. H.<br/>Format: Books<br/>Arithmetic and logic in computer systemsent://SD_ILS/0/SD_ILS:9307002026-04-16T00:41:50Z2026-04-16T00:41:50Zby Lu, Mi.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=226429">Click to View</a><br/>Format: Electronic Resources<br/>Computer arithmetic in theory and practiceent://SD_ILS/0/SD_ILS:11787682026-04-16T00:41:50Z2026-04-16T00:41:50Zby Kulisch, Ulrich.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124286504">http://www.sciencedirect.com/science/book/9780124286504</a><br/>Format: Electronic Resources<br/>Computer arithmetic and self-validating numerical methodsent://SD_ILS/0/SD_ILS:11933572026-04-16T00:41:50Z2026-04-16T00:41:50Zby Ullrich, Christian, editor.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780127082455">https://www.sciencedirect.com/science/book/9780127082455</a><br/>Format: Electronic Resources<br/>Computer arithmetic and validity theory, implementation, and applicationsent://SD_ILS/0/SD_ILS:10090252026-04-16T00:41:50Z2026-04-16T00:41:50Zby Kulisch, Ulrich.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1130308">Click to View</a><br/>Format: Electronic Resources<br/>Computer arithmetic and validity theory, implementation, and applicationsent://SD_ILS/0/SD_ILS:9472282026-04-16T00:41:50Z2026-04-16T00:41:50Zby Kulisch, Ulrich.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=364664">Click to View</a><br/>Format: Electronic Resources<br/>Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq systement://SD_ILS/0/SD_ILS:11316682026-04-16T00:41:50Z2026-04-16T00:41:50Zby Boldo, Sylvie, author.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=5150685">Click to View</a><br/>Format: Electronic Resources<br/>Computer-assisted instruction at Stanford, 1966-68 data, models, and evaluation of the arithmetic programsent://SD_ILS/0/SD_ILS:11762362026-04-16T00:41:50Z2026-04-16T00:41:50Zby Suppes, Patrick, 1922-2014.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780126768565">http://www.sciencedirect.com/science/book/9780126768565</a><br/>Format: Electronic Resources<br/>Digital curricula in school mathematicsent://SD_ILS/0/SD_ILS:11081452026-04-16T00:41:50Z2026-04-16T00:41:50Zby Bates, Meg, 1981- editor.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=4415973">Click to View</a><br/>Format: Electronic Resources<br/>Digital arithmeticent://SD_ILS/0/SD_ILS:11881762026-04-16T00:41:50Z2026-04-16T00:41:50Zby Ercegovac, Miloš D.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558607989">http://www.sciencedirect.com/science/book/9781558607989</a><br/>Format: Electronic Resources<br/>Pascal-SC : a computer language for scientific computationent://SD_ILS/0/SD_ILS:11761652026-04-16T00:41:50Z2026-04-16T00:41:50Zby Bohlender, Gerd.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121111557">http://www.sciencedirect.com/science/book/9780121111557</a><br/>Format: Electronic Resources<br/>A new approach to scientific computationent://SD_ILS/0/SD_ILS:11935372026-04-16T00:41:50Z2026-04-16T00:41:50Zby Symposium on a New Approach to Scientific Computation (1982 : IBM Thomas J. Watson Research Center)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124286603">http://www.sciencedirect.com/science/book/9780124286603</a><br/>Format: Electronic Resources<br/>The audio dictionaryent://SD_ILS/0/SD_ILS:10996762026-04-16T00:41:50Z2026-04-16T00:41:50Zby White, Glenn D., 1933-<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3444322">Click to View</a><br/>Format: Electronic Resources<br/>Embedded systems and computer architectureent://SD_ILS/0/SD_ILS:11877462026-04-16T00:41:50Z2026-04-16T00:41:50Zby Wilson, G. R. (Graham R.)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750650649">http://www.sciencedirect.com/science/book/9780750650649</a><br/>Format: Electronic Resources<br/>Basic electronics mathent://SD_ILS/0/SD_ILS:11851682026-04-16T00:41:50Z2026-04-16T00:41:50Zby Herrick, Clyde N.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780750697279">https://www.sciencedirect.com/science/book/9780750697279</a><br/>Format: Electronic Resources<br/>Minnesota symposia on child psychology. Vol. 1ent://SD_ILS/0/SD_ILS:9456722026-04-16T00:41:50Z2026-04-16T00:41:50Zby Minnesota Symposium on Child Psychology (1st : 1967 : University of Minnesota)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=345378">Click to View</a><br/>Format: Electronic Resources<br/>Embedded Systems Design with Special Arithmetic and Number Systemsent://SD_ILS/0/SD_ILS:4808732026-04-16T00:41:50Z2026-04-16T00:41:50Zby Molahosseini, Amir Sabbagh. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-49742-6">http://dx.doi.org/10.1007/978-3-319-49742-6</a><br/>Format: Electronic Resources<br/>Introduction to microcontrollers : architecture, programming, and interfacing for the Freescale 68HC12ent://SD_ILS/0/SD_ILS:11884322026-04-16T00:41:50Z2026-04-16T00:41:50Zby Lipovski, G. Jack.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780124518384">https://www.sciencedirect.com/science/book/9780124518384</a><br/>Format: Electronic Resources<br/>Computer organization and design : the hardware/software interfaceent://SD_ILS/0/SD_ILS:11782292026-04-16T00:41:50Z2026-04-16T00:41:50Zby Hennessy, John L.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9781483207759">https://www.sciencedirect.com/science/book/9781483207759</a><br/>Format: Electronic Resources<br/>Introduction to Logic Circuits & Logic Design with VHDLent://SD_ILS/0/SD_ILS:4802212026-04-16T00:41:50Z2026-04-16T00:41:50Zby LaMeres, Brock J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34195-8">http://dx.doi.org/10.1007/978-3-319-34195-8</a><br/>Format: Electronic Resources<br/>Introduction to Logic Circuits & Logic Design with Verilogent://SD_ILS/0/SD_ILS:4811482026-04-16T00:41:50Z2026-04-16T00:41:50Zby LaMeres, Brock J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-53883-9">http://dx.doi.org/10.1007/978-3-319-53883-9</a><br/>Format: Electronic Resources<br/>Introduction to numerical computationsent://SD_ILS/0/SD_ILS:11824562026-04-16T00:41:50Z2026-04-16T00:41:50Zby Vandergraft, James S.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780127113562">http://www.sciencedirect.com/science/book/9780127113562</a><br/>Format: Electronic Resources<br/>A guide to medical computingent://SD_ILS/0/SD_ILS:11840312026-04-16T00:41:50Z2026-04-16T00:41:50Zby Coles, Edward Cecil.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780407548008">https://www.sciencedirect.com/science/book/9780407548008</a><br/>Format: Electronic Resources<br/>The digital computerent://SD_ILS/0/SD_ILS:11773152026-04-16T00:41:50Z2026-04-16T00:41:50Zby Parton, Ken, author.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780080122496">https://www.sciencedirect.com/science/book/9780080122496</a><br/>Format: Electronic Resources<br/>The Computational Complexity of Presburger Arithmeticent://SD_ILS/0/SD_ILS:6946782026-04-16T00:41:50Z2026-04-16T00:41:50Zby Nguyen Luu, Danh, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10828057">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10828057</a><br/>Format: Books<br/>The designer's guide to VHDLent://SD_ILS/0/SD_ILS:11881442026-04-16T00:41:50Z2026-04-16T00:41:50Zby Ashenden, Peter J.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558606746">http://www.sciencedirect.com/science/book/9781558606746</a><br/>Format: Electronic Resources<br/>Reliability in computing : the role of interval methods in scientific computingent://SD_ILS/0/SD_ILS:11759752026-04-16T00:41:50Z2026-04-16T00:41:50Zby Moore, Ramon E.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780125056304">https://www.sciencedirect.com/science/book/9780125056304</a><br/>Format: Electronic Resources<br/>Computer analysis of cardiac arrhythmiasent://SD_ILS/0/SD_ILS:6846282026-04-16T00:41:50Z2026-04-16T00:41:50Zby Taylor, Thomas Philip Muir, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868036">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868036</a><br/>Format: Books<br/>Advances in computers. Volume 3ent://SD_ILS/0/SD_ILS:11902632026-04-16T00:41:50Z2026-04-16T00:41:50Zby Alt, Franz L.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780120121038">https://www.sciencedirect.com/science/book/9780120121038</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/00652458/3">https://www.sciencedirect.com/science/bookseries/00652458/3</a><br/>Format: Electronic Resources<br/>Polynomial systems: Graphical structure, Geometry, and Applicationsent://SD_ILS/0/SD_ILS:6874032026-04-16T00:41:50Z2026-04-16T00:41:50Zby Cifuentes, Diego, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902444">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902444</a><br/>Format: Books<br/>Encyclopedia of information systemsent://SD_ILS/0/SD_ILS:11888882026-04-16T00:41:50Z2026-04-16T00:41:50Zby Bidgoli, Hossein.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/referenceworks/9780122272400">http://www.sciencedirect.com/science/referenceworks/9780122272400</a><br/>Format: Electronic Resources<br/>Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971ent://SD_ILS/0/SD_ILS:11924382026-04-16T00:41:50Z2026-04-16T00:41:50Zby International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/74">http://www.sciencedirect.com/science/bookseries/0049237X/74</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74">https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74</a><br/>Format: Electronic Resources<br/>Big Java : late objectsent://SD_ILS/0/SD_ILS:11551082026-04-16T00:41:50Z2026-04-16T00:41:50Zby Horstmann, Cay S., 1959-.<br/>Format: Books<br/>Engineering digital designent://SD_ILS/0/SD_ILS:11872592026-04-16T00:41:50Z2026-04-16T00:41:50Zby Tinder, Richard F. (Richard Franchere), 1930-2011.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780126912951">http://www.sciencedirect.com/science/book/9780126912951</a><br/>Format: Electronic Resources<br/>