Jump to main content

yr 〜
yr

Search results 111

Euclidean design theory (SpringerBriefs in statistics ; JSS research series in statistics)

Euclidean design theory (SpringerBriefs in statistics ; JSS research series in statistics)
Paper図書
Masanori Sawa, Masatake Hirao, Sanpei Kageyama.Springer[2019]<MA214-D1>
National Diet Library

Architecture and mathematics from antiquity to the future

Architecture and mathematics from antiquity to the future
Paper図書
Kim Williams, Michael J. Ostwald, editors.Birkhäuser[2015]<KA31-B13>
National Diet Library

AIAA/ASCE/AHS/ASC structures, structural dynamics, and materials conference 2018 : held at the AIAA SciTech forum 2018 : Kissimmee, Florida, USA : 8-12 January 2018 : 2018 SCITECH/AIAA/ASCE/AHS/ASC structures, structural dynamics, and materials conference : AIAA SciTech SDM conference 2018 : symposium in honor of Dr. Ivatury S. Raju : 59th AIAA/ASME/ASCE/AHS/ASC structures, structural dynamics, and materials conference : Jan 2018, Kissimmee, FL.

AIAA/ASCE/AHS/ASC structures, structural dynamics, and materials conference 2018 : held at the AIAA SciTech forum 2018 : Kissimmee, Florida, USA : 8-12 January 2018 : 2018 SCITECH/AIAA/ASCE/AHS/ASC structures, structural dynamics, and materials conference : AIAA SciTech SDM conference 2018 : symposium in honor of Dr. Ivatury S. Raju : 59th AIAA/ASME/ASCE/AHS/ASC structures, structural dynamics, and materials conference : Jan 2018, Kissimmee, FL.
Paper図書
American Institute of Aeronautics and Astronautics[2018]<M17-19-1111>
National Diet Library

Physiologically-based pharmacokinetic (PBPK) modeling and simulations : principles, methods, and applications in the pharmaceutical industry

Physiologically-based pharmacokinetic (PBPK) modeling and simulations : principles, methods, and applications in the pharmaceutical industry
Paper図書
Sheila Annie Peters.Wileyc2012.<SD71-B50>
National Diet Library

Mechanics of masonry structures : ------. (CISM Courses and Lectures ; 551)

Mechanics of masonry structures : ------. (CISM Courses and Lectures ; 551)
Paper図書
Springer[2014]<M17-15-431>
National Diet Library

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)
Paper図書
Springerc2011.<M17-12-19>
National Diet Library

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)
Paper図書
Springerc2009.<M17-10-1647>
National Diet Library
  • Subject Heading...resses. System design -- Mathematics -- Congresses.

Geometric computation : foundations for design pbk.

Geometric computation : foundations for design pbk.
Paper図書
Joy Ko and Kyle SteinfeldRoutledgec2018
Other Libraries in Japan
  • Subject HeadingArchitecture -- Mathematics Design -- Mathematics
  • Subject Heading (ID)Architecture -- Mathematics Design -- Mathematics

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)
Paper図書
Springerc2008.<M17-08-1784>
National Diet Library
  • Subject Heading...resses. System design -- Mathematics -- Congresses.

Multiphysics modeling in materials design : November 30-December 4, 2009 : Boston, Massachusetts, USA. : Nov 2009, Boston, MA. (Materials Research Society Symposia Proceedings ; 1229)

Multiphysics modeling in materials design : November 30-December 4, 2009 : Boston, Massachusetts, USA. : Nov 2009, Boston, MA. (Materials Research Society Symposia Proceedings ; 1229)
Paper図書
Materials Research Societyc2010.<M17-10-3423>
National Diet Library

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)
Paper図書
Springerc2006.<M17-06-3028>
National Diet Library
  • Subject Heading...resses. System design -- Mathematics -- Congresses.

Introduction to optimum design 5th ed

Introduction to optimum design 5th ed
Paper図書
Jasbir Singh AroraAcademic Pressc2025
Other Libraries in Japan

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)
Paper図書
Springer-Verlagc2003.<M17-04-1289>
National Diet Library
  • Subject Heading...resses. System design -- Mathematics -- Congresses.

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)
Paper図書
Springer2002.<M17-03-105>
National Diet Library
  • Subject Heading...resses. System design -- Mathematics -- Congresses.

46th AIAA/ASME/ASCE/AHS/ASC structures, structural dynamics, and materials conference : 13th AIAA/ASME/AHS adaptive structures conference : 7th AIAA non-deterministic approaches forum : 6th AIAA gossamer spacecraft forum : 1st AIAA multidisciplinary design optimization specialist conference : a collection of technical papers : Austin, Texas : 18-21 April 2005. : Apr 2005, Austin, TX.

46th AIAA/ASME/ASCE/AHS/ASC structures, structural dynamics, and materials conference : 13th AIAA/ASME/AHS adaptive structures conference : 7th AIAA non-deterministic approaches forum : 6th AIAA gossamer spacecraft forum : 1st AIAA multidisciplinary design optimization specialist conference : a collection of technical papers : Austin, Texas : 18-21 April 2005. : Apr 2005, Austin, TX.
Paper図書
American Institute of Aeronautics and Astronauticsc2005.<M17-06-2316>
National Diet Library

Geometric modeling of fractal forms for CAD

Geometric modeling of fractal forms for CAD
Paper図書
Christian Gentil, Gilles Gouaty, Dmitry SokolovISTE2021
Other Libraries in Japan
  • Subject HeadingComputer-aided design -- Mathematics Fractals
  • Subject Heading (ID)Computer-aided design -- Mathematics Fractals

The design of material, organism, and minds : different understandings of design

The design of material, organism, and minds : different understandings of design
Paper図書
Silke Konsorski-Lang, Michael Hampe (eds.)Springerc2010
Other Libraries in Japan
  • Subject HeadingDesign -- Philosophy Experimental design Design -- Mathematics
  • Subject Heading (ID)Design -- Philosophy Experimental design Design -- Mathematics

Introduction to optimum design 4th ed

Introduction to optimum design 4th ed
Paper図書
Jasbir Singh AroraAcademic Pressc2017
Other Libraries in Japan

Matematicheskie metody v zadachakh rascheta i proektirovanii͡a slozhnykh mekhanicheskikh sistem : sbornik nauchnykh trudov / [redakt͡sionnai͡a kollegii͡a, V.I. Mossakovskiĭ (otvetstvennyĭ redaktor) ... et al.].

Matematicheskie metody v zadachakh rascheta i proektirovanii͡a slozhnykh mekhanicheskikh sistem : sbornik nauchnykh trudov / [redakt͡sionnai͡a kollegii͡a, V.I. Mossakovskiĭ (otvetstvennyĭ redaktor) ... et al.].
Paper図書
Akademii͡a nauk Ukrainy, In-t kibernetiki im. V.I. Glushkova1992.<M321-A29>
National Diet Library

Meta-heuristic and evolutionary algorithms for engineering optimization

Meta-heuristic and evolutionary algorithms for engineering optimization
Paper図書
Omid Bozorg-Haddad, Mohammad Solgi, Hugo A. LoáicigaWiley2017
Other Libraries in Japan
  • Subject HeadingMathematical optimization Engineering design -- Mathematics
  • Subject Heading (ID)Mathematical optimization Engineering design -- Mathematics
RSS