情報フロー計量化の科学(テキスト)<br>The Science of Quantitative Information Flow (Information Security and Cryptography)
  • 洋書
  • ポイントキャンペーン

情報フロー計量化の科学(テキスト)
The Science of Quantitative Information Flow (Information Security and Cryptography)
 Hardcover

Alvim, Mário S./ Chatzikokolakis, Konstantinos/ McIver, Annabelle

  • ウェブストア価格 ¥16,575(本体¥15,069)
  • Springer International Publishing AG(2020/09発売)
  • ポイント 750pt
  • 海外取次在庫
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
  • 洋書
  • ポイントキャンペーン

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)  Paperback,  言語:ENG

McIver, Annabelle/ Morgan, Charles Carroll

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer(2010/02発売)
  • ポイント 1,705pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Davis, Martin (EDT)/ Fehnker, Ansgar (EDT)/ McIver, Annabelle (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/12発売)
  • ご注文いただけません
Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 550pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

McIver, Annabelle (EDT)/ Horvath, Andras (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 550pt
  • 海外取次在庫
プログラミング方法論<br>Programming Methodology (Monographs in Computer Science) (2003. XVII, 469 p. w. 68 figs. 24,5 cm)
  • 洋書
  • ポイントキャンペーン

プログラミング方法論
Programming Methodology (Monographs in Computer Science) (2003. XVII, 469 p. w. 68 figs. 24,5 cm)
 Hardcover

Ed. by Annabelle McIver a. Carroll Morgan

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 1,105pt
  • 海外取次在庫