「"arithmetic"」の検索結果 | NDLサーチ

検索結果 4,844 件

タイトルでまとめる

Computer arithmetic

紙図書

editor, Earl E Swartzlander.World Scientific[2015]<M159-D3>

国立国会図書館

要約等...rs in computer arithmetic. These papers ......as logarithmic arithmetic and the calculations of eleme...
件名Computer programming. Floating-point arithmetic. Computer arithmetic.

The last marshmallow (Storytelling math)

紙図書児童書

Grace LinCharlesbridge[2020]<Y11-D302>

国立国会図書館

件名Counting--Juvenile literature Arithmetic--Juvenile literature

Periods of quaternionic Shimura varieties. I (Contemporary mathematics ; 762)

紙図書

Atsushi Ichino, Kartik PrasannaAmerican Mathematical Society[2021]<MA95-D10>

国立国会図書館全国の図書館

件名...mber theory -- Arithmetic algebraic geom......e geometry) -- Arithmetic aspects of modular and Shimur...

2013 IEEE 21st symposium on computer arithmetic : (ARITH 2013) : Austin, Texas, USA : 7-10 April 2013 : ARITH-21 : Apr 2013, Austin, TX.

紙図書

IEEEc2013.<M17-14-524>

国立国会図書館

件名Computer arithmetic--Congresses.
一般注記...um on Computer Arithmetic, held in Austin, Texas, USA, ...
著者標目Symposium on Computer Arithmetic (21st : 2013 : Austin, Texas)

Arakelov geometry English language edition. (Translations of mathematical monographs ; volume 244)

紙図書

Atsushi Moriwaki, translated by Atsushi Moriwaki.American Mathematical Society2014.<MA95-B49>

国立国会図書館

件名...ic geometry -- Arithmetic problems. Diop......ne geometry -- Arithmetic varieties and ......mber theory -- Arithmetic algebraic geom......odic theory -- Arithmetic and non-Archimedean dynamical...

The Gross-Zagier formula on Shimura curves (Annals of mathematics studies ; no. 184)

紙図書

Xinyi Yuan, Shou-wu Zhang, and Wei Zhang.Princeton University Press2013.<MA51-B38>

国立国会図書館

件名Shimura varieties. Arithmetical algebraic geometry. Automor...

Understanding geometric algebra : Hamilton, Grassmann, and Clifford for computer vision and graphics

紙図書

Kenichi Kanatani.CRC Press[2015]<MA95-B53>

国立国会図書館

件名...ry, Algebraic. Arithmetical algebraic geometry. Quatern...

2011 20th IEEE symposium on computer arithmetic : (ARITH 2011) : Tuebingen, Germany : 25-27 July 2011 : ARITH-20 : Jul 2011, Tuebingen, Germany.

紙図書

IEEEc2011.<M17-12-1641>

国立国会図書館

件名Computer arithmetic--Congresses.
著者標目Symposium on Computer Arithmetic (20th : 2011 : Tübingen, Germ...

Arifmetika-2 / A.V. Spivak. (Bibliotechka "Kvant" ; vyp. 109) (Prilozhenie k zhurnalu "Kvant" ; no. 5/2008)

紙図書

Bi͡uro Kvantum2008.<MA51-B28>

国立国会図書館

件名Arithmetic.

Finite precision number systems and arithmetic / Peter Kornerup, David W. Matula. (Encyclopedia of mathematics and its applications ; 133)

紙図書

Cambridge University Press2010.<MA41-B30>

国立国会図書館全国の図書館

要約等"Fundamental arithmetic operations sup......ning efficient arithmetic algorithms. Us......as a basis for arithmetic, the authors d......hms for closed arithmetic operations over these systems...
内容細目...ms; 8. Modular arithmetic and residue nu......s; 9. Rational arithmetic; Author index; Index.
件名Arithmetic -- Foundations.

トポス理論における局所作用素と直観主義算術における準古典的公理の分離

デジタル博士論文障害者向け資料あり

Nakata, SatoshiKyoto University2024-03-25

インターネットで読める国立国会図書館全国の図書館

件名local operator elementary topos effective topos realizability intuitionistic arithmetic
並列タイトル等（連結）...intuitionistic arithmetic
並列タイトル等...intuitionistic arithmetic

Computer algebra in scientific computing : 17th international workshop, CASC 2015 : Aachen, Germany, September 14-18, 2015 : proceedings : 17th CASC conference : Sep 2015, Aachen, Germany. (Lecture Notes in Computer Science ; 9301)

紙図書

Springer[2015]<M17-16-619>

国立国会図書館

件名...ence. Computer arithmetic and logic unit...... Manipulation. Arithmetic and Logic Structures.

Bedtime math First edition.

紙図書児童書

Laura Overdeck, illustrated by Jim Paillot.Feiwel and Friends2013.<Y11-B1015>

国立国会図書館

件名Arithmetic--Problems, exe......le literature. Arithmetic--Problems, exercises, etc. Ma...

2009 19th IEEE international symposium on computer arithmetic : (ARITH 2009) : Portland, Oregon, USA : 8-10 June 2009. : Jun 2009, Portland, OR.

紙図書

IEEEc2009.<M17-10-2284>

国立国会図書館

件名Computer arithmetic -- Congresses.
著者標目Bruguera, Javier D. Symposium on Computer Arithmetic (19th : 2009 : Portland, Ore....

Arifmetika / A.V. Spivak. (Bibliotechka "Kvant" ; vyp. 102) (Prilozhenie k zhurnalu "Kvant" ; no. 4/2007)

紙図書

Bi͡uro Kvantum2007.<MA51-B21>

国立国会図書館

件名Arithmetic.

Regulators : regulators III conference : July 12-22, 2010 : Barcelona, Spain : Jul 2010, Barcelona, Spain. (Contemporary Mathematics ; 571)

紙図書

American Mathematical Society[2012]<M17-15-102>

国立国会図書館

件名...raic geometry--Arithmetic problems. Diop......tine geometry--Arithmetic problems. Diop......Number theory--Arithmetic algebraic geom......ine geometry)--Arithmetic algebraic geometry (Diophanti...