思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト・第2版)<br>Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2. Aufl. 2025. xix, 641 S. XIX, 641 p. 643 illus. in color. 235 mm)
  • 洋書
Eine gefährliche Bruderschaft : Nach dem Exposé von Prof. Ottmar W. Herbst
  • 洋書

Eine gefährliche Bruderschaft : Nach dem Exposé von Prof. Ottmar W. Herbst  Paperback,  言語:GER

Schreiner, Wolfgang Franz

  • ウェブストア価格 ¥3,755(本体¥3,414)
  • tredition GmbH(2025/03発売)
  • ポイント 34pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation)
  • 洋書

Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation)  Paperback,  言語:ENG

Schreiner, Wolfgang

  • ウェブストア価格 ¥14,186(本体¥12,897)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 128pt
  • 海外からお取り寄せ(通常6~9週間)
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation) (2023)
  • 洋書

Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation) (2023)  Hardcover,  言語:ENG

Schreiner, Wolfgang

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 170pt
  • 海外取次在庫
Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021)
  • 洋書

Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021)  Paperback,  言語:ENG

Schreiner, Wolfgang

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer Nature Switzerland AG(2022/10発売)
  • ポイント 160pt
  • 海外取次在庫
思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト)<br>Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021. xxxiii, 636 S. XXXIII, 636 p. 204 illus., 98 illus. in color. 23)
  • 洋書
Security and Privacy Management in Service Oriented Architectures : Development of a Web Services Architecture for Managing Sensitive Data (2008. 204 S.)
  • 洋書

Security and Privacy Management in Service Oriented Architectures : Development of a Web Services Architecture for Managing Sensitive Data (2008. 204 S.)  Paperback

Schreiner, Wolfgang

  • ウェブストア価格 ¥20,898(本体¥18,999)
  • VDM VERLAG DR. MÜLLER(2008発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Göttliches Spiel : Evolutionstheologie (2013. 374 S. 44 Abb. 24 cm)
  • 洋書

Göttliches Spiel : Evolutionstheologie (2013. 374 S. 44 Abb. 24 cm)  Paperback

Schreiner, Wolfgang

  • ウェブストア価格 ¥11,877(本体¥10,798)
  • HOLZHAUSEN(2013発売)
  • ポイント 107pt
  • 海外からお取り寄せ(通常6~9週間)
Researching Non-Formal Religious Education in Europe (2019. 298 S. 24 cm)
  • 洋書

Researching Non-Formal Religious Education in Europe (2019. 298 S. 24 cm)  Paperback

Herausgegeben von Schweitzer, Friedrich/ Ilg, Wolfgang/ Schreiner, Peter

  • ウェブストア価格 ¥10,554(本体¥9,595)
  • WAXMANN VERLAG GMBH(2019発売)
  • ポイント 95pt
  • 海外からお取り寄せ(通常6~9週間)
Lasers in the Conservation of Artworks : Lacona VI Proceedings, Vienna, Austria, Sept. 21--25, 2005 (Springer Proceedings in Physics)
  • 洋書

Lasers in the Conservation of Artworks : Lacona VI Proceedings, Vienna, Austria, Sept. 21--25, 2005 (Springer Proceedings in Physics)  Paperback,  言語:ENG

Nimmrichter, Johann/ Kautek, Wolfgang (EDT)/ Schreiner, Manfred

  • ウェブストア価格 ¥79,358(本体¥72,144)
  • Springer(2010/11発売)
  • ポイント 721pt
  • 海外取次在庫