Search Results for Arithmetic. - Narrowed by: 2013 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArithmetic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026ic$003dtrue$0026ps$003d300? 2024-12-11T09:57:23Z Birational Geometry, Rational Curves, and Arithmetic ent://SD_ILS/0/SD_ILS:332043 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Bogomolov, Fedor. editor.&#160;Hassett, Brendan. editor.&#160;Tschinkel, Yuri. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6482-2">http://dx.doi.org/10.1007/978-1-4614-6482-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Elliptic Curves and Arithmetic Invariants ent://SD_ILS/0/SD_ILS:332082 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Hida, Haruzo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332082.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6657-4">http://dx.doi.org/10.1007/978-1-4614-6657-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic and Geometry Around Galois Theory ent://SD_ILS/0/SD_ILS:332618 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;D&egrave;bes, Pierre. editor.&#160;Emsalem, Michel. editor.&#160;Romagny, Matthieu. editor.&#160;Uluda&#287;, A. Muhammed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332618.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0487-5">http://dx.doi.org/10.1007/978-3-0348-0487-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic compactifications of PEL-type Shimura varieties ent://SD_ILS/0/SD_ILS:377112 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Lan, Kai-Wen, author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt24hpwv">http://www.jstor.org/stable/10.2307/j.ctt24hpwv</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:773 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Mostowski, Andrzej<br/>Preferred Shelf Number&#160;BC 135 M6 1952<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Number theory arithmetic in Shangri-La proceedings of the 6th China-Japan seminar ent://SD_ILS/0/SD_ILS:281051 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;China-Japan Seminar on Number Theory (6th : 2011 : Shanghai, China)&#160;Kanemitsu, Shigeru.&#160;Li, Hongze.&#160;Liu, Jianya.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564574">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564574</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 ent://SD_ILS/0/SD_ILS:336850 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Ewald, William. editor.&#160;Sieg, Wilfried. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336850.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic and Geometry of K3 Surfaces and Calabi&ndash;Yau Threefolds ent://SD_ILS/0/SD_ILS:332028 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Laza, Radu. editor.&#160;Sch&uuml;tt, Matthias. editor.&#160;Yui, Noriko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332028.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6403-7">http://dx.doi.org/10.1007/978-1-4614-6403-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rational Points and Arithmetic of Fundamental Groups Evidence for the Section Conjecture ent://SD_ILS/0/SD_ILS:333349 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Stix, Jakob. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333349.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30674-7">http://dx.doi.org/10.1007/978-3-642-30674-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334038 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Binary Number System Algorithms and Circuits ent://SD_ILS/0/SD_ILS:335470 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Jamil, Tariq. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335470.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334658 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Dayd&eacute;, Michel. editor.&#160;Marques, Osni. editor.&#160;Nakajima, Kengo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334658.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:335131 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Zhang, Chengyi. editor.&#160;Li, Jinwen. editor.&#160;Yu, Liyan. editor.<br/>Preferred Shelf Number&#160;ONLINE(335131.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332910 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:334079 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334079.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334080 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Lu, Pingjing. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.<br/>Preferred Shelf Number&#160;ONLINE(334080.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2024-12-11T09:57:23Z 2024-12-11T09:57:23Z Author&#160;Krishnaswamy, Smita. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335669.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>