Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,575(本体¥15,069)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 150pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 110pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,575(本体¥15,069)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 150pt
  • 海外取次在庫
The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (2025)
  • 洋書

The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (2025)  Paperback,  言語:ENG

Hinchey, Mike (EDT)/ Steffen, Bernhard (EDT)

  • Springer International Publishing AG(2024/10発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥22,102(本体¥20,093)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 200pt
  • 海外取次在庫
Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia : Geology and Metallogeny of Pollucite Mineralisations (Springerbriefs in World Mineral Deposits)
  • 洋書
  • 電子版あり

Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia : Geology and Metallogeny of Pollucite Mineralisations (Springerbriefs in World Mineral Deposits)  Paperback

Dittrich, Thomas/ Seifert, Thomas/ Schulz, Bernhard

  • ウェブストア価格 ¥5,523(本体¥5,021)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 50pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 110pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 110pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV (Theoretical Co
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV (Theoretical Co  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 110pt
  • 海外取次在庫
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 (Theoretical Computer Science and General Issues) (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 (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (Theoretical Compu
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (Theoretical Compu  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II (Theoreti
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II (Theoreti  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 160pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 140pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 160pt
  • 海外取次在庫
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
  • 洋書

Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)  Paperback

Olderog, Ernst-Rüdiger (EDT)/ Steffen, Bernhard (EDT)/ Yi, Wang (EDT)

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 140pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Steffen, Bernhard (EDT)/ Baier, Christel (EDT)/ van den Brand, Mark (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation, VMCAI 2004 : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.2937) (2004. XI, 325 p. 23,5 cm)
  • 洋書