1～6件／全6件 セーフサーチON
  •  
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Ábrahám, Erika (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥18,751（本体¥17,047）
  • Springer International Publishing AG（2016/05発売）
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug  Paperback

Huisman, Marieke (EDT)/ Ravara, António (EDT)

  • ウェブストア価格 ¥16,668（本体¥15,153）
  • Springer International Publishing AG（2023/06発売）
  • ポイント 151pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) （2019）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) （2019）  Paperback,  言語：ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥12,500（本体¥11,364）
  • Springer Nature Switzerland AG（2019/04発売）
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)  Paperback

Huisman, Marieke (EDT)/ Păsăreanu, Corina (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥25,003（本体¥22,730）
  • Springer Nature Switzerland AG（2021/11発売）
  • ポイント 227pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro （2018）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro （2018）  Paperback,  言語：ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,500（本体¥11,364）
  • Springer International Publishing AG（2018/04発売）
  • ポイント 113pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro  Paperback,  言語：ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,500（本体¥11,364）
  • Springer International Publishing AG（2018/04発売）
  • ポイント 113pt
  • 海外取次在庫
1～6件／全6件
  •