Theoretical Aspects of Computing - ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Theoretical Aspects of Computing - ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Liu, Zhiming (EDT)/ Saoud, Adnane (EDT)/ Wehrheim, Heike (EDT)

  • ウェブストア価格 ¥17,457(本体¥15,870)
  • Springer Nature Switzerland AG(2025/12発売)
  • ポイント 158pt
  • ご予約受付中。出版後の入荷・発送
Fundamental Approaches to Software Engineering
  • 洋書

Fundamental Approaches to Software Engineering  Paperback

Wehrheim, Heike/ Cabot, Jordi

  • ウェブストア価格 ¥12,677(本体¥11,525)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 115pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fundamental Approaches to Software Engineering
  • 洋書

Fundamental Approaches to Software Engineering  Hardcover

Wehrheim, Heike/ Cabot, Jordi

  • ウェブストア価格 ¥15,173(本体¥13,794)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 137pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meyer, Roland (EDT)/ Platzer, André (EDT)/ Wehrheim, Heike (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 109pt
  • 海外取次在庫
Formal Methods for Open Object-Based Distributed Systems : 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Pr
  • 洋書

Formal Methods for Open Object-Based Distributed Systems : 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Pr  Paperback,  言語:ENG

Gorrieri, Roberto (EDT)/ Wehrheim, Heike (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag New York Inc(2006/07発売)
  • ポイント 109pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Lecture Notes i
  • 洋書

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Lecture Notes i  Paperback,  言語:ENG

Wehrheim, Heike (EDT)/ Cabot, Jordi (EDT)

  • ウェブストア価格 ¥10,909(本体¥9,918)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 99pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings (Programming and Software Engineering) (2020)
  • 洋書
  • 電子版あり

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings (Programming and Software Engineering) (2020)  Paperback,  言語:ENG

Ahrendt, Wolfgang (EDT)/ Wehrheim, Heike (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。