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)版です。キャンセルは承れません。
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
  • 海外取次在庫
Dunkelkammer, 1 Audio-CD, 1 MP3 : Ein Bronski-Krimi. 434 Min.. Lesung.Ungekürzte Ausgabe (Ein Bronski Krimi 1)
  • 洋書

Dunkelkammer, 1 Audio-CD, 1 MP3 : Ein Bronski-Krimi. 434 Min.. Lesung.Ungekürzte Ausgabe (Ein Bronski Krimi 1)

Aichner, Bernhard/Gesprochen:Lukas, Florian/Aljinovic, Boris

  • DHV DER HÖRVERLAG(2021発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)  Paperback

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

  • ウェブストア価格 ¥18,014(本体¥16,377)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 163pt
  • 海外からお取り寄せ(通常6~9週間)
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉
  • 洋書

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉  Paperback

Graf, Susanne(EDT)/ Pettersson, Paul(EDT)/ Steffen, Bernhard(EDT)

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

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

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

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 160pt
  • 海外取次在庫
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
  • 海外取次在庫
Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers (Lecture Notes in Computer Science) (2025)
  • 洋書

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

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 281pt
  • 海外取次在庫
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
  • 海外取次在庫
Die Klassische Deutsche Philosophie und ihre Folgen (Wiener Forum für Theologie und Religionswissenschaft Band 013) (2017. 359 S. mit 3 Abbildungen. 237 mm)
  • 洋書

Die Klassische Deutsche Philosophie und ihre Folgen (Wiener Forum für Theologie und Religionswissenschaft Band 013) (2017. 359 S. mit 3 Abbildungen. 237 mm)  Hardcover,  言語:GER

Herausgegeben:Hackl, Michael/ Danz, Christian/Mitarbeit:Hackl, Michael/ Danz, Christian/ Fassmann, Heinz/ Onnasch, Ernst-Otto/ Schubach, Alexander/ Arndt, Andreas/ Dietzsch, Steffen/ Schmid, Hans Bernhard

  • ウェブストア価格 ¥15,354(本体¥13,959)
  • V&R UNIPRESS; BRILL DEUTSCHLAND GMBH(2017発売)
  • ポイント 139pt
  • 海外からお取り寄せ(通常6~9週間)
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: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Lecture
  • 洋書

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

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

  • ウェブストア価格 ¥22,102(本体¥20,093)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 200pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)版です。キャンセルは承れません。
Jahrbuch der Deutschen Schillergesellschaft. Band 62 2018 Bd.62 (Jahrbuch der Deutschen Schillergesellschaft Band 62) (2018. VI, 416 S.)
  • 洋書

Jahrbuch der Deutschen Schillergesellschaft. Band 62 2018 Bd.62 (Jahrbuch der Deutschen Schillergesellschaft Band 62) (2018. VI, 416 S.)

Martini, Fritz/ Herausgegeben:Zeller, Bernhard/ Mueller-Seidel, Walter/ Martini, Fritz/ Herausgegeben:Honold, Alexander/ Lubkoll, Christine/ Martus, Steffen/ Raulff, Ulrich/ Richter, Sandra

  • ウェブストア価格 ¥12,999(本体¥11,818)
  • DE GRUYTER(2018発売)
  • ポイント 118pt
  • 海外取次在庫
Jahrbuch der Deutschen Schillergesellschaft. Band 63 2019 (Jahrbuch der Deutschen Schillergesellschaft Band 63) (2019. VII, 604 S. 4 b/w and 1 col. ill. 230 mm)
  • 洋書

Jahrbuch der Deutschen Schillergesellschaft. Band 63 2019 (Jahrbuch der Deutschen Schillergesellschaft Band 63) (2019. VII, 604 S. 4 b/w and 1 col. ill. 230 mm)

Martini, Fritz/ Herausgegeben:Zeller, Bernhard/ Mueller-Seidel, Walter/ Martini, Fritz/ Herausgegeben:Honold, Alexander/ Lubkoll, Christine/ Martus, Steffen/ Raulff, Ulrich/ Richter, Sandra

  • ウェブストア価格 ¥12,999(本体¥11,818)
  • DE GRUYTER(2019発売)
  • ポイント 118pt
  • 海外からお取り寄せ(通常6~9週間)
Jahrbuch der Deutschen Schillergesellschaft. Band 64 2020
  • 洋書

Jahrbuch der Deutschen Schillergesellschaft. Band 64 2020

Martini, Fritz/Herausgegeben:Zeller, Bernhard/Mueller-Seidel, Walter

  • DE GRUYTER(2020/10発売)
  • ご注文いただけません
Jahrbuch der Deutschen Schillergesellschaft. Band 61 2017 (Jahrbuch der Deutschen Schillergesellschaft Band 61) (2017. VII, 577 S. 2 b/w graphics)
  • 洋書

Jahrbuch der Deutschen Schillergesellschaft. Band 61 2017 (Jahrbuch der Deutschen Schillergesellschaft Band 61) (2017. VII, 577 S. 2 b/w graphics)

Martini, Fritz/ Herausgegeben:Zeller, Bernhard/ Mueller-Seidel, Walter/ Martini, Fritz/ Herausgegeben:Honold, Alexander/ Lubkoll, Christine/ Martus, Steffen/ Raulff, Ulrich/ Richter, Sandra

  • ウェブストア価格 ¥10,397(本体¥9,452)
  • DE GRUYTER(2017発売)
  • ポイント 94pt
  • 海外取次在庫
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発売)
  • ご注文いただけません