カミクズヒロイ書籍検索 楽天ウェブサービスセンター

HiGH の検索結果 高価 順 約 2000 件中 1041 から 1060 件目（100 頁中 53 頁目） RSS

  • All About Maude: A High-Performance Logical Framework: How to Specify, Program, and Verify Systems i
    • Manuel Clavel/Francisco Duran/Steven Eker
    • SPRINGER NATURE
    • ￥27280
    • 2007年
    • 送料無料（コンビニ送料含む）
    • 0.0(0)
  • Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.
  • Berenguela of Castile (1180-1246) and Political Women in the High Middle Ages
    • M. Shadis
    • SPRINGER NATURE
    • ￥27280
    • 2009年
    • 送料無料（コンビニ送料含む）
    • 0.0(0)
  • Daughter, wife, and mother of kings, Berenguela of Castile (1180-1246) was a key figure in the formation of medieval Castile-Leon. Queen of Leon from 1197-1204, regent for Enrique I of Castile briefly in 1214, and then Queen of Castile in her own right after 1217, she secured the thrones of Castile and Leon for her son Fernando III and enabled his crusades in al-Andalus. This study examines Berenguela's use of authority and power, her legitimacy as a female ruler, and her motherhood and patronage in her efforts to maintain the thrones of Castile and Leon for her family.
  • Fusion08: New Aspects of Heavy Ion Collisions Near the Coulomb Barrier
    • K. Ernst Rehm/Birger B. Back/Henning Esbensen
    • SPRINGER NATURE
    • ￥26998
    • 2009年
    • 送料無料（コンビニ送料含む）
    • 0.0(0)
  • All papers have been peer-reviewed. The fusion of two nuclei is an important process for producing nuclei that do not exist on Earth. This conference discussed aspects of the reaction mechanism leading to fusion as well as nuclear structure aspects of unstable nuclei produced via fusion reactions. The main emphasis was on low (Coulomb barrier) energies.
  • The High North: Cannabis in Canada
    • Andrew D. Hathaway/Clayton James Smith McCann/Ryan Stoa
    • UNIV OF BRITISH COLUMBIA
    • ￥26910
    • 2022年
    • 送料無料（コンビニ送料含む）
    • 0.0(0)

案内