意思決定手順とアルゴリズム(第2版)<br>Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series) (2ND)
  • 洋書
  • ポイントキャンペーン

意思決定手順とアルゴリズム(第2版)
Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series) (2ND)
 Hardcover

Kroening, Daniel/ Strichman, Ofer

  • ウェブストア価格 ¥18,548(本体¥16,862)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/01発売)
  • ポイント 840pt
  • 海外取次在庫
Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science : An EATCS Series)
  • 洋書
  • ポイントキャンペーン

Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science : An EATCS Series)  Hardcover

Kroening, D./ Strichman, O.

  • Springer(2008/05発売)
  • ご注文いただけません
Validation of Evolving Software (2015)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Validation of Evolving Software (2015)  Hardcover

Chockler, Hana (EDT)/ Kroening, Daniel (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥12,767(本体¥11,607)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 580pt
  • 海外からお取り寄せ(通常6~9週間)
High Performance Computing in Science and Engineering '15 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2015
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

High Performance Computing in Science and Engineering '15 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2015  Hardcover,  言語:ENG

Nagel, Wolfgang E. (EDT)/ Kröner, Dietmar H. (EDT)/ Resch, Michael M. (EDT)

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 1,685pt
  • 海外取次在庫
High Performance Computing in Science and Engineering '11 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011
  • 洋書
  • ポイントキャンペーン

High Performance Computing in Science and Engineering '11 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011  Hardcover,  言語:ENG

Nagel, W. E./ Kroener, D. B.

  • Springer(2011/12発売)
  • ご注文いただけません
High Performance Computing in Science and Engineering '08 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008
  • 洋書
  • ポイントキャンペーン

High Performance Computing in Science and Engineering '08 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008  Hardcover,  言語:ENG

Nagel, W. E. (EDT)/ Kröner, D. B. (EDT)/ Resch, M. M. (EDT)

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer(2008/12発売)
  • ポイント 1,685pt
  • 海外取次在庫
Analysis of Chemical Warfare Degradation Products
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Analysis of Chemical Warfare Degradation Products  Hardcover,  言語:ENG

Kroening, Karolin K./ Easter, Renee N./ Richardson, Douglas D./ Willis

  • ウェブストア価格 ¥19,750(本体¥17,955)
  • John Wiley & Sons Inc(2011/05発売)
  • ポイント 895pt
  • 海外からお取り寄せ(通常6~9週間)
Hamilton-Jacobi-Bellman Equations : Numerical Methods and Applications in Optimal Control (Radon Series on Computational and Applied Mathematics 21)
  • 洋書
  • ポイントキャンペーン

Hamilton-Jacobi-Bellman Equations : Numerical Methods and Applications in Optimal Control (Radon Series on Computational and Applied Mathematics 21)

Herausgegeben von Kalise, Dante/Kunisch, Karl/Rao, Zhiping

  • DE GRUYTER(2018/08発売)
  • ご注文いただけません
Amelie von Wulffen. Ausstellungen / Exhibitions 2018 - 2022 : Ausst. Kat. Kunsthalle Bern (2022. 176 S. 134 Abb. 27.5 cm)
  • 洋書
  • ポイントキャンペーン

Amelie von Wulffen. Ausstellungen / Exhibitions 2018 - 2022 : Ausst. Kat. Kunsthalle Bern (2022. 176 S. 134 Abb. 27.5 cm)  Paperback

Herausgegeben:Kunsthalle Bern/ Etablissement d'en face, Bruessel/Brussels/ Wulffen, Amelie von/Mitarbeit:Wulffen, Amelie von/ Draxler, Helmut/ Knoll, Valé/rie/ Kroener, Tonio

  • ウェブストア価格 ¥7,407(本体¥6,734)
  • VERLAG DER BUCHHANDLUNG KÖNIG(2022発売)
  • ポイント 335pt
  • 海外からお取り寄せ(通常6~9週間)