検索結果 5 件
紙図書
国立国会図書館
- 内容細目...nal Projection and Constructive E......otes on FS-Int Programming An Application......e Constants c₃ and c₄ Computation......otes on FN-Int Programming A Simple Examp......tes on FN-Norm Programming Verification o......sidual Vector Candidate Set and Verification C......tes on FN-IntU Programming Example Verifi......es on FN-NormU Programming Infinite-Dimen......otes on IS-Res Programming Extension of t......rtibility of L and Computation of......cations to the Computer-Assisted Proof......ary Conditions and Systems Statio......Condition of L and Computation of......tion Notations and Finite-Dimensi......ic Equations A Related Fully Discrete Galerkin Schem...
- タイトル標目Springer series in computational mathematics ; 53. 0179-3632
紙図書
国立国会図書館全国の図書館
- 要約等...rmation theory and statistical me......f program size and recently is al......s algorithmic randomness. AIT pro......the notion of randomness for an i......ividual object and for studying it closely and comprehensivel...... basic notions and results of AIT......, temperature, and thermal equili......nergy, energy, and entropy, is in......o the partial randomness of the v......on of partial randomness is a str......nt on partial randomness. In this......h mathematical and physical point......rpretation to Landauer's principle is pointed ou...
- 内容細目...Basic Notation and Definitions; 2......-Free Machines and Program-Size C......7 The Partial Randomness of Recur......7.1 R.E. Reals and Thermodynamic ......esults on the Randomness of an R.......on of Partial Randomness; 7.4 The......ent R.E. Reals and Strict T-Compr......marks; 9 Other Related Results and Future Development; 9.1 Curre...
紙図書
国立国会図書館
- 内容細目...r Triangles / Sandy Norman and Betty Travis Coloring and counting recta......chael A. Jones and Mika Munakata Fun and games with squares and planes / Maureen T. Carroll and Steven T. Doug......glas E. Ensley and James E. Hambl......for a discrete mathematics course / Jean M. Horn and Toni T. Robert......odesic dome? / Andrew Felt and Linda Lesniak ......ring polyhedra and discovering Eu......h Wrenn Berman and Gordon William......fect matchings and benzenoids / F......ts in discrete mathematics and computer science. Intro......nomial theorem and Fermat's Theor......Euler circuits and the Königsberg......nian. circuits and the Icosian Game / Janet Hein...
- 件名Mathematics -- Study and teaching (High......United States. Computer science -- Mathematics -- Study and teaching (Higher) -- United S...
紙図書
国立国会図書館
- 内容細目... digital twins and case studies<b......f optimization and resolution met......ite scheduling and spacecraft ope......ion, modeling, and application<br......n, reliability and development in......ech industries and a case study o......s localization and mapping for a ......0. Reliability and health managem......t Cover -- IoT and Spacecraft Inf......ification loss and localization l......ion comparison and improvement --......sult of system and improvement --......ween automatic and manual inspect......axonomy -- 2.2 Related work -- 2.2.1 ......rimental setup and results -- 2.4......round -- 3.1.2 Related works -- 3.2 Artificial bee c...
紙図書
全国の図書館
- 件名IBM 1620 (Computer) -- Programming Electronic digital computers -- Programming
- 件名（識別子）IBM 1620 (Computer) -- Programming Electronic digital computers -- Programming
- 著者標目Andree, Richard Vernon
検索結果は以上です。