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,850(本体¥8,046)
  • KMEC(2024/07発売)
  • ポイント 80pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥18,577(本体¥16,889)
  • now publishers Inc(2022/08発売)
  • ポイント 168pt
  • 海外からお取り寄せ(通常6~9週間)
All You Can Imagine
  • 洋書

All You Can Imagine  Hardcover,  言語:ENG

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

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

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

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

  • ウェブストア価格 ¥3,340(本体¥3,037)
  • 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,535(本体¥10,487)
  • 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,535(本体¥10,487)
  • 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,940(本体¥2,673)
  • 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,535(本体¥10,487)
  • 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,535(本体¥10,487)
  • Birkhauser Verlag AG(2015/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。