Marcos Chaves: It Looked and I Looked Back
  • 洋書

Marcos Chaves: It Looked and I Looked Back  Hardcover,  言語:ENG

Chaves, Marcos/ Duarte, Luisa/ Mosqueira, Bernardo

  • ウェブストア価格 ¥8,204(本体¥7,459)
  • KMEC(2024/08発売)
  • ポイント 74pt
  • 海外取次在庫
Probabilistic Trace and Testing Semantics : The Importance of Being Coherent (Foundations and Trends® in Programming Languages)
  • 洋書

Probabilistic Trace and Testing Semantics : The Importance of Being Coherent (Foundations and Trends® in Programming Languages)  Paperback,  言語:ENG

Bernardo, Marco

  • ウェブストア価格 ¥14,896(本体¥13,542)
  • now publishers Inc(2022/08発売)
  • ポイント 135pt
  • 海外取次在庫
All You Can Imagine
  • 洋書

All You Can Imagine  Hardcover,  言語:ENG

Bernardo, Marçolla,/ Bernardo, Marçolla, (ILT)

  • ウェブストア価格 ¥3,514(本体¥3,195)
  • Free Spirit Publishing Inc.,U.S.(2021/04発売)
  • ポイント 31pt
  • 海外からお取り寄せ(通常6~9週間)
Me and You and the Universe
  • 洋書

Me and You and the Universe  Hardcover,  言語:ENG

Bernardo, Marçolla,/ Bernardo, Marçolla, (ILT)

  • ウェブストア価格 ¥3,318(本体¥3,017)
  • Free Spirit Publishing Inc.,U.S.(2020/02発売)
  • ポイント 30pt
  • 海外取次在庫
Lumina
  • 洋書

Lumina  Paperback,  言語:ENG

Marçolla, Bernardo

  • Bernardo Marcolla(2018/02発売)
  • ご注文いただけません
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
  • 洋書

Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Cimatti, Alessandro (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 104pt
  • 海外取次在庫
Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Italy, Advanced Lectures (Lecture Notes in Computer Science) 〈Vol. 4486〉
  • 洋書

Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Italy, Advanced Lectures (Lecture Notes in Computer Science) 〈Vol. 4486〉  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Hillston, Jane (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer(2007/07発売)
  • ポイント 104pt
  • 海外取次在庫
Un Superhéroe En El Tejado Y Otros Cuentos (Torre Azul)
  • 洋書

Un Superhéroe En El Tejado Y Otros Cuentos (Torre Azul)  Paperback,  言語:SPA

Perez, Luis Bernardo/ Pacheco Marcos, Guadalupe (ILT)

  • ウェブストア価格 ¥2,920(本体¥2,655)
  • Norma(2019/05発売)
  • ポイント 26pt
  • 海外からお取り寄せ(通常6~9週間)
A Process Algebraic Approach to Software Architecture Design (2010)
  • 洋書

A Process Algebraic Approach to Software Architecture Design (2010)  Paperback,  言語:ENG

Aldini, Alessandro/ Bernardo, Marco/ Corradini, Flavio

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer London Ltd(2014/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Lecture Notes in Computer Science (2015)
  • 洋書
  • 電子版あり

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Lecture Notes in Computer Science (2015)  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Johnsen, Einar Broch (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。