Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches (2018)
  • 洋書

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches (2018)  Hardcover,  言語:ENG

Steffen, Bernhard/ Rüthing, Oliver/ Huth, Michael

  • ウェブストア価格 ¥8,558(本体¥7,780)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 77pt
  • 海外取次在庫
Computing and Software Science : State of the Art and Perspectives (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

Computing and Software Science : State of the Art and Perspectives (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Steffen, Bernhard (EDT)/ Woeginger, Gerhard (EDT)

  • ウェブストア価格 ¥7,059(本体¥6,418)
  • Springer International Publishing AG(2019/10発売)
  • ポイント 64pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 194pt
  • 海外取次在庫
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,118(本体¥15,562)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 155pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥14,978(本体¥13,617)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 136pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss  Paperback

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

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 213pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc  Paperback

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

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 106pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science (2014)
  • 洋書
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Theoretical Computer Science and Ge (2014)
  • 洋書
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)
  • 洋書
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,118(本体¥15,562)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 155pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,118(本体¥15,562)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 155pt
  • 海外取次在庫
Grundlagen der höheren Informatik : Induktives Vorgehen (examen.press)
  • 洋書

Grundlagen der höheren Informatik : Induktives Vorgehen (examen.press)  Hardcover

Steffen, Bernhard/ Rüthing, Oliver/ Isberner, Malte

  • ウェブストア価格 ¥8,558(本体¥7,780)
  • Springer Vieweg(2013/10発売)
  • ポイント 77pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥14,978(本体¥13,617)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 136pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 106pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 106pt
  • 海外取次在庫