Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Proença, José (EDT)/ Fervari, Raul (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 318pt
  • 海外取次在庫
Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Tapia Tarifa, Silvia Lizeth (EDT)/ Proença, José (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 278pt
  • 海外取次在庫
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Proença, José (EDT)/ Lumpe, Markus (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016  Paperback

Lluch Lafuente, Alberto (EDT)/ Proença, José (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Signal and Image Processing for Biometrics (Lecture Notes in Electrical Engineering)
  • 洋書
  • ポイントキャンペーン

Signal and Image Processing for Biometrics (Lecture Notes in Electrical Engineering)  Paperback

Scharcanski, Jacob (EDT)/ Proença, Hugo (EDT)/ Du, Eliza (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/09発売)
  • ポイント 438pt
  • 海外取次在庫